|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.parser.ExcludePair
agg.parser.CriticalRulePairAtGraph
public class CriticalRulePairAtGraph
This class computes critical matches of two rules at a concrete graph. The two rules and a concret host graph graph are specified by the class constructor. In case of rule application conflicts a vector with pairs of tables with critical matches will be computed. The first table contains the match mappings from the LHS of the first rule into the graph and the second table contains the mappings from the LHS of the second rule into the same graph.
Field Summary |
---|
Fields inherited from interface agg.parser.CriticalPair |
---|
CONFLICT, CONFLICTFREE, DEPENDENCY, EXCLUDE, TRIGGER_DEPENDENCY, TRIGGER_SWITCH_DEPENDENCY |
Constructor Summary | |
---|---|
CriticalRulePairAtGraph(Rule r1,
Rule r2,
Graph g)
|
Method Summary | |
---|---|
java.util.Vector<Pair<java.util.Hashtable<GraphObject,GraphObject>,java.util.Hashtable<GraphObject,GraphObject>>> |
isCriticalAtGraph()
Computes critical matches of two rules at a concrete graph. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CriticalRulePairAtGraph(Rule r1, Rule r2, Graph g)
Method Detail |
---|
public java.util.Vector<Pair<java.util.Hashtable<GraphObject,GraphObject>,java.util.Hashtable<GraphObject,GraphObject>>> isCriticalAtGraph()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |