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>, FiniteStateAcceptor<S,I>, IncrementalDFABuilder.TransitionSystemView<S,I,T>, Lasso<I,D>, Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MealyTransitionSystem<S,I,T,O>, 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>, MutableMooreMachine<S,I,T,O>, MutableNFA<S,I>, MutableProbabilisticMealy<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>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>, StateLocalInputMealyMachine<S,I,T,O>, StateOutputAutomaton<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, AbstractCompactSimpleDeterministic, AbstractCompactSimpleNondet, AbstractFastMutable, AbstractFastMutableDet, AbstractFastMutableNondet, AbstractIncrementalDFABuilder.AbstractTransitionSystemView, AbstractIncrementalDFADAGBuilder.TransitionSystemView, AbstractIncrementalMealyTreeBuilder.TransitionSystemView, AbstractLasso, AbstractOneSEVPA, BricsDFA, BricsNFA, CompactDFA, CompactMealy, CompactMoore, CompactNFA, DefaultOneSEVPA, DetAcceptorComposition, DeterministicPowersetView, DetMealyComposition, DFALassoImpl, DirectPowersetDTS, DTSComposition, FastDFA, FastMealy, FastMoore, FastNFA, FastPowersetDTS, FastProbMealy, IncrementalDFATreeBuilder.TransitionSystemView, IncrementalMealyDAGBuilder.AutomatonView, IncrementalPCDFATreeBuilder.TransitionSystemView, MealyLassoImpl, ProductOneSEVPA, TSComposition, 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.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and 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.