Modifier and Type | Method and Description |
---|---|
RepEGraphs |
FusionStrategy.fuseEGraphs(EGraphs graphs,
MatchMappings mappings) |
Modifier and Type | Method and Description |
---|---|
MatchMappings |
FusionStrategyBinaryVerificationImpl.getQualityOpts() |
Modifier and Type | Method and Description |
---|---|
RepEGraphs |
FusionStrategyBinaryImpl.fuseEGraphs(EGraphs graphSet,
MatchMappings mappings) |
RepEGraphs |
FusionStrategyBinaryVerificationImpl.fuseEGraphs(EGraphs graphSet,
MatchMappings mappings) |
RepEGraphs |
FusionStrategyIncrBinaryImpl.fuseEGraphs(EGraphs graphs,
MatchMappings mappings) |
Modifier and Type | Method and Description |
---|---|
MatchMappings |
EGraphsWithMappings.getMappings() |
MatchMappings |
RepEGraphs.getMappings() |
Modifier and Type | Method and Description |
---|---|
void |
RepEGraphs.setMappings(MatchMappings mappings) |
Constructor and Description |
---|
EGraphsWithMappings(java.util.List<EGraph> graphs,
MatchMappings mappings,
EGMatchConfiguration conf) |
Modifier and Type | Class and Description |
---|---|
class |
MatchMappingsImpl |