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