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.base
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.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.modelchecking
net.automatalib.serialization.aut
net.automatalib.serialization.automaton
net.automatalib.ts	This package (including sub-packages) contains the basic classes concerning transition systems.
net.automatalib.ts.modal
net.automatalib.util.partitionrefinement

Classes in net.automatalib.automaton.simple used by net.automatalib.automaton

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton	A simple deterministic automaton.
SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.IntAbstraction	Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.StateIntAbstraction	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.abstraction

Class	Description
SimpleDeterministicAutomaton	A simple deterministic automaton.
SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.IntAbstraction	Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.StateIntAbstraction	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.base

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton	A simple deterministic automaton.
SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.IntAbstraction	Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.StateIntAbstraction	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.concept

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS 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., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton	A simple deterministic automaton.
SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.IntAbstraction	Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.StateIntAbstraction	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.helper

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS 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., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.IntAbstraction	Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.StateIntAbstraction	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.transducer

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton	A simple deterministic automaton.
SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
SimpleDeterministicAutomaton.IntAbstraction	Basic interface for integer abstractions of automata.
SimpleDeterministicAutomaton.StateIntAbstraction	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

Classes in net.automatalib.automaton.simple used by net.automatalib.automaton.transducer.probabilistic

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.

Classes in net.automatalib.automaton.simple used by net.automatalib.brics

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton	A simple deterministic automaton.

Classes in net.automatalib.automaton.simple used by net.automatalib.modelchecking

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton	A simple deterministic automaton.

Classes in net.automatalib.automaton.simple used by net.automatalib.serialization.aut

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.

Classes in net.automatalib.automaton.simple used by net.automatalib.serialization.automaton

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS with a finite number of states.

Classes in net.automatalib.automaton.simple used by net.automatalib.ts

Class	Description
SimpleAutomaton	A simple automaton, i.e., a SimpleTS 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., a SimpleTS with a finite number of states.

Classes in net.automatalib.automaton.simple used by net.automatalib.util.partitionrefinement

Class	Description
SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.