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 |
---|---|
void |
apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
int |
costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
public TransitionReduction(Transition transition, java.util.List<Transition> transitions, boolean isReverse)
transition
- The linearly dependent transition.transitions
- The transitions the transition is linearly dependent on.isReverse
- Whether or not to reverse the arcs for the linearly dependent
transition.public int costs(StateMachineNet net, LayoutParameters layoutParameters)
public void apply(StateMachineNet net, LayoutParameters layoutParameters)