Package owl.translations.rabinizer
Class RabinizerConfiguration
- java.lang.Object
-
- owl.translations.rabinizer.RabinizerConfiguration
-
@Immutable public class RabinizerConfiguration extends Object
-
-
Constructor Summary
Constructors Constructor Description RabinizerConfiguration()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancompleteAutomaton()booleancomputeAcceptance()booleaneager()booleanremoveFormulaRepresentative()booleansupportBasedRelevantFormulaAnalysis()booleansuspendableFormulaDetection()
-
-
-
Method Detail
-
completeAutomaton
@Default public boolean completeAutomaton()
-
computeAcceptance
@Default public boolean computeAcceptance()
-
eager
@Default public boolean eager()
-
supportBasedRelevantFormulaAnalysis
@Default public boolean supportBasedRelevantFormulaAnalysis()
-
suspendableFormulaDetection
@Default public boolean suspendableFormulaDetection()
-
removeFormulaRepresentative
@Default public boolean removeFormulaRepresentative()
-
-