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) |
| Modifier and Type | Method and Description |
|---|---|
EfficientTreeReductionRule[] |
getRulesConcurrent() |
EfficientTreeReductionRule[] |
getRulesInterleaved() |
EfficientTreeReductionRule[] |
getRulesLoop() |
EfficientTreeReductionRule[] |
getRulesOr() |
EfficientTreeReductionRule[] |
getRulesSequence() |
EfficientTreeReductionRule[] |
getRulesXor() |
boolean |
isCollapsed() |
boolean |
isReduceToOr() |
void |
setCollapsed(boolean collapsed) |
void |
setReduceToOr(boolean reduceToOr) |
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)
collapsed - Denotes what a leaf A means: true = seq(xor(tau, A_start),
A_complete), false = A.public boolean isCollapsed()
public void setCollapsed(boolean collapsed)
public boolean isReduceToOr()
public void setReduceToOr(boolean reduceToOr)
public EfficientTreeReductionRule[] getRulesXor()
public EfficientTreeReductionRule[] getRulesSequence()
public EfficientTreeReductionRule[] getRulesLoop()
public EfficientTreeReductionRule[] getRulesConcurrent()
public EfficientTreeReductionRule[] getRulesInterleaved()
public EfficientTreeReductionRule[] getRulesOr()