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.