@Immutable
public class RabinizerConfiguration
extends java.lang.Object
Constructor | Description |
---|---|
RabinizerConfiguration() |
Modifier and Type | Method | Description |
---|---|---|
boolean |
completeAutomaton() |
|
boolean |
computeAcceptance() |
|
boolean |
eager() |
|
boolean |
removeFormulaRepresentative() |
|
boolean |
supportBasedRelevantFormulaAnalysis() |
|
boolean |
suspendableFormulaDetection() |
@Default public boolean completeAutomaton()
@Default public boolean computeAcceptance()
@Default public boolean eager()
@Default public boolean supportBasedRelevantFormulaAnalysis()
@Default public boolean suspendableFormulaDetection()
@Default public boolean removeFormulaRepresentative()