Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
pipe.dataLayer.calculations.TreeTooBigException

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES