Package owl.translations

Class ExternalTranslator

java.lang.Object

owl.translations.ExternalTranslator

All Implemented Interfaces:

Function<LabelledFormula,Automaton<Integer,?>>

public class ExternalTranslator
extends Object
implements Function<LabelledFormula,Automaton<Integer,?>>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ExternalTranslator.InputMode

Constructor Summary

Constructors

Constructor	Description
ExternalTranslator(String command, ExternalTranslator.InputMode inputMode)
ExternalTranslator(List<String> command, ExternalTranslator.InputMode inputMode)

Method Summary

Modifier and Type	Method	Description
Automaton<Integer,?>	apply(LabelledFormula formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Detail

ExternalTranslator

public ExternalTranslator(String command,
                          ExternalTranslator.InputMode inputMode)

ExternalTranslator

public ExternalTranslator(List<String> command,
                          ExternalTranslator.InputMode inputMode)

Method Detail

apply

public Automaton<Integer,?> apply(LabelledFormula formula)

Specified by:

apply in interface Function<LabelledFormula,Automaton<Integer,?>>