public class AbstractIncrementalDFADAGBuilder.TransitionSystemView extends AbstractIncrementalDFABuilder.AbstractTransitionSystemView<net.automatalib.incremental.dfa.dag.State,I,net.automatalib.incremental.dfa.dag.State>
Constructor and Description |
---|
TransitionSystemView() |
Modifier and Type | Method and Description |
---|---|
Acceptance |
getAcceptance(net.automatalib.incremental.dfa.dag.State state) |
net.automatalib.incremental.dfa.dag.State |
getInitialState()
Retrieves the initial state of this transition system.
|
net.automatalib.incremental.dfa.dag.State |
getSuccessor(net.automatalib.incremental.dfa.dag.State transition)
Retrieves the successor state of a given transition.
|
net.automatalib.incremental.dfa.dag.State |
getTransition(net.automatalib.incremental.dfa.dag.State state,
I input)
Retrieves the transition triggered by the given input symbol.
|
getStateProperty, getTransitionProperty
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessor, getSuccessors, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
public net.automatalib.incremental.dfa.dag.State getSuccessor(net.automatalib.incremental.dfa.dag.State transition)
TransitionSystem
transition
- the transition.public net.automatalib.incremental.dfa.dag.State getTransition(net.automatalib.incremental.dfa.dag.State state, I input)
DeterministicTransitionSystem
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public net.automatalib.incremental.dfa.dag.State getInitialState()
SimpleDTS
SimpleTS.getInitialStates()
@Nonnull public Acceptance getAcceptance(net.automatalib.incremental.dfa.dag.State state)
Copyright © 2015. All rights reserved.