java.util.function.Function<Automaton<S,?>,LimitDeterministicAutomaton<S,BreakpointState<S>,BuchiAcceptance,java.lang.Void>>
public final class NBA2LDBA<S> extends java.lang.Object implements java.util.function.Function<Automaton<S,?>,LimitDeterministicAutomaton<S,BreakpointState<S>,BuchiAcceptance,java.lang.Void>>
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.TransformerParser |
CLI |
Constructor | Description |
---|---|
NBA2LDBA(java.util.EnumSet<LimitDeterministicAutomatonBuilder.Configuration> configuration) |
Modifier and Type | Method | Description |
---|---|---|
LimitDeterministicAutomaton<S,BreakpointState<S>,BuchiAcceptance,java.lang.Void> |
apply(Automaton<S,?> automaton) |
|
static void |
main(java.lang.String... args) |
public static final OwlModuleParser.TransformerParser CLI
public NBA2LDBA(java.util.EnumSet<LimitDeterministicAutomatonBuilder.Configuration> configuration)
public LimitDeterministicAutomaton<S,BreakpointState<S>,BuchiAcceptance,java.lang.Void> apply(Automaton<S,?> automaton)
apply
in interface java.util.function.Function<Automaton<S,?>,LimitDeterministicAutomaton<S,BreakpointState<S>,BuchiAcceptance,java.lang.Void>>
public static void main(java.lang.String... args)