Package owl.translations.rabinizer
Class RabinizerConfiguration
- java.lang.Object
-
- owl.translations.rabinizer.RabinizerConfiguration
-
public abstract class RabinizerConfiguration extends Object
-
-
Constructor Summary
Constructors Constructor Description RabinizerConfiguration()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract booleaneager()static RabinizerConfigurationof(boolean eager, boolean supportBasedRelevantFormulaAnalysis, boolean suspendableFormulaDetection)abstract booleansupportBasedRelevantFormulaAnalysis()abstract booleansuspendableFormulaDetection()
-
-
-
Method Detail
-
eager
public abstract boolean eager()
-
supportBasedRelevantFormulaAnalysis
public abstract boolean supportBasedRelevantFormulaAnalysis()
-
suspendableFormulaDetection
public abstract boolean suspendableFormulaDetection()
-
of
public static RabinizerConfiguration of(boolean eager, boolean supportBasedRelevantFormulaAnalysis, boolean suspendableFormulaDetection)
-
-