java.util.function.Function<LabelledFormula,Automaton<State<T>,?>>
public class DelagBuilder<T> extends java.lang.Object implements java.util.function.Function<LabelledFormula,Automaton<State<T>,?>>
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
CLI |
Constructor | Description |
---|---|
DelagBuilder(Environment env,
java.util.function.Function<LabelledFormula,? extends Automaton<T,?>> fallback) |
Modifier and Type | Method | Description |
---|---|---|
Automaton<State<T>,?> |
apply(LabelledFormula formula) |
|
static void |
main(java.lang.String... args) |
public static final OwlModuleParser.TransformerParser CLI
public DelagBuilder(Environment env, java.util.function.Function<LabelledFormula,? extends Automaton<T,?>> fallback)
public static void main(java.lang.String... args)
public Automaton<State<T>,?> apply(LabelledFormula formula)
apply
in interface java.util.function.Function<LabelledFormula,Automaton<State<T>,?>>