| Package | Description |
|---|---|
| org.processmining.glueminer.algorithms | |
| org.processmining.glueminer.models |
| Modifier and Type | Field and Description |
|---|---|
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,PlaceUsageStatus.status> |
TokenReplayer.placeUsageStatus |
| Modifier and Type | Method and Description |
|---|---|
void |
PlaceSearchRecursion.recursionFunction(java.util.Set<OrderedActivity> addedLeftActivities,
java.util.Set<OrderedActivity> addedRightActivities,
java.util.List<OrderedActivity> leftActivitiesRemainingToBeAdded,
java.util.Set<OrderedActivity> rightActivitiesRemainingToBeAdded,
PlaceUsageStatus.status placeUsageStatus) |
| Modifier and Type | Method and Description |
|---|---|
static PlaceUsageStatus.status |
PlaceUsageStatus.status.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static PlaceUsageStatus.status[] |
PlaceUsageStatus.status.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|