Package net.automatalib.ts.output
Interface MealyTransitionSystem<S,I,T,O>
-
- All Superinterfaces:
DeterministicOutputTS<S,I,T,O>
,DeterministicTransitionOutputTS<S,I,T,O>
,DeterministicTransitionSystem<S,I,T>
,SimpleDTS<S,I>
,SimpleTS<S,I>
,TransitionOutput<T,O>
,TransitionSystem<S,I,T>
,UniversalDTS<S,I,T,Void,O>
,UniversalTransitionSystem<S,I,T,Void,O>
- All Known Subinterfaces:
Lasso.MealyLasso<I,O>
,MealyMachine<S,I,T,O>
,MutableMealyMachine<S,I,T,O>
,SPMM<S,I,T,O>
,StateLocalInputMealyMachine<S,I,T,O>
- All Known Implementing Classes:
CompactMealy
,EmptySPMM
,FastMealy
,MealyLassoImpl
,StackSPMM
public interface MealyTransitionSystem<S,I,T,O> extends DeterministicTransitionOutputTS<S,I,T,O>, UniversalDTS<S,I,T,Void,O>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default Void
getStateProperty(S state)
Retrieves the state property for the given state.default O
getTransitionProperty(T transition)
Retrieves the transition property for the given state.-
Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.output.DeterministicTransitionOutputTS
getOutput, trace
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
Methods inherited from interface net.automatalib.automaton.concept.TransitionOutput
getTransitionOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, powersetView
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
-
-
-
Method Detail
-
getStateProperty
default Void getStateProperty(S state)
Description copied from interface:UniversalTransitionSystem
Retrieves the state property for the given state.- Specified by:
getStateProperty
in interfaceUniversalTransitionSystem<S,I,T,Void,O>
- Parameters:
state
- the state.- Returns:
- the corresponding property.
-
getTransitionProperty
default O getTransitionProperty(T transition)
Description copied from interface:UniversalTransitionSystem
Retrieves the transition property for the given state.- Specified by:
getTransitionProperty
in interfaceUniversalTransitionSystem<S,I,T,Void,O>
- Parameters:
transition
- the transition.- Returns:
- the corresponding property.
-
-