pipe.dataLayer.calculations
Class myTree
java.lang.Object
|
+--pipe.dataLayer.calculations.myTree
- public class myTree
- extends java.lang.Object
- Author:
- Matthew
To change the template for this generated type comment go to
Window - Preferences - Java - Code Generation - Code and Comments
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Found_An_Omega
public boolean Found_An_Omega
more_Than_One_Token
public boolean more_Than_One_Token
no_Enabled_Transitions
public boolean no_Enabled_Transitions
root
public myNode root
transitions
public boolean[] transitions
nodes
public boolean[] nodes
nodeCount
public int nodeCount
CPlus
public PNMatrix CPlus
CMinus
public PNMatrix CMinus
number_transitions
public int number_transitions
number_places
public int number_places
EndNodes
public myNode[] EndNodes
pathToDeadlock
public int[] pathToDeadlock
tooBig
public boolean tooBig
myTree
public myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus)
throws TreeTooBigException
myTree
public myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus,
StateList statespace,
DataLayer pnmldata)
throws TreeTooBigException