agg.termination
Interface TerminationLGTSInterface

All Known Implementing Classes:
TerminationLGTS, TerminationLGTSTypedByTypeGraph

public interface TerminationLGTSInterface

This class implements termination conditions of Layered Graph Grammar.


Method Summary
 boolean checkTermination()
          Checks layer conditions .
 java.util.Vector<java.lang.Object> getCreatedTypesOnDeletionLayer(java.lang.Integer layer)
           
 java.util.Hashtable<java.lang.Object,java.lang.Integer> getCreationLayer()
          Returns the creation layer of the layer function.
 int getCreationLayer(GraphObject t)
           
 int getCreationLayer(Type t)
           
 java.util.Hashtable<java.lang.Object,java.lang.Integer> getDeletionLayer()
          Returns the deletion layer of the layer function.
 int getDeletionLayer(GraphObject t)
           
 int getDeletionLayer(Type t)
           
 java.util.Hashtable<java.lang.Integer,java.util.Vector<Type>> getDeletionType()
           
 java.util.Hashtable<java.lang.Integer,java.util.Vector<GraphObject>> getDeletionTypeObject()
           
 java.lang.String getErrorMessage()
          Returns an error message if the layer function is not valid.
 GraGra getGrammar()
           
 java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedRuleLayer()
           
 java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedTypeCreationLayer()
           
 java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedTypeDeletionLayer()
           
 java.util.List<Rule> getListOfEnabledRules()
           
 java.util.List<Rule> getListOfRules()
           
 java.util.Vector<java.lang.Integer> getOrderedRuleLayer()
           
 java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultDeletion()
           
 java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultNondeletion()
           
 java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultTypeDeletion()
           
 java.util.Hashtable<Rule,java.lang.Integer> getRuleLayer()
          Returns the rule layer of the layer function.
 int getRuleLayer(Rule r)
           
 java.lang.Integer getStartLayer()
          Returns the smallest layer of the rule layer.
 boolean hasGrammarChanged()
           
 void initAll(boolean generate)
           
 void initRuleLayer(java.util.Hashtable<?,java.lang.Integer> init)
           
 java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> invertLayer(java.util.Hashtable<Rule,java.lang.Integer> layer)
          Inverts a layer function so that the layer is the key and the value is a set.
 boolean isValid()
          A fast check on validity.
 void resetGrammar()
           
 void resetLayer()
           
 void saveRuleLayer()
           
 void setGenerateRuleLayer(boolean b)
           
 void setGrammar(GraGra gra)
          Initialize a termination layers of the grammar.
 void showLayer()
           
 java.lang.String toString()
          Returns the layer function in a human readable way.
 

Method Detail

setGrammar

void setGrammar(GraGra gra)
Initialize a termination layers of the grammar. Initially the termination conditions are invalid.

Parameters:
gra - The graph grammar.

resetGrammar

void resetGrammar()

getGrammar

GraGra getGrammar()

getListOfEnabledRules

java.util.List<Rule> getListOfEnabledRules()

hasGrammarChanged

boolean hasGrammarChanged()

getListOfRules

java.util.List<Rule> getListOfRules()

getInvertedRuleLayer

java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedRuleLayer()

getOrderedRuleLayer

java.util.Vector<java.lang.Integer> getOrderedRuleLayer()

getInvertedTypeDeletionLayer

java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedTypeDeletionLayer()

getInvertedTypeCreationLayer

java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedTypeCreationLayer()

getDeletionType

java.util.Hashtable<java.lang.Integer,java.util.Vector<Type>> getDeletionType()

getDeletionTypeObject

java.util.Hashtable<java.lang.Integer,java.util.Vector<GraphObject>> getDeletionTypeObject()

getResultTypeDeletion

java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultTypeDeletion()

getResultDeletion

java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultDeletion()

getResultNondeletion

java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultNondeletion()

resetLayer

void resetLayer()

initRuleLayer

void initRuleLayer(java.util.Hashtable<?,java.lang.Integer> init)

initAll

void initAll(boolean generate)

getCreatedTypesOnDeletionLayer

java.util.Vector<java.lang.Object> getCreatedTypesOnDeletionLayer(java.lang.Integer layer)

checkTermination

boolean checkTermination()
Checks layer conditions .

Returns:
true if conditions are valid.

isValid

boolean isValid()
A fast check on validity.

Returns:
true if the layer function is valid.

getErrorMessage

java.lang.String getErrorMessage()
Returns an error message if the layer function is not valid.

Returns:
The error message.

getRuleLayer

java.util.Hashtable<Rule,java.lang.Integer> getRuleLayer()
Returns the rule layer of the layer function.

Returns:
The rule layer.

getRuleLayer

int getRuleLayer(Rule r)

getCreationLayer

java.util.Hashtable<java.lang.Object,java.lang.Integer> getCreationLayer()
Returns the creation layer of the layer function.

Returns:
The creation layer.

getCreationLayer

int getCreationLayer(Type t)

getCreationLayer

int getCreationLayer(GraphObject t)

getDeletionLayer

java.util.Hashtable<java.lang.Object,java.lang.Integer> getDeletionLayer()
Returns the deletion layer of the layer function.

Returns:
The deletion layer.

getDeletionLayer

int getDeletionLayer(Type t)

getDeletionLayer

int getDeletionLayer(GraphObject t)

getStartLayer

java.lang.Integer getStartLayer()
Returns the smallest layer of the rule layer.

Returns:
The smallest layer.

invertLayer

java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> invertLayer(java.util.Hashtable<Rule,java.lang.Integer> layer)
Inverts a layer function so that the layer is the key and the value is a set.

Parameters:
layer - The layer function will be inverted.
Returns:
The inverted layer function.

saveRuleLayer

void saveRuleLayer()

setGenerateRuleLayer

void setGenerateRuleLayer(boolean b)

showLayer

void showLayer()

toString

java.lang.String toString()
Returns the layer function in a human readable way.

Overrides:
toString in class java.lang.Object
Returns:
The text.