Package agg.termination

Interface Summary
TerminationLGTSInterface This class implements termination conditions of Layered Graph Grammar.
 

Class Summary
TerminationLGTS This class implements termination conditions of Layered Graph Grammar.
TerminationLGTSTypedByTypeGraph This class implements termination conditions of Layered Graph Grammar which is typed by a type graph.
TypeLayer Type layer is a set of type layer of a given layered graph grammar.
TypeLayerOfTypeGraph Type layer is a set of type layers of a given layered graph grammar.