java.util.function.Function<LabelledFormula,Automaton<AutomatonReader.HoaState,OmegaAcceptance>>
public class ExternalTranslator extends java.lang.Object implements java.util.function.Function<LabelledFormula,Automaton<AutomatonReader.HoaState,OmegaAcceptance>>
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
CLI |
Constructor | Description |
---|---|
ExternalTranslator(Environment env,
java.lang.String tool) |
Modifier and Type | Method | Description |
---|---|---|
Automaton<AutomatonReader.HoaState,OmegaAcceptance> |
apply(LabelledFormula formula) |
public static final OwlModuleParser.TransformerParser CLI
public ExternalTranslator(Environment env, java.lang.String tool)
public Automaton<AutomatonReader.HoaState,OmegaAcceptance> apply(LabelledFormula formula)
apply
in interface java.util.function.Function<LabelledFormula,Automaton<AutomatonReader.HoaState,OmegaAcceptance>>