net.automatalib.ts.simple

Interface SimpleDTS<S,I>

Type Parameters:

S - state class

I - input symbol class

All Superinterfaces:

SimpleTS<S,I>

All Known Subinterfaces:

DeterministicAcceptorTS<S,I>, DeterministicAutomaton<S,I,T>, DeterministicTransitionSystem<S,I,T>, DetOutputAutomaton<S,I,T,O>, DFA<S,I>, 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>, ShrinkableDeterministic<S,I,T,SP,TP>, SimpleDeterministicAutomaton<S,I>, SODetOutputAutomaton<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalDTS<S,I,T,SP,TP>

All Known Implementing Classes:

AbstractCompactDeterministic, AbstractCompactSimpleDet, AbstractDeterministicAcceptorTS, AbstractDeterministicAutomaton, AbstractDFA, AbstractDTS, AbstractIncrementalDFABuilder, AbstractMutableDeterministic, AbstractMutableDFA, AbstractShrinkableDeterministic, BricsDFA, CompactDFA, CompactMealy, DetAcceptorComposition, DTSComposition, FastDFA, FastMealy, FastMoore, FastMutableDet, FastPowersetDTS, IncrementalDFABuilder, IncrementalMealyBuilder, IncrementalPCDFABuilder, PowersetDTS, UniversalCompactSimpleDet

public interface SimpleDTS<S,I>
extends SimpleTS<S,I>

A simple deterministic transition system. In a deterministic transition system, there exists in each state at most one successor state for each input symbol.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
S	getInitialState() Retrieves the initial state of this transition system.
S	getState(Iterable<I> input) Retrieves the state reachable by the given sequence of input symbols from the initial state.
S	getSuccessor(S state, I input) Retrieves the successor state reachable by the given input symbol.
S	getSuccessor(S state, Iterable<I> input) Retrieves the successor state reachable by the given sequence of input symbols.

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Method Detail

getInitialState

S getInitialState()

Retrieves the initial state of this transition system.

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

getSuccessor

S getSuccessor(S state,
               I input)

Retrieves the successor state reachable by the given input symbol.

Parameters:

state - the source state.

input - the input symbol.

Returns:

the successor state reachable by the given input symbol, or null if no state is reachable by this symbol.

See Also:

SimpleTS.getSuccessors(Object, Object)

getSuccessor

S getSuccessor(S state,
               Iterable<I> input)

Retrieves the successor state reachable by the given sequence of input symbols.

Parameters:

state - the source state.

input - the input symbol.

Returns:

the successor state reachable by the given sequence of input symbols, or null if no state is reachable by this symbol.

See Also:

SimpleTS.getSuccessors(Object, Iterable)

getState

S getState(Iterable<I> input)

Retrieves the state reachable by the given sequence of input symbols from the initial state.

Parameters:

input - the input word.

Returns:

the state reachable by the given input word, or null if no state is reachable by this word.

See Also:

SimpleTS.getStates(Iterable)