Package owl.translations.ltl2dra
Class LTL2DRAFunction
- java.lang.Object
-
- owl.translations.ltl2dra.LTL2DRAFunction
-
- All Implemented Interfaces:
Function<LabelledFormula,Automaton<?,? extends GeneralizedRabinAcceptance>>
public class LTL2DRAFunction extends Object implements Function<LabelledFormula,Automaton<?,? extends GeneralizedRabinAcceptance>>
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
LTL2DRAFunction.Configuration
-
Constructor Summary
Constructors Constructor Description LTL2DRAFunction(Environment env, Set<LTL2DRAFunction.Configuration> configuration)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton<?,? extends GeneralizedRabinAcceptance>
apply(LabelledFormula formula)
-
-
-
Constructor Detail
-
LTL2DRAFunction
public LTL2DRAFunction(Environment env, Set<LTL2DRAFunction.Configuration> configuration)
-
-
Method Detail
-
apply
public Automaton<?,? extends GeneralizedRabinAcceptance> apply(LabelledFormula formula)
- Specified by:
apply
in interfaceFunction<LabelledFormula,Automaton<?,? extends GeneralizedRabinAcceptance>>
-
-