Package net.automatalib.automaton.simple

Interface SimpleDeterministicAutomaton<S,I>

Type Parameters:

S - state class.

I - input symbol class.

All Superinterfaces:

FiniteRepresentation, Iterable<S>, SimpleAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>

All Known Subinterfaces:

DeterministicAutomaton<S,I,T>, DetOutputAutomaton<S,I,T,D>, DetSuffixOutputAutomaton<S,I,T,D>, DFA<S,I>, Lasso<I,D>, Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MooreMachine<S,I,T,O>, MutableDeterministic<S,I,T,SP,TP>, MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, MutableSubsequentialTransducer<S,I,T,O>, ShrinkableDeterministic<S,I,T,SP,TP>, StateLocalInputMealyMachine<S,I,T,O>, StateOutputAutomaton<S,I,T,O>, SubsequentialTransducer<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>, UniversalDeterministicAutomaton<S,I,T,SP,TP>

All Known Implementing Classes:

AbstractCompactDeterministic, AbstractCompactSimpleDeterministic, AbstractFastMutableDet, AbstractLasso, BricsDFA, CompactDFA, CompactMealy, CompactMoore, CompactSST, DFALassoImpl, FastDFA, FastMealy, FastMoore, MealyLassoImpl, UniversalCompactDet, UniversalCompactSimpleDet

public interface SimpleDeterministicAutomaton<S,I>
extends SimpleAutomaton<S,I>, SimpleDTS<S,I>

A simple deterministic automaton.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	SimpleDeterministicAutomaton.FullIntAbstraction	Interface for an integer abstraction that abstracts both states and input symbols to integers.
static interface	SimpleDeterministicAutomaton.IntAbstraction	Basic interface for integer abstractions of automata.
static interface	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).

Method Summary

Modifier and Type	Method	Description
default SimpleDeterministicAutomaton.FullIntAbstraction	fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)	Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.
default SimpleDeterministicAutomaton.FullIntAbstraction	fullIntAbstraction(Alphabet<I> alphabet)	Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.
default SimpleDeterministicAutomaton.StateIntAbstraction<I>	stateIntAbstraction()	Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessor, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

getSuccessors

Method Detail

fullIntAbstraction

default SimpleDeterministicAutomaton.FullIntAbstraction fullIntAbstraction(Alphabet<I> alphabet)

Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.

This method is provided for convenience. It is equivalent to calling fullIntAbstraction(alphabet.size(), alphabet).

Parameters:

alphabet - the alphabet inducing the abstraction

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

fullIntAbstraction

default SimpleDeterministicAutomaton.FullIntAbstraction fullIntAbstraction(int numInputs,
                                                                           IntFunction<? extends I> symMapping)

Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.

Parameters:

numInputs - the number of inputs represented in the full abstraction

symMapping - the mapping from integers in the range [0, numInputs - 1] to input symbols.

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

stateIntAbstraction

default SimpleDeterministicAutomaton.StateIntAbstraction<I> stateIntAbstraction()

Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Returns:

a SimpleDeterministicAutomaton.StateIntAbstraction