public class IncrementalMealyTreeBuilder.TransitionSystemView extends AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,net.automatalib.incremental.mealy.tree.Edge<I,O>>
| Constructor and Description |
|---|
IncrementalMealyTreeBuilder.TransitionSystemView() |
| Modifier and Type | Method and Description |
|---|---|
net.automatalib.incremental.mealy.tree.Node<I,O> |
getInitialState() |
net.automatalib.incremental.mealy.tree.Node<I,O> |
getSuccessor(net.automatalib.incremental.mealy.tree.Edge<I,O> transition) |
net.automatalib.incremental.mealy.tree.Edge<I,O> |
getTransition(net.automatalib.incremental.mealy.tree.Node<I,O> state,
I input) |
O |
getTransitionOutput(net.automatalib.incremental.mealy.tree.Edge<I,O> transition) |
getOutput, getStateProperty, getTransitionProperty, trace, tracegetInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitionscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetTransitions, powersetViewgetState, getSuccessor, getSuccessorcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorspublic IncrementalMealyTreeBuilder.TransitionSystemView()
public net.automatalib.incremental.mealy.tree.Edge<I,O> getTransition(net.automatalib.incremental.mealy.tree.Node<I,O> state, I input)
public net.automatalib.incremental.mealy.tree.Node<I,O> getSuccessor(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)
public net.automatalib.incremental.mealy.tree.Node<I,O> getInitialState()
public O getTransitionOutput(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)
Copyright © 2014. All Rights Reserved.