pipe.modules.stateSpace
Class StateSpace.HandleControl.myTree

java.lang.Object
  |
  +--pipe.modules.stateSpace.StateSpace.HandleControl.myTree

Enclosing class:

StateSpace.HandleControl

class StateSpace.HandleControl.myTree

extends java.lang.Object

Field Summary

(package private) IntMatrix	CMinus
(package private) IntMatrix	CPlus
(package private) StateSpace.HandleControl.myNode[]	EndNodes
boolean	Found_An_Omega
boolean	more_Than_One_Token
boolean	no_Enabled_Transitions
(package private) int	nodeCount
(package private) boolean[]	nodes
(package private) int	number_places
(package private) int	number_transitions
(package private) int[]	pathToDeadlock
(package private) StateSpace.HandleControl.myNode	root
(package private) boolean	tooBig
(package private) boolean[]	transitions

Constructor Summary

StateSpace.HandleControl.myTree(int[] tree_root, IntMatrix plus, IntMatrix minus)

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, 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

StateSpace.HandleControl.myNode root

transitions

boolean[] transitions

nodes

boolean[] nodes

nodeCount

int nodeCount

CPlus

IntMatrix CPlus

CMinus

IntMatrix CMinus

number_transitions

int number_transitions

number_places

int number_places

EndNodes

StateSpace.HandleControl.myNode[] EndNodes

pathToDeadlock

int[] pathToDeadlock

tooBig

boolean tooBig

Constructor Detail

StateSpace.HandleControl.myTree

public StateSpace.HandleControl.myTree(int[] tree_root,
                                       IntMatrix plus,
                                       IntMatrix minus)