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.
|