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
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitions, powersetView
getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, 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.