public interface MatchMapping
Modifier and Type | Method and Description |
---|---|
void |
addMatch(ENode sourceNode,
ENode targetNode)
This function add a mapping between the sourceNode and the targetNode.
|
void |
clone(MatchMapping mapping) |
int |
getCost() |
java.util.Map<java.lang.Integer,java.lang.Integer> |
getMap() |
java.util.Set<java.util.Map.Entry<java.lang.Integer,java.lang.Integer>> |
getMatchs() |
EGraph |
getSourceGraph() |
java.lang.Integer |
getSourceNodeIdMappedTo(int targetNodeId)
This function returns the id of source node that is mapped to the input targetNodeId.
|
java.util.Set<java.lang.Integer> |
getSourcesToNull() |
EGraph |
getTargetGraph() |
java.lang.Integer |
getTargetNodeIdMappedTo(int sourceNodeId) |
java.util.Set<java.lang.Integer> |
getTargetToNull() |
boolean |
inDomain(int sourceNodeId) |
boolean |
inRange(int targetNodeId) |
void |
inverse() |
void |
removeMatch(ENode source,
ENode target) |
void |
setCost(int cost) |
void |
setSourceGraph(EGraph graph) |
void |
setTargetGraph(EGraph graph) |
void addMatch(ENode sourceNode, ENode targetNode)
sourceNode
- targetNode
- java.lang.Integer getSourceNodeIdMappedTo(int targetNodeId)
targetNodeId
- java.lang.Integer getTargetNodeIdMappedTo(int sourceNodeId)
java.util.Set<java.util.Map.Entry<java.lang.Integer,java.lang.Integer>> getMatchs()
java.util.Map<java.lang.Integer,java.lang.Integer> getMap()
java.util.Set<java.lang.Integer> getSourcesToNull()
java.util.Set<java.lang.Integer> getTargetToNull()
void clone(MatchMapping mapping)
int getCost()
void setCost(int cost)
void setSourceGraph(EGraph graph)
void setTargetGraph(EGraph graph)
EGraph getSourceGraph()
EGraph getTargetGraph()
void inverse()
boolean inDomain(int sourceNodeId)
boolean inRange(int targetNodeId)