Package | Description |
---|---|
org.processmining.blocklayout.models.reductions | |
org.processmining.blocklayout.models.statemachine | |
org.processmining.blocklayout.parameters |
Constructor and Description |
---|
PlaceAbstractionReduction(Place place,
Transition transition)
Creates the reduction for the given place and the given transition.
|
PlaceReduction(Place place,
Place proxy,
boolean isReverse) |
TransitionAbstractionReduction(Place place,
Transition transition)
Creates the reduction for the given place and the given transition.
|
Modifier and Type | Method and Description |
---|---|
Place |
StateMachineNet.getPostPlace(Transition transition) |
Place |
StateMachineNet.getPrePlace(Transition transition) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Place> |
StateMachineNet.getPlaceList() |
java.util.Set<Place> |
StateMachineNet.getPlaces() |
java.util.List<Place> |
StateMachineNet.getSinkPlaces()
Returns an ordered list containing all sink places.
|
java.util.List<Place> |
StateMachineNet.getSourcePlaces()
Returns an ordered list containing all source places.
|
Modifier and Type | Method and Description |
---|---|
void |
StateMachineNet.addArc(Place place,
Transition transition)
Adds an arc from the place to the transition to the net.
|
void |
StateMachineNet.addArc(Transition transition,
Place place)
Adds an arc from the transition to the place to the net.
|
void |
StateMachineNet.addPlace(Place place)
Adds a place to the net, if needed.
|
void |
StateMachineNet.applyAbstraction(Place place,
Transition transition)
Applies the abstraction rule on the given place and transition in the
net.
|
void |
StateMachineNet.applyPlace(Place place,
Place proxy) |
java.util.List<Transition> |
StateMachineNet.getPostset(Place place) |
java.util.List<Transition> |
StateMachineNet.getPreset(Place place) |
Modifier and Type | Method and Description |
---|---|
int |
LayoutParameters.getPlaceAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |
int |
LayoutParameters.getPlaceReductionCosts(StateMachineNet net,
Place place,
Place proxy) |
int |
LayoutParameters.getTransitionAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |