Package net.automatalib.ts.simple

Interface SimpleTS<S,I>

Type Parameters:

S - state class.

I - symbol class.

All Known Subinterfaces:

AcceptorTS<S,I>, Automaton<S,I,T>, DeterministicAcceptorTS<S,I>, DeterministicAutomaton<S,I,T>, DeterministicOutputTS<S,I,T,O>, DeterministicStateOutputTS<S,I,T,O>, DeterministicTransitionOutputTS<S,I,T,O>, DeterministicTransitionSystem<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>, MealyTransitionSystem<S,I,T,O>, ModalTransitionSystem<S,I,T,TP>, MooreMachine<S,I,T,O>, MooreTransitionSystem<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>, OneSEVPA<L,I>, OutputAutomaton<S,I,T,D>, PowersetViewTS<S,I,T,OS,OT>, ProbabilisticMealyMachine<S,I,T,O>, SBA<S,I>, SEVPA<L,I>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SPA<S,I>, SPMM<S,I,T,O>, StateLocalInputMealyMachine<S,I,T,O>, StateOutputAutomaton<S,I,T,O>, SubsequentialTransducer<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>, TransitionSystem<S,I,T>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalDTS<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

All Known Implementing Classes:

DirectPowersetDTS

public interface SimpleTS<S,I>

A simple transition system. A transition system is a (not necessarily finite) collection of states. For an arbitrary input symbol, each state has a set of successors.

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.
Set<S>	getInitialStates()	Retrieves the set of initial states of the transition system.
default Set<S>	getStates(Iterable<? extends I> input)	Retrieves the set of all states reachable by the given sequence of input symbols from an initial state.
default Set<S>	getSuccessors(Collection<? extends S> states, Iterable<? extends I> input)	Retrieves the set of all successors that can be reached from any of the given source states by the specified sequence of input symbols.
Set<S>	getSuccessors(S state, I input)	Retrieves the set of successors for the given input symbol.
default Set<S>	getSuccessors(S state, Iterable<? extends I> input)	Retrieves the set of successors for the given sequence of input symbols.

Method Detail

getSuccessors

default Set<S> getSuccessors(S state,
                             Iterable<? extends I> input)

Retrieves the set of successors for the given sequence of input symbols.

Parameters:

state - the source state.

input - the sequence of input symbols.

Returns:

the set of successors reachable by this input.

getSuccessors

default Set<S> getSuccessors(Collection<? extends S> states,
                             Iterable<? extends I> input)

Retrieves the set of all successors that can be reached from any of the given source states by the specified sequence of input symbols.

Parameters:

states - the source states.

input - the sequence of input symbols.

Returns:

the set of successors reachable by this input, or null if no successor states are reachable.

getSuccessors

Set<S> getSuccessors(S state,
                     I input)

Retrieves the set of successors for the given input symbol.

Parameters:

state - the source state.

input - the input symbol.

Returns:

the set of successors reachable by this input.

getStates

default Set<S> getStates(Iterable<? extends I> input)

Retrieves the set of all states reachable by the given sequence of input symbols from an initial state. Calling this method is equivalent to getSuccessors(getInitialStates(), input).

Parameters:

input - the sequence of input symbols.

Returns:

the set of states reachable by this input from an initial state, or null if no successor state is reachable.

getInitialStates

Set<S> getInitialStates()

Retrieves the set of initial states of the transition system.

Returns:

the initial states.

createStaticStateMapping

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

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.

Type Parameters:

V - the value type of the mapping

Returns:

the mutable mapping

createDynamicStateMapping

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

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.

Type Parameters:

V - the value type of the mapping

Returns:

the mutable mapping