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 boolean
eager()
boolean
supportBasedRelevantFormulaAnalysis()
boolean
suspendableFormulaDetection()
-