| Package | Description |
|---|---|
| org.jbpt.petri.wftree |
| Modifier and Type | Method and Description |
|---|---|
WFTreeBondType |
IWFTree.getRefinedBondType(IRPSTNode<F,N> node)
Get refined type of a WF-tree bond node.
WFTreeBondType.TRANSITION_BORDERED if entry and exit are transitions. WFTreeBondType.PLACE_BORDERED if entry and exit are places. WFTreeBondType.LOOP if entry and exit are places and entry of some child is an exit of another child. WFTreeBondType.UNDEFINED none of the above. |
WFTreeBondType |
AbstractWFTree.getRefinedBondType(IRPSTNode<F,N> node) |
static WFTreeBondType |
WFTreeBondType.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static WFTreeBondType[] |
WFTreeBondType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
Set<IRPSTNode<F,N>> |
IWFTree.getRPSTNodes(WFTreeBondType type)
Get RPST nodes of a given
WFTreeBondType type. |
Set<IRPSTNode<F,N>> |
AbstractWFTree.getRPSTNodes(WFTreeBondType type) |
Copyright © 2017. All rights reserved.