public class PlaceAdditionTriager
extends java.lang.Object
Constructor and Description |
---|
PlaceAdditionTriager(Behaviors behaviors,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking initialMarking,
org.processmining.models.semantics.petrinet.Marking finalMarking,
PlacesMemorizer placesMemorizer,
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> activitiesTransition) |
Modifier and Type | Method and Description |
---|---|
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Arc> |
addArcsToPlace(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> inputTransitions,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> outputTransitions,
org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
boolean |
checkOtherPlacesFitness(TokenReplayer replayer,
java.lang.Double minimumPlaceFitness,
java.lang.Double maximumPlaceUnderfedness) |
boolean |
checkRedundant(java.util.Set<OrderedActivity> inputActivities,
java.util.Set<OrderedActivity> outputActivities) |
java.util.Set<java.lang.String> |
getSetStringFromSetOrderedActivity(java.util.Set<OrderedActivity> activities0) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getSetTransitionFromSetString(java.util.Set<java.lang.String> activities0) |
void |
removeElements(org.processmining.models.graphbased.directed.petrinet.elements.Place place,
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcsToPlace) |
java.lang.Object[] |
tryAddPlace(java.util.Set<OrderedActivity> inputActivities0,
java.util.Set<OrderedActivity> outputActivities0,
java.lang.Double minimumPlaceFitness,
java.lang.Double maximumPlaceUnderfedness) |
public PlaceAdditionTriager(Behaviors behaviors, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, PlacesMemorizer placesMemorizer, java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> activitiesTransition)
public java.util.Set<java.lang.String> getSetStringFromSetOrderedActivity(java.util.Set<OrderedActivity> activities0)
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getSetTransitionFromSetString(java.util.Set<java.lang.String> activities0)
public boolean checkRedundant(java.util.Set<OrderedActivity> inputActivities, java.util.Set<OrderedActivity> outputActivities)
public boolean checkOtherPlacesFitness(TokenReplayer replayer, java.lang.Double minimumPlaceFitness, java.lang.Double maximumPlaceUnderfedness)
public java.lang.Object[] tryAddPlace(java.util.Set<OrderedActivity> inputActivities0, java.util.Set<OrderedActivity> outputActivities0, java.lang.Double minimumPlaceFitness, java.lang.Double maximumPlaceUnderfedness)
public void removeElements(org.processmining.models.graphbased.directed.petrinet.elements.Place place, java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcsToPlace)
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Arc> addArcsToPlace(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> inputTransitions, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> outputTransitions, org.processmining.models.graphbased.directed.petrinet.elements.Place place)