Package net.automatalib.ts

Interface TransitionSystem<S,I,T>

Type Parameters:

S - state class

I - input symbol class

T - transition class

All Superinterfaces:

SimpleTS<S,I>

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>, 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>, 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:

AbstractBricsAutomaton, AbstractCompact, AbstractCompactDeterministic, AbstractCompactMTS, AbstractCompactSimpleDeterministic, AbstractCompactSimpleNondet, AbstractDefaultSEVPA, AbstractFastMutable, AbstractFastMutableDet, AbstractFastMutableNondet, AbstractLasso, AbstractSEVPA, BricsDFA, BricsNFA, CompactDFA, CompactMealy, CompactMoore, CompactMTS, CompactNFA, CompactSST, DefaultNSEVPA, DefaultOneSEVPA, DeterministicPowersetView, DFALassoImpl, DirectPowersetDTS, DTSComposition, EmptySBA, EmptySPA, EmptySPMM, FastDFA, FastMealy, FastMoore, FastNFA, FastPowersetDTS, FastProbMealy, MealyLassoImpl, ProductOneSEVPA, StackSBA, StackSPA, StackSPMM, TSComposition, UniversalCompactDet, UniversalCompactSimpleDet

public interface TransitionSystem<S,I,T>
extends SimpleTS<S,I>

Transition system interface. This interface extends SimpleTS by introducing the concept of inspectable transitions, allowing to associate other information apart from the successor state with each transition.

Method Summary

Modifier and Type	Method	Description
S	getSuccessor(T transition)	Retrieves the successor state of a given transition.
default Set<S>	getSuccessors(S state, I input)	Retrieves the set of successors for the given input symbol.
Collection<T>	getTransitions(S state, I input)	Retrieves the transitions that can be triggered by the given input symbol.
default PowersetViewTS<?,I,?,S,T>	powersetView()	Retrieves a "powerset view" of this transition system.

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Method Detail

getSuccessors

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

Description copied from interface: SimpleTS

Retrieves the set of successors for the given input symbol.

Specified by:

getSuccessors in interface SimpleTS<S,I>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the set of successors reachable by this input.

getTransitions

Collection<T> getTransitions(S state,
                             I input)

Retrieves the transitions that can be triggered by the given input symbol.

The return value must not be null; if there are no transitions triggered by the specified input, Collections.emptySet() should be returned.

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transitions triggered by the given input

getSuccessor

S getSuccessor(T transition)

Retrieves the successor state of a given transition.

Parameters:

transition - the transition.

Returns:

the successor state.

powersetView

default PowersetViewTS<?,I,?,S,T> powersetView()

Retrieves a "powerset view" of this transition system.

Returns:

a powerset view of this transition system.