public class ExpMatchMappingWriter
extends java.lang.Object
Constructor and Description |
---|
ExpMatchMappingWriter() |
Modifier and Type | Method and Description |
---|---|
static void |
__testMappings(EGraphsWithMappings graphsWithMappings,
java.util.Map<MatchMapping,java.lang.Integer> mapToNewCost,
ExpRelabelingParam param,
ExpImprLabelSetI<java.lang.String> mapOrg2Dup,
java.lang.String gloOrLoc) |
public static void __testMappings(EGraphsWithMappings graphsWithMappings, java.util.Map<MatchMapping,java.lang.Integer> mapToNewCost, ExpRelabelingParam param, ExpImprLabelSetI<java.lang.String> mapOrg2Dup, java.lang.String gloOrLoc)