| Package | Description |
|---|---|
| org.jbpt.petri.wftree |
| Modifier and Type | Method and Description |
|---|---|
WFTreeLoopOrientationType |
IWFTree.getLoopOrientationType(IRPSTNode<F,N> node)
Get loop orientation type of a WF-tree node.
Loop orientation type is defined if parent of the given node is of type loop. WFTreeLoopOrientationType.FORWAD if entry of the given node is equal to the entry of the parent loop node. WFTreeLoopOrientationType.BACKWARD if if entry of the given node is equal to the exit of the parent loop node. |
WFTreeLoopOrientationType |
AbstractWFTree.getLoopOrientationType(IRPSTNode<F,N> node) |
static WFTreeLoopOrientationType |
WFTreeLoopOrientationType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static WFTreeLoopOrientationType[] |
WFTreeLoopOrientationType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Copyright © 2017. All rights reserved.