java.util.function.Function<Automaton<S,?>,HoaPrintable>
public final class NBA2DPAFunction<S> extends java.lang.Object implements java.util.function.Function<Automaton<S,?>,HoaPrintable>
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
CLI |
Constructor | Description |
---|---|
NBA2DPAFunction() |
Modifier and Type | Method | Description |
---|---|---|
Automaton<?,ParityAcceptance> |
apply(Automaton<S,?> nba) |
|
static void |
main(java.lang.String... args) |
public static final OwlModuleParser.TransformerParser CLI
public static void main(java.lang.String... args)
public Automaton<?,ParityAcceptance> apply(Automaton<S,?> nba)
apply
in interface java.util.function.Function<Automaton<S,?>,HoaPrintable>