Package net.automatalib.automaton.simple

Interface SimpleAutomaton<S,I>

Type Parameters:

S - state class.

I - input symbol class.

All Superinterfaces:

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

All Known Subinterfaces:

Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, DetOutputAutomaton<S,I,T,D>, DetSuffixOutputAutomaton<S,I,T,D>, DFA<S,I>, FiniteAlphabetAutomaton<S,I,T>, FiniteKTS<S,I,T,AP>, FiniteStateAcceptor<S,I>, Lasso<I,D>, Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, ModalTransitionSystem<S,I,T,TP>, MooreMachine<S,I,T,O>, MutableAutomaton<S,I,T,SP,TP>, MutableDeterministic<S,I,T,SP,TP>, MutableDFA<S,I>, MutableFSA<S,I>, MutableMealyMachine<S,I,T,O>, MutableModalTransitionSystem<S,I,T,TP>, MutableMooreMachine<S,I,T,O>, MutableNFA<S,I>, MutableProbabilisticMealy<S,I,T,O>, MutableSubsequentialTransducer<S,I,T,O>, NFA<S,I>, OutputAutomaton<S,I,T,D>, ProbabilisticMealyMachine<S,I,T,O>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>, SimpleDeterministicAutomaton<S,I>, StateLocalInputMealyMachine<S,I,T,O>, StateOutputAutomaton<S,I,T,O>, SubsequentialTransducer<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>

All Known Implementing Classes:

AbstractBricsAutomaton, AbstractCompact, AbstractCompactDeterministic, AbstractCompactMTS, AbstractCompactSimpleDeterministic, AbstractCompactSimpleNondet, AbstractFastMutable, AbstractFastMutableDet, AbstractFastMutableNondet, AbstractLasso, BricsDFA, BricsNFA, CompactDFA, CompactMealy, CompactMoore, CompactMTS, CompactNFA, CompactSST, DFALassoImpl, FastDFA, FastMealy, FastMoore, FastNFA, FastProbMealy, MealyLassoImpl, UniversalCompactDet, UniversalCompactSimpleDet

public interface SimpleAutomaton<S,I>
extends SimpleTS<S,I>, Iterable<S>, FiniteRepresentation

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

Method Summary

Modifier and Type	Method	Description
default <@Nullable V> MutableMapping<S,V>	createDynamicStateMapping()	Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
default <@Nullable V> MutableMapping<S,V>	createStaticStateMapping()	Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
Collection<S>	getStates()	Retrieves all states of the transition system.
default Iterator<S>	iterator()
default int	size()	Retrieves the size (number of states) of this transition system.
default StateIDs<S>	stateIDs()

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Method Detail

iterator

default Iterator<S> iterator()

Specified by:

iterator in interface Iterable<S>

getStates

Collection<S> getStates()

Retrieves all states of the transition system. Implementing classes should return an unmodifiable collection

Returns:

all states in the transition system

createStaticStateMapping

default <@Nullable V> MutableMapping<S,V> createStaticStateMapping()

Description copied from interface: SimpleTS

Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping is however only guaranteed to work correctly if the transition system is not modified.

Specified by:

createStaticStateMapping in interface SimpleTS<S,I>

Type Parameters:

V - the value type of the mapping

Returns:

the mutable mapping

createDynamicStateMapping

default <@Nullable V> MutableMapping<S,V> createDynamicStateMapping()

Description copied from interface: SimpleTS

Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping maintains the association even when the transition system is modified.

Specified by:

createDynamicStateMapping in interface SimpleTS<S,I>

Type Parameters:

V - the value type of the mapping

Returns:

the mutable mapping

stateIDs

default StateIDs<S> stateIDs()

size

default int size()

Retrieves the size (number of states) of this transition system.

Specified by:

size in interface FiniteRepresentation

Returns:

the number of states of this transition system