|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |