Package net.automatalib.ts
Interface TransitionSystem<S,I,T>
-
- Type Parameters:
S
- state classI
- input symbol classT
- 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:
DirectPowersetDTS
public interface TransitionSystem<S,I,T> extends SimpleTS<S,I>
Transition system interface. This interface extendsSimpleTS
by introducing the concept of inspectable transitions, allowing to associate other information apart from the successor state with each transition.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods 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 interfaceSimpleTS<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.
-
-