Constructor and Description |
---|
ResetReductionRule() |
Modifier and Type | Method and Description |
---|---|
ResetWFNet |
reduce(ResetWFNet net)
Main method for calling reduction rule, apply a reduction rule recursively
to a given net until it cannot be reduced further.
|
protected abstract ResetWFNet |
reduceElement(ResetWFNet net,
RElement element)
Innermost method for a reduction rule.
|
public ResetWFNet reduce(ResetWFNet net)
net
- ResetWFNet to perform reduction
returns a reduced ResetWFNet or null if a given net cannot be reduced.protected abstract ResetWFNet reduceElement(ResetWFNet net, RElement element)
net
- ResetWFNet to perform reductionelement
- one element for consideration.
returns a reduced ResetWFNet or null if a given net cannot be reduced.
Must be implemented by individual reduction rule