Package owl.translations
Class LTL2NAFunction
- java.lang.Object
-
- owl.translations.LTL2NAFunction
-
- All Implemented Interfaces:
Function<LabelledFormula,Automaton<?,?>>
public final class LTL2NAFunction extends Object implements Function<LabelledFormula,Automaton<?,?>>
-
-
Constructor Summary
Constructors Constructor Description LTL2NAFunction(Class<? extends OmegaAcceptance> acceptance, Environment environment)
LTL2NAFunction(Environment environment)
-
-
-
Constructor Detail
-
LTL2NAFunction
public LTL2NAFunction(Environment environment)
-
LTL2NAFunction
public LTL2NAFunction(Class<? extends OmegaAcceptance> acceptance, Environment environment)
-
-
Method Detail
-
apply
public Automaton<?,?> apply(LabelledFormula formula)
- Specified by:
apply
in interfaceFunction<LabelledFormula,Automaton<?,?>>
-
-