| Package | Description |
|---|---|
| andbur.au.qut.nets.unfolding |
| Modifier and Type | Method and Description |
|---|---|
static Multiplicity |
Multiplicity.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Multiplicity[] |
Multiplicity.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
static java.lang.String |
Multiplicity.getSymbol(Multiplicity multiplicity) |
| Modifier and Type | Method and Description |
|---|---|
andbur.hub.top.petrinet.PetriNet |
Unfolder_PetriNet.getUnfoldingAsPetriNet(java.util.Set<java.lang.String> visibleLabels,
java.util.HashMap<andbur.hub.top.petrinet.Node,Multiplicity> repetitionIndex,
java.util.HashMap<andbur.hub.top.petrinet.Node,andbur.hub.top.petrinet.Node> originalMap) |