| java.lang.Object com.bigbross.bossa.wfnet.Place
Constructor Summary | |
| Place(int index, String id, int initialMarking) Creates a new place. |
Method Summary | |
public String | getId() Returns the id of this place. | public int | getIndex() Returns the index of this place. | public int | getInitialMarking() Returns the initial marking of this place. |
Place | Place(int index, String id, int initialMarking)(Code) | | Creates a new place.
Parameters: index - the index of this place in the marking array. Parameters: id - the id of this place. Parameters: initialMarking - the initial marking, the number of tokens inthis place when a new case starts. |
getId | public String getId()(Code) | | Returns the id of this place.
the id of this place. |
getIndex | public int getIndex()(Code) | | Returns the index of this place.
the index of this place. |
getInitialMarking | public int getInitialMarking()(Code) | | Returns the initial marking of this place.
the initial marking of this place. |
|
|