agg.parser
Class PriorityExcludePairContainer

java.lang.Object
  extended by agg.parser.ExcludePairContainer
      extended by agg.parser.PriorityExcludePairContainer
All Implemented Interfaces:
PairContainer, XMLObject, java.lang.Runnable

public class PriorityExcludePairContainer
extends ExcludePairContainer

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 agg.parser.ExcludePairContainer
addEntry, addPairEventListener, addQuadruple, checkConsistency, checkCritical, clear, clearEntry, computeCritical, enableComplete, enableConsistent, enableEqualVariableNameOfAttrMapping, enableIgnoreIdenticalRules, enableNACs, enablePACs, enableReduce, enableReduceSameMatch, enableStrongAttrCheck, enableUseHostGraph, enableUseHostGraph, fillContainers, fillContainers, fillContainers, firePairEvent, getActiveExcludePair, getConflictContainer, getConflictFreeContainer, getContainer, getContainer, getContainer, getCritical, getCritical, getCriticalForGraph, getCriticalForGraph, getCriticalPair, getCriticalPair, getCriticalPair, getCriticalPairAtGraph, getCriticalSet, getEntry, getEntry, getExcludeContainer, getExcludeContainerForTestGraph, getGrammar, getKindOfConflict, getLayer, getLHSoverlappings, getMorphCompletionStrategy, getNumberOfContainers, getRules, getState, initAllContainer, isAlive, isComputed, isEmpty, moveEntryFromExcludeToConflictFreeContainer, readOldOverlappingMorphisms, readOverlappingMorphisms, reduceCriticalPairs, removeEntryFromExcludeContainer, removePairEventListener, run, scheduleForComputing, setComputeAsymetrically, setEntryRelationVisible, setEntryRuleVisible, setGrammar, setMorphCompletionStrategy, setRules, setStop, stop, toString, useHostGraphEnabled, wasStopped, writeOverlapMorphisms
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PriorityExcludePairContainer

public PriorityExcludePairContainer(GraGra gragra)
Creates a new container for critical pairs. An invalid layer function is used. It is necessary to set a valid layer function.

Parameters:
gragra - The graph grammar.
Method Detail

computeCritical

protected void computeCritical(Rule r1,
                               Rule r2)
Computes if the first rule exclude the second rule. The result is added to the container.

Overrides:
computeCritical in class ExcludePairContainer
Parameters:
r1 - The first rule.
r2 - The second rule.

XwriteObject

public void XwriteObject(XMLHelper h)
Writes the contents of this object to a file in a xml format.

Specified by:
XwriteObject in interface XMLObject
Overrides:
XwriteObject in class ExcludePairContainer
Parameters:
h - A helper object for storing.

XreadObject

public void XreadObject(XMLHelper h)
Reads the contents of a xml file to restore this object.

Specified by:
XreadObject in interface XMLObject
Overrides:
XreadObject in class ExcludePairContainer
Parameters:
h - A helper object for loading.