Package | Description |
---|---|
nl.tue.alignment.algorithms.syncproduct.petrinet |
Modifier and Type | Method and Description |
---|---|
gnu.trove.map.TObjectIntMap<ReducedPlace> |
ReducedPetriNet.getFinalMarking() |
gnu.trove.map.TObjectIntMap<ReducedPlace> |
ReducedPetriNet.getInitialMarking() |
gnu.trove.map.TObjectIntMap<ReducedPlace> |
ReducedTransition.getInput() |
gnu.trove.map.TObjectIntMap<ReducedPlace> |
ReducedTransition.getOutput() |
java.util.List<ReducedPlace> |
ReducedPetriNet.getPlaces() |
Modifier and Type | Method and Description |
---|---|
void |
ReducedTransition.addToInput(ReducedPlace place,
int multiplicity) |
void |
ReducedTransition.addToOutput(ReducedPlace place,
int multiplicity) |
Modifier and Type | Method and Description |
---|---|
void |
ReducedTransition.forEachInputArc(gnu.trove.procedure.TObjectIntProcedure<ReducedPlace> procedure) |
void |
ReducedTransition.forEachOutputArc(gnu.trove.procedure.TObjectIntProcedure<ReducedPlace> procedure) |