Uses of Package
net.automatalib.automaton.simple
-
Packages that use net.automatalib.automaton.simple Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.abstraction net.automatalib.automaton.concept net.automatalib.automaton.fsa net.automatalib.automaton.helper net.automatalib.automaton.simple net.automatalib.automaton.transducer net.automatalib.automaton.transducer.probabilistic net.automatalib.modelchecking net.automatalib.ts This package (including sub-packages) contains the basic classes concerning transition systems.net.automatalib.ts.modal -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states.SimpleDeterministicAutomaton A simple deterministic automaton.SimpleDeterministicAutomaton.FullIntAbstraction Interface for aninteger abstraction
that abstracts both states and input symbols to integers.SimpleDeterministicAutomaton.IntAbstraction Basic interface for integer abstractions of automata.SimpleDeterministicAutomaton.StateIntAbstraction Interface forinteger abstractions
of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of typeI
). -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.abstraction Class Description SimpleDeterministicAutomaton A simple deterministic automaton.SimpleDeterministicAutomaton.FullIntAbstraction Interface for aninteger abstraction
that abstracts both states and input symbols to integers.SimpleDeterministicAutomaton.IntAbstraction Basic interface for integer abstractions of automata.SimpleDeterministicAutomaton.StateIntAbstraction Interface forinteger abstractions
of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of typeI
). -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.concept Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states.SimpleDeterministicAutomaton A simple deterministic automaton. -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.fsa Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states.SimpleDeterministicAutomaton A simple deterministic automaton. -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.helper Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states. -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.simple Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states.SimpleDeterministicAutomaton.FullIntAbstraction Interface for aninteger abstraction
that abstracts both states and input symbols to integers.SimpleDeterministicAutomaton.IntAbstraction Basic interface for integer abstractions of automata.SimpleDeterministicAutomaton.StateIntAbstraction Interface forinteger abstractions
of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of typeI
). -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.transducer Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states.SimpleDeterministicAutomaton A simple deterministic automaton. -
Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.transducer.probabilistic Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states. -
Classes in net.automatalib.automaton.simple used by net.automatalib.modelchecking Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states.SimpleDeterministicAutomaton A simple deterministic automaton. -
Classes in net.automatalib.automaton.simple used by net.automatalib.ts Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states. -
Classes in net.automatalib.automaton.simple used by net.automatalib.ts.modal Class Description SimpleAutomaton A simple automaton, i.e., aSimpleTS
with a finite number of states.