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.
|
RigidReduction(Transition splitTransition,
Transition transition,
Transition joinTransition) |
TransitionAbstractionReduction(Place place,
Transition transition)
Creates the reduction for the given place and the given transition.
|
TransitionReduction(Transition transition,
java.util.List<Transition> transitions,
boolean isReverse)
Create the transition reduction for the given linearly dependent
transition, the set of transitions the transition is linearly dependent
on, and whether the arcs to th elinearly dependent transition were
reversed.
|
Constructor and Description |
---|
TransitionReduction(Transition transition,
java.util.List<Transition> transitions,
boolean isReverse)
Create the transition reduction for the given linearly dependent
transition, the set of transitions the transition is linearly dependent
on, and whether the arcs to th elinearly dependent transition were
reversed.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Transition> |
StateMachineNet.getPostset(Place place) |
java.util.List<Transition> |
StateMachineNet.getPreset(Place place) |
java.util.List<Transition> |
StateMachineNet.getTransitionList() |
java.util.Set<Transition> |
StateMachineNet.getTransitions() |
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.addTransition(Transition transition)
Adds a transition 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.applyRigid(Transition splitTransition,
Transition transition,
Transition joinTransition) |
void |
StateMachineNet.applyTransition(Transition transition)
Applies the transition rule on the given transition.
|
Place |
StateMachineNet.getPostPlace(Transition transition) |
Place |
StateMachineNet.getPrePlace(Transition transition) |
Modifier and Type | Method and Description |
---|---|
int |
LayoutParameters.getPlaceAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |
int |
LayoutParameters.getTransitionAbstractionReductionCosts(StateMachineNet net,
Place place,
Transition transition) |
int |
LayoutParameters.getTransitionReductionCosts(StateMachineNet net,
Transition transition,
java.util.List<Transition> transitions) |
Modifier and Type | Method and Description |
---|---|
int |
LayoutParameters.getTransitionReductionCosts(StateMachineNet net,
Transition transition,
java.util.List<Transition> transitions) |