Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## pipe.dataLayer.calculations
Class myNode

    java.lang.Object
      pipe.dataLayer.calculations.myNode

    public class myNode

extends java.lang.Object

Constructor Summary
`myNode(int[] marking_array, myNode parent_node, myTree atree, int treeDepth)`
`myNode(int[] marking_array, myTree atree, int treeDepth)`

Method Summary
`boolean` | `FindMarkup(myNode n)`
`int[]` | `fire(int transIndex)`
`boolean` | `InsertOmegas()`
`boolean` | `MarkupCompare(int[] check)`
`void` | `print(boolean[] transitions)`
`void` | `RecordDeadlockPath()`
`void` | `RecursiveExpansion()`
`void` | `RecursiveExpansion(StateList statespace, boolean[] timedTrans)` This function recursively generates potential state spaces from existing state spaces (as per algorithm written by James Bloom & Clare Clark for PIPE 2003) and adds new state spaces to the StateList array supplied as a parameter.
`boolean` | `TransitionEnabled(int transIndex)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### myNode

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

### myNode

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

Method Detail

### TransitionEnabled

    public boolean TransitionEnabled(int transIndex)

### fire

    public int[] fire(int transIndex)

### RecursiveExpansion

    public void RecursiveExpansion()
                            throws TreeTooBigException

  Throws:
    `TreeTooBigException`

### RecordDeadlockPath

    public void RecordDeadlockPath()

### RecursiveExpansion

    public void RecursiveExpansion(StateList statespace,
                                   boolean[] timedTrans)
                            throws TreeTooBigException

  This function recursively generates potential state spaces from existing state spaces (as per algorithm written by James Bloom & Clare Clark for PIPE 2003) and adds new state spaces to the StateList array supplied as a parameter. The StateList add method checks for duplicate entries before accepting the add, so once the recursion is complete, the list contains a complete and unique set of all possible markings of the specified net. It contains checking to ensure that states containing both timed and untimed enabled transitions will only allow the untimed transitions to fire.

  Parameters:
    `statespace` -
  Throws:
    `TreeTooBigException`

### InsertOmegas

    public boolean InsertOmegas()

### FindMarkup

    public boolean FindMarkup(myNode n)

### MarkupCompare

    public boolean MarkupCompare(int[] check)

### print

    public void print(boolean[] transitions)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD