agg.parser
Class LayeredExcludePairContainer

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

public class LayeredExcludePairContainer
extends ExcludePairContainer
implements LayeredPairContainer

This class provides a container for critical pairs. The critical pairs uses the exclude algorithm. Further on the used graph grammar is layered.


Nested Class Summary
 
Nested classes/interfaces inherited from class agg.parser.ExcludePairContainer
ExcludePairContainer.Entry
 
Field Summary
protected  LayeredExcludePair layeredPair
           
protected  LayeredSimpleExcludePair layeredSimplePair
           
 
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
LayeredExcludePairContainer(GraGra gragra)
          Creates a new container for critical pairs.
LayeredExcludePairContainer(GraGra gragra, LayerFunction layer)
          Deprecated.  
 
Method Summary
protected  void computeCritical(Rule r1, Rule r2)
          Computes if the first rule exclude the second rule.
protected  void fillContainers()
          Fills all containers with the critical pairs.
 LayerFunction getLayer()
          Deprecated. not more used
 void setLayer(int layer)
          Sets a layer to compute.
 void setLayer(LayerFunction layer)
          Deprecated. not more used
 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, firePairEvent, getActiveExcludePair, getConflictContainer, getConflictFreeContainer, getContainer, getContainer, getContainer, getCritical, getCritical, getCriticalForGraph, getCriticalForGraph, getCriticalPair, getCriticalPair, getCriticalPair, getCriticalPairAtGraph, getCriticalSet, getEntry, getEntry, getExcludeContainer, getExcludeContainerForTestGraph, getGrammar, getKindOfConflict, 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
 
Methods inherited from interface agg.parser.PairContainer
addPairEventListener, clear, enableUseHostGraph, getActiveExcludePair, getContainer, getCritical, getCriticalPair, getCriticalPair, getCriticalSet, getGrammar, getKindOfConflict, getMorphCompletionStrategy, getNumberOfContainers, getRules, initAllContainer, isAlive, isComputed, isEmpty, setComputeAsymetrically, setGrammar, setMorphCompletionStrategy, setRules, setStop, stop, useHostGraphEnabled, wasStopped
 

Field Detail

layeredPair

protected LayeredExcludePair layeredPair

layeredSimplePair

protected LayeredSimpleExcludePair layeredSimplePair
Constructor Detail

LayeredExcludePairContainer

public LayeredExcludePairContainer(GraGra gragra,
                                   LayerFunction layer)
Deprecated. 

Creates a container for critical pairs for a layered graph grammar.

Parameters:
gragra - The graph grammar.
layer - The layer function.

LayeredExcludePairContainer

public LayeredExcludePairContainer(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.

fillContainers

protected void fillContainers()
Description copied from class: ExcludePairContainer
Fills all containers with the critical pairs.

Overrides:
fillContainers in class ExcludePairContainer

setLayer

public void setLayer(LayerFunction layer)
Deprecated. not more used

Sets a layer function to layer a certain object.

Parameters:
layer - A specific layer function.

getLayer

public LayerFunction getLayer()
Deprecated. not more used

Returns a layer function from a certain object.

Specified by:
getLayer in interface PairContainer
Overrides:
getLayer in class ExcludePairContainer
Returns:
A specific layer function.
See Also:
PairContainer.getLayer()

setLayer

public void setLayer(int layer)
Sets a layer to compute. If layer = -1 then all layers should be computed.

Parameters:
layer -

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.