net.automatalib.automata.simple

Interface SimpleAutomaton<S,I>

Type Parameters:

S - state class.

I - input symbol class.

All Superinterfaces:

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>, FiniteStateAcceptor<S,I>, MealyMachine<S,I,T,O>, 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>, MutableMooreMachine<S,I,T,O>, MutableNFA<S,I>, MutableProbabilisticMealy<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>, TransitionOutputAutomaton<S,I,T,O>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>

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

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

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
default <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 net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Method Detail

iterator

@Nonnull
default Iterator<S> iterator()

Specified by:

iterator in interface Iterable<S>

getStates

@Nonnull
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

@Nonnull
default <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>

Returns:

the mutable mapping

stateIDs

@Nonnull
default StateIDs<S> stateIDs()

size

default int size()

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

Returns:

the number of states of this transition system