Uses of Package
net.automatalib.ts.acceptor
-
Packages that use net.automatalib.ts.acceptor Package Description net.automatalib.automaton.fsa net.automatalib.automaton.procedural net.automatalib.automaton.vpa net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.net.automatalib.modelchecking net.automatalib.ts.acceptor net.automatalib.util.automaton.vpa net.automatalib.util.ts.acceptor -
Classes in net.automatalib.ts.acceptor used by net.automatalib.automaton.fsa Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS A deterministic acceptor transition system. -
Classes in net.automatalib.ts.acceptor used by net.automatalib.automaton.procedural Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS A deterministic acceptor transition system. -
Classes in net.automatalib.ts.acceptor used by net.automatalib.automaton.vpa Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS A deterministic acceptor transition system. -
Classes in net.automatalib.ts.acceptor used by net.automatalib.brics Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS A deterministic acceptor transition system. -
Classes in net.automatalib.ts.acceptor used by net.automatalib.modelchecking Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS A deterministic acceptor transition system. -
Classes in net.automatalib.ts.acceptor used by net.automatalib.ts.acceptor Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not. -
Classes in net.automatalib.ts.acceptor used by net.automatalib.util.automaton.vpa Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS A deterministic acceptor transition system. -
Classes in net.automatalib.ts.acceptor used by net.automatalib.util.ts.acceptor Class Description AcceptorTS A transition system whose semantics are defined by whether a state is "accepting" or not.DeterministicAcceptorTS A deterministic acceptor transition system.