Constructor and Description |
---|
AbstractionReduction() |
Modifier and Type | Method and Description |
---|---|
void |
apply(ReductionWorkspace ws) |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getPlace() |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPlaces() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition() |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitions() |
boolean |
hasOptimalScore(ReductionWorkspace ws) |
double |
score(ReductionWorkspace ws) |
void |
setPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
void |
setPlaces(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> places) |
void |
setTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) |
void |
setTransitions(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions) |
java.lang.String |
toString() |
public org.processmining.models.graphbased.directed.petrinet.elements.Place getPlace()
public void setPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition()
public void setTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaces()
public void setPlaces(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> places)
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitions()
public void setTransitions(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions)
public void apply(ReductionWorkspace ws)
public java.lang.String toString()
toString
in class java.lang.Object
public double score(ReductionWorkspace ws)
public boolean hasOptimalScore(ReductionWorkspace ws)
hasOptimalScore
in interface Reduction