Package net.automatalib.ts.acceptor
-
Interface Summary Interface Description AcceptorTS<S,I> A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS<S,I> A deterministic acceptor transition system.