pipe.modules.stateSpace
Class StateSpace.HandleControl.myNode

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

Enclosing class:

StateSpace.HandleControl

class StateSpace.HandleControl.myNode

extends java.lang.Object

Field Summary

(package private) StateSpace.HandleControl.myNode[]	children
(package private) int	depth
(package private) int[]	Markup
(package private) StateSpace.HandleControl.myNode	parent
(package private) StateSpace.HandleControl.myNode	previousInstance
(package private) boolean	Repeated_Node
(package private) boolean[]	trans_array
(package private) StateSpace.HandleControl.myTree	tree

Constructor Summary

StateSpace.HandleControl.myNode(int[] marking_array, StateSpace.HandleControl.myNode parent_node, StateSpace.HandleControl.myTree atree, int treeDepth)

StateSpace.HandleControl.myNode(int[] marking_array, StateSpace.HandleControl.myTree atree, int treeDepth)

Method Summary

boolean	FindMarkup(StateSpace.HandleControl.myNode n)
int[]	fire(int transIndex)
boolean	InsertOmegas()
boolean	MarkupCompare(int[] check)
void	RecordDeadlockPath()
void	RecursiveExpansion()
boolean	TransitionEnabled(int transIndex)

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

trans_array

boolean[] trans_array

parent

StateSpace.HandleControl.myNode parent

children

StateSpace.HandleControl.myNode[] children

tree

StateSpace.HandleControl.myTree tree

Markup

int[] Markup

previousInstance

StateSpace.HandleControl.myNode previousInstance

depth

int depth

Repeated_Node

boolean Repeated_Node

Constructor Detail

StateSpace.HandleControl.myNode

public StateSpace.HandleControl.myNode(int[] marking_array,
                                       StateSpace.HandleControl.myTree atree,
                                       int treeDepth)

StateSpace.HandleControl.myNode

public StateSpace.HandleControl.myNode(int[] marking_array,
                                       StateSpace.HandleControl.myNode parent_node,
                                       StateSpace.HandleControl.myTree atree,
                                       int treeDepth)

Method Detail

TransitionEnabled

public boolean TransitionEnabled(int transIndex)

fire

public int[] fire(int transIndex)

RecursiveExpansion

public void RecursiveExpansion()

RecordDeadlockPath

public void RecordDeadlockPath()

InsertOmegas

public boolean InsertOmegas()

FindMarkup

public boolean FindMarkup(StateSpace.HandleControl.myNode n)

MarkupCompare

public boolean MarkupCompare(int[] check)