public class EfficientTreeReduceParametersForPetriNet extends EfficientTreeReduceParameters
rulesAndWithoutReduceToOr, rulesAndWithReduceToOr, rulesIntCollapsed, rulesIntExpanded, rulesLoop, rulesOr, rulesSeq, rulesXor
Constructor and Description |
---|
EfficientTreeReduceParametersForPetriNet(boolean collapsed) |
getRulesConcurrent, getRulesInterleaved, getRulesLoop, getRulesOr, getRulesSequence, getRulesXor, isCollapsed, isReduceToOr