|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.termination.TerminationLGTSTypedByTypeGraph
public class TerminationLGTSTypedByTypeGraph
This class implements termination conditions of Layered Graph Grammar which is typed by a type graph.
Constructor Summary | |
---|---|
TerminationLGTSTypedByTypeGraph()
|
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()
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public TerminationLGTSTypedByTypeGraph()
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,java.util.Vector<GraphObject>> getDeletionTypeObject()
getDeletionTypeObject
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(GraphObject t)
getCreationLayer
in interface TerminationLGTSInterface
public java.util.Hashtable<java.lang.Object,java.lang.Integer> getDeletionLayer()
getDeletionLayer
in interface TerminationLGTSInterface
public int getDeletionLayer(GraphObject 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(Type t)
getCreationLayer
in interface TerminationLGTSInterface
public int getDeletionLayer(Type t)
getDeletionLayer
in interface TerminationLGTSInterface
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |