Package owl.translations.rabinizer

Class RabinizerBuilder

java.lang.Object

owl.translations.rabinizer.RabinizerBuilder

public final class RabinizerBuilder
extends Object

Central class handling the Rabinizer construction.

See Also:

owl.translations.rabinizer

Method Summary

Modifier and Type	Method	Description
static MutableAutomaton<RabinizerState,GeneralizedRabinAcceptance>	build(LabelledFormula formula, RabinizerConfiguration configuration)

Methods inherited from class java.lang.Object

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

Method Detail

build

public static MutableAutomaton<RabinizerState,GeneralizedRabinAcceptance> build(LabelledFormula formula,
                                                                                      RabinizerConfiguration configuration)