pipe.dataLayer.calculations
Class myTree

java.lang.Object
  extended by pipe.dataLayer.calculations.myTree

public class myTree
extends java.lang.Object


Field Summary
 PNMatrix CMinus
           
 PNMatrix CPlus
           
 myNode[] EndNodes
           
 boolean Found_An_Omega
           
 boolean more_Than_One_Token
           
 boolean no_Enabled_Transitions
           
 int nodeCount
           
 boolean[] nodes
           
 int number_places
           
 int number_transitions
           
 int[] pathToDeadlock
           
 myNode root
           
 boolean tooBig
           
 boolean[] transitions
           
 
Constructor Summary
myTree(int[] tree_root, PNMatrix plus, PNMatrix minus)
           
myTree(int[] tree_root, PNMatrix plus, PNMatrix minus, StateList statespace, DataLayer pnmldata)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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

myTree

public myTree(int[] tree_root,
              PNMatrix plus,
              PNMatrix minus)
       throws TreeTooBigException
Throws:
TreeTooBigException

myTree

public myTree(int[] tree_root,
              PNMatrix plus,
              PNMatrix minus,
              StateList statespace,
              DataLayer pnmldata)
       throws TreeTooBigException
Throws:
TreeTooBigException