Package owl.translations
Class ExternalTranslator
- java.lang.Object
-
- owl.translations.ExternalTranslator
-
- All Implemented Interfaces:
Function<LabelledFormula,Automaton<AutomatonReader.HoaState,OmegaAcceptance>>
public class ExternalTranslator extends Object implements Function<LabelledFormula,Automaton<AutomatonReader.HoaState,OmegaAcceptance>>
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
CLI
-
Constructor Summary
Constructors Constructor Description ExternalTranslator(Environment env, String tool)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton<AutomatonReader.HoaState,OmegaAcceptance>
apply(LabelledFormula formula)
-
-
-
Field Detail
-
CLI
public static final OwlModuleParser.TransformerParser CLI
-
-
Constructor Detail
-
ExternalTranslator
public ExternalTranslator(Environment env, String tool)
-
-
Method Detail
-
apply
public Automaton<AutomatonReader.HoaState,OmegaAcceptance> apply(LabelledFormula formula)
- Specified by:
apply
in interfaceFunction<LabelledFormula,Automaton<AutomatonReader.HoaState,OmegaAcceptance>>
-
-