|
|||||||||||
| 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 | ||||||||||