Uses of Class
pipe.dataLayer.calculations.StateList

Packages that use StateList
pipe.dataLayer.calculations   
 

Uses of StateList in pipe.dataLayer.calculations
 

Methods in pipe.dataLayer.calculations with parameters of type StateList
 void myNode.RecursiveExpansion(StateList statespace, boolean[] timedTrans)
          This function recursively generates potential state spaces from existing state spaces (as per algorithm written by James Bloom & Clare Clark for PIPE 2003) and adds new state spaces to the StateList array supplied as a parameter.
 

Constructors in pipe.dataLayer.calculations with parameters of type StateList
myTree(int[] tree_root, PNMatrix plus, PNMatrix minus, StateList statespace, DataLayer pnmldata)