public class EfficientTreeReduceParameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected EfficientTreeReductionRule[] |
rulesAndWithoutReduceToOr |
protected EfficientTreeReductionRule[] |
rulesAndWithReduceToOr |
protected EfficientTreeReductionRule[] |
rulesIntCollapsed |
protected EfficientTreeReductionRule[] |
rulesIntExpanded |
protected EfficientTreeReductionRule[] |
rulesLoop |
protected EfficientTreeReductionRule[] |
rulesOr |
protected EfficientTreeReductionRule[] |
rulesSeq |
protected EfficientTreeReductionRule[] |
rulesXor |
Constructor and Description |
---|
EfficientTreeReduceParameters(boolean collapsed) |
EfficientTreeReduceParameters(boolean collapsed,
boolean reduceToOr) |
Modifier and Type | Method and Description |
---|---|
EfficientTreeReductionRule[] |
getRulesConcurrent() |
EfficientTreeReductionRule[] |
getRulesInterleaved() |
EfficientTreeReductionRule[] |
getRulesLoop() |
EfficientTreeReductionRule[] |
getRulesOr() |
EfficientTreeReductionRule[] |
getRulesSequence() |
EfficientTreeReductionRule[] |
getRulesXor() |
boolean |
isCollapsed() |
boolean |
isReduceToOr() |
protected EfficientTreeReductionRule[] rulesXor
protected EfficientTreeReductionRule[] rulesSeq
protected EfficientTreeReductionRule[] rulesAndWithReduceToOr
protected EfficientTreeReductionRule[] rulesAndWithoutReduceToOr
protected EfficientTreeReductionRule[] rulesLoop
protected EfficientTreeReductionRule[] rulesIntCollapsed
protected EfficientTreeReductionRule[] rulesIntExpanded
protected EfficientTreeReductionRule[] rulesOr
public EfficientTreeReduceParameters(boolean collapsed, boolean reduceToOr)
collapsed
- Denotes what a leaf A means: true = seq(xor(tau, A_start),
A_complete), false = A.public EfficientTreeReduceParameters(boolean collapsed)
public boolean isCollapsed()
public boolean isReduceToOr()
public EfficientTreeReductionRule[] getRulesXor()
public EfficientTreeReductionRule[] getRulesSequence()
public EfficientTreeReductionRule[] getRulesLoop()
public EfficientTreeReductionRule[] getRulesConcurrent()
public EfficientTreeReductionRule[] getRulesInterleaved()
public EfficientTreeReductionRule[] getRulesOr()