Package owl.translations.delag
Class DelagBuilder<T>
- java.lang.Object
-
- owl.translations.delag.DelagBuilder<T>
-
- All Implemented Interfaces:
Function<LabelledFormula,Automaton<State<T>,?>>
public class DelagBuilder<T> extends Object implements Function<LabelledFormula,Automaton<State<T>,?>>
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.TransformerParser
CLI
-
Constructor Summary
Constructors Constructor Description DelagBuilder(Environment environment)
DelagBuilder(Environment environment, Function<LabelledFormula,? extends Automaton<T,?>> fallback)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Automaton<State<T>,?>
apply(LabelledFormula inputFormula)
static void
main(String... args)
-
-
-
Field Detail
-
CLI
public static final OwlModuleParser.TransformerParser CLI
-
-
Constructor Detail
-
DelagBuilder
public DelagBuilder(Environment environment)
-
DelagBuilder
public DelagBuilder(Environment environment, Function<LabelledFormula,? extends Automaton<T,?>> fallback)
-
-