|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.termination.TerminationLGTS
public class TerminationLGTS
This class implements termination conditions of Layered Graph Grammar.
Constructor Summary | |
---|---|
TerminationLGTS()
|
Method Summary | |
---|---|
boolean |
checkTermination()
Checks layer conditions . |
void |
dispose()
|
java.util.Vector<java.lang.Object> |
getCreatedTypesOnDeletionLayer(java.lang.Integer layer)
|
java.util.Hashtable<java.lang.Object,java.lang.Integer> |
getCreationLayer()
The result table maps a Type to a layer on which it is created. |
int |
getCreationLayer(GraphObject t)
|
int |
getCreationLayer(Type t)
Returns creation layer of the specified type. |
java.util.Hashtable<java.lang.Object,java.lang.Integer> |
getDeletionLayer()
The result table maps a Type to a layer on which it is deleted. |
int |
getDeletionLayer(GraphObject t)
|
int |
getDeletionLayer(Type t)
Returns deletion layer of the specified type. |
java.util.Hashtable<java.lang.Integer,java.util.Vector<Type>> |
getDeletionType()
This table maps an Integer layer number to a Vector of Types the objects of which (nodes resp. edges) will be deleted by some rules. |
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()
The result table maps an Integer layer number to a Pair with a Boolean result for a Vector of Rules. |
java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> |
getResultNondeletion()
The result table maps an Integer layer number to a Pair with a Boolean result for a Vector of Rules. |
java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> |
getResultTypeDeletion()
The result table maps an Integer layer number to a Pair with a Boolean result for a Vector of Rules. |
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public TerminationLGTS()
Method Detail |
---|
public void dispose()
public void setGrammar(GraGra gra)
setGrammar
in interface TerminationLGTSInterface
gra
- the graph grammar.public void resetGrammar()
resetGrammar
in interface TerminationLGTSInterface
public GraGra getGrammar()
getGrammar
in interface TerminationLGTSInterface
public java.util.List<Rule> getListOfEnabledRules()
getListOfEnabledRules
in interface TerminationLGTSInterface
public boolean hasGrammarChanged()
hasGrammarChanged
in interface TerminationLGTSInterface
public java.util.List<Rule> getListOfRules()
getListOfRules
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedRuleLayer()
getInvertedRuleLayer
in interface TerminationLGTSInterface
public java.util.Vector<java.lang.Integer> getOrderedRuleLayer()
getOrderedRuleLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedTypeDeletionLayer()
getInvertedTypeDeletionLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> getInvertedTypeCreationLayer()
getInvertedTypeCreationLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,java.util.Vector<Type>> getDeletionType()
getDeletionType
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultTypeDeletion()
getResultTypeDeletion
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultDeletion()
getResultDeletion
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,Pair<java.lang.Boolean,java.util.Vector<Rule>>> getResultNondeletion()
getResultNondeletion
in interface TerminationLGTSInterface
public void resetLayer()
resetLayer
in interface TerminationLGTSInterface
public void initRuleLayer(java.util.Hashtable<?,java.lang.Integer> init)
initRuleLayer
in interface TerminationLGTSInterface
public void initAll(boolean generate)
initAll
in interface TerminationLGTSInterface
public java.util.Vector<java.lang.Object> getCreatedTypesOnDeletionLayer(java.lang.Integer layer)
getCreatedTypesOnDeletionLayer
in interface TerminationLGTSInterface
public boolean checkTermination()
checkTermination
in interface TerminationLGTSInterface
public boolean isValid()
isValid
in interface TerminationLGTSInterface
public java.lang.String getErrorMessage()
getErrorMessage
in interface TerminationLGTSInterface
public java.util.Hashtable<Rule,java.lang.Integer> getRuleLayer()
getRuleLayer
in interface TerminationLGTSInterface
public int getRuleLayer(Rule r)
getRuleLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Object,java.lang.Integer> getCreationLayer()
getCreationLayer
in interface TerminationLGTSInterface
public int getCreationLayer(Type t)
getCreationLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Object,java.lang.Integer> getDeletionLayer()
getDeletionLayer
in interface TerminationLGTSInterface
public int getDeletionLayer(Type t)
getDeletionLayer
in interface TerminationLGTSInterface
public java.lang.Integer getStartLayer()
getStartLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,com.objectspace.jgl.HashSet> invertLayer(java.util.Hashtable<Rule,java.lang.Integer> layer)
invertLayer
in interface TerminationLGTSInterface
layer
- The layer function will be inverted.
public void saveRuleLayer()
saveRuleLayer
in interface TerminationLGTSInterface
public void setGenerateRuleLayer(boolean b)
setGenerateRuleLayer
in interface TerminationLGTSInterface
public void showLayer()
showLayer
in interface TerminationLGTSInterface
public java.lang.String toString()
toString
in interface TerminationLGTSInterface
toString
in class java.lang.Object
public int getCreationLayer(GraphObject t)
getCreationLayer
in interface TerminationLGTSInterface
public int getDeletionLayer(GraphObject t)
getDeletionLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Integer,java.util.Vector<GraphObject>> getDeletionTypeObject()
getDeletionTypeObject
in interface TerminationLGTSInterface
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |