|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object | +--pipe.modules.stateSpace.StateSpace.HandleControl.myTree
| 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 |
|
| Field Detail |
public boolean Found_An_Omega
public boolean more_Than_One_Token
public boolean no_Enabled_Transitions
StateSpace.HandleControl.myNode root
boolean[] transitions
boolean[] nodes
int nodeCount
IntMatrix CPlus
IntMatrix CMinus
int number_transitions
int number_places
StateSpace.HandleControl.myNode[] EndNodes
int[] pathToDeadlock
boolean tooBig
| Constructor Detail |
public StateSpace.HandleControl.myTree(int[] tree_root,
IntMatrix plus,
IntMatrix minus)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||