Package owl.translations.ltl2dra

Class NormalformDRAConstruction<R extends GeneralizedRabinAcceptance>

java.lang.Object

owl.translations.ltl2dra.NormalformDRAConstruction<R>

All Implemented Interfaces:

Function<LabelledFormula,Automaton<?,? extends R>>

public final class NormalformDRAConstruction<R extends GeneralizedRabinAcceptance>
extends Object
implements Function<LabelledFormula,Automaton<?,? extends R>>

Method Summary

Modifier and Type	Method	Description
Automaton<?,? extends R>	apply(LabelledFormula formula)
static <R extends GeneralizedRabinAcceptance> NormalformDRAConstruction<R>	of(Class<R> acceptanceClass, boolean dualConstruction)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Method Detail

of

public static <R extends GeneralizedRabinAcceptance> NormalformDRAConstruction<R> of(Class<R> acceptanceClass,
                                                                                     boolean dualConstruction)

apply

public Automaton<?,? extends R> apply(LabelledFormula formula)

Specified by:

apply in interface Function<LabelledFormula,Automaton<?,? extends R extends GeneralizedRabinAcceptance>>