Constructor and Description |
---|
PlaceAbstractionReduction(Place place,
Transition transition)
Creates the reduction for the given place and the given transition.
|
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 PlaceAbstractionReduction(Place place, Transition transition)
place
- The given place.transition
- The given transition.public int costs(StateMachineNet net, LayoutParameters layoutParameters)
public void apply(StateMachineNet net, LayoutParameters layoutParameters)