|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.parser.ExcludePairContainer
agg.parser.PriorityExcludePairContainer
public class PriorityExcludePairContainer
This class provides a container for critical pairs. The critical pairs uses the exclude algorithm.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class agg.parser.ExcludePairContainer |
---|
ExcludePairContainer.Entry |
Field Summary |
---|
Fields inherited from class agg.parser.ExcludePairContainer |
---|
asymmetrically, calculateParallel, commonContainer, complete, conflictFreeContainer, conflictKind, consistent, equalVariableNameOfAttrMapping, excludeContainer, excludeContainerForTestGraph, excludePair, grammar, ignoreIdenticalRules, isAlive, isComputed, isComputedLocal, isEmpty, listener, reduce, reduceSameMatch, rules, stop, strategy, strongAttrCheck, testGraph, useHostGraph, withNACs, withPACs |
Constructor Summary | |
---|---|
PriorityExcludePairContainer(GraGra gragra)
Creates a new container for critical pairs. |
Method Summary | |
---|---|
protected void |
computeCritical(Rule r1,
Rule r2)
Computes if the first rule exclude the second rule. |
void |
XreadObject(XMLHelper h)
Reads the contents of a xml file to restore this object. |
void |
XwriteObject(XMLHelper h)
Writes the contents of this object to a file in a xml format. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public PriorityExcludePairContainer(GraGra gragra)
gragra
- The graph grammar.Method Detail |
---|
protected void computeCritical(Rule r1, Rule r2)
computeCritical
in class ExcludePairContainer
r1
- The first rule.r2
- The second rule.public void XwriteObject(XMLHelper h)
XwriteObject
in interface XMLObject
XwriteObject
in class ExcludePairContainer
h
- A helper object for storing.public void XreadObject(XMLHelper h)
XreadObject
in interface XMLObject
XreadObject
in class ExcludePairContainer
h
- A helper object for loading.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |