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