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

Modifier and Type	Method	Description
abstract boolean	eager()
static RabinizerConfiguration	of(boolean eager, boolean supportBasedRelevantFormulaAnalysis, boolean suspendableFormulaDetection)
abstract boolean	supportBasedRelevantFormulaAnalysis()
abstract boolean	suspendableFormulaDetection()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RabinizerConfiguration

public RabinizerConfiguration()

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)