Package owl.translations
Class ExternalTranslator
- java.lang.Object
-
- owl.translations.ExternalTranslator
-
- All Implemented Interfaces:
Function<LabelledFormula,Automaton<HoaReader.HoaState,?>>
public class ExternalTranslator extends Object implements Function<LabelledFormula,Automaton<HoaReader.HoaState,?>>
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classExternalTranslator.InputMode
-
Field Summary
Fields Modifier and Type Field Description static OwlModule<OwlModule.Transformer>MODULE
-
Constructor Summary
Constructors Constructor Description ExternalTranslator(String command, ExternalTranslator.InputMode inputMode, Environment environment)ExternalTranslator(List<String> command, ExternalTranslator.InputMode inputMode, Environment environment)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton<HoaReader.HoaState,?>apply(LabelledFormula formula)
-
-
-
Field Detail
-
MODULE
public static final OwlModule<OwlModule.Transformer> MODULE
-
-
Constructor Detail
-
ExternalTranslator
public ExternalTranslator(String command, ExternalTranslator.InputMode inputMode, Environment environment)
-
ExternalTranslator
public ExternalTranslator(List<String> command, ExternalTranslator.InputMode inputMode, Environment environment)
-
-
Method Detail
-
apply
public Automaton<HoaReader.HoaState,?> apply(LabelledFormula formula)
- Specified by:
applyin interfaceFunction<LabelledFormula,Automaton<HoaReader.HoaState,?>>
-
-