Package net.automatalib.automaton.simple

Interface Summary

Interface	Description
SimpleAutomaton<S,I>	A simple automaton, i.e., a SimpleTS with a finite number of states.
SimpleDeterministicAutomaton<S,I>	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<I>	Interface for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).