pipe.dataLayer.calculations
Classes 
CompressedState
Marking
myNode
myTree
Queue
State
StateList
StateSpaceGenerator
SteadyStateSolver
VanishingState
Exceptions 
StateSpaceTooBigException
TimelessTrapException
TreeTooBigException