|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TreeTooBigException | |
pipe.dataLayer.calculations | |
pipe.modules.gspn |
Uses of TreeTooBigException in pipe.dataLayer.calculations |
Methods in pipe.dataLayer.calculations that throw TreeTooBigException | |
void |
myNode.RecursiveExpansion()
|
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 that throw TreeTooBigException | |
myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus)
|
|
myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus,
StateList statespace,
DataLayer pnmldata)
|
Uses of TreeTooBigException in pipe.modules.gspn |
Methods in pipe.modules.gspn that throw TreeTooBigException | |
private StateList |
GSPN.getReachabilitySet(DataLayer pnmlData)
Generate the reachability set using myTree function Add each marking to an arraylist, testing to see if the marking is already present before adding. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |