public class DEARrule extends ResetReductionRule
Constructor and Description |
---|
DEARrule() |
Modifier and Type | Method and Description |
---|---|
ResetWFNet |
reduceElement(ResetWFNet net,
RElement nextElement)
Innermost method for a reduction rule.
|
reduce
public ResetWFNet reduceElement(ResetWFNet net, RElement nextElement)
reduceElement
in class ResetReductionRule
net
- ResetWFNet to perform reductionnextElement
- one element for consideration.