public class IncrementalMealyDAGBuilder.AutomatonView extends Object implements MealyTransitionSystem<State<O>,I,TransitionRecord<O>,O>
Constructor and Description |
---|
AutomatonView() |
Modifier and Type | Method and Description |
---|---|
State<O> |
getInitialState()
Retrieves the initial state of this transition system.
|
State<O> |
getSuccessor(TransitionRecord<O> transition)
Retrieves the successor state of a given transition.
|
@Nullable TransitionRecord<O> |
getTransition(State<O> state,
I input)
Retrieves the transition triggered by the given input symbol.
|
O |
getTransitionOutput(TransitionRecord<O> transition) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStateProperty, getTransitionProperty
getOutput, trace
trace
getSuccessor, getSuccessors, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
getTransitionProperty
public State<O> getSuccessor(TransitionRecord<O> transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<State<O>,I,TransitionRecord<O>>
transition
- the transition.public State<O> getInitialState()
SimpleDTS
getInitialState
in interface SimpleDTS<State<O>,I>
SimpleTS.getInitialStates()
public @Nullable TransitionRecord<O> getTransition(State<O> state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<State<O>,I,TransitionRecord<O>>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public O getTransitionOutput(TransitionRecord<O> transition)
getTransitionOutput
in interface TransitionOutput<TransitionRecord<O>,O>
Copyright © 2020. All rights reserved.