| Package | Description |
|---|---|
| andbur.au.qut.nets.unfolding |
| Modifier and Type | Field and Description |
|---|---|
protected BPstructBP.MODE |
BPstructBP.mode |
| Modifier and Type | Method and Description |
|---|---|
static BPstructBP.MODE |
BPstructBP.MODE.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static BPstructBP.MODE[] |
BPstructBP.MODE.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
void |
BPstructBP.setMode(BPstructBP.MODE mode) |
| Constructor and Description |
|---|
Unfolder_PetriNet(andbur.hub.top.petrinet.PetriNet net,
BPstructBP.MODE mode,
java.util.HashSet<java.lang.String> silent)
Initialize the unfolder to construct a finite complete prefix of a safe
Petri net.
|