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.