public class TTTHypothesisDFA<I> extends TTTHypothesis<I,Boolean,TTTState<I,Boolean>> implements DFA<TTTState<I,Boolean>,I>
TTTHypothesis.GraphView, TTTHypothesis.TTTEdge<I,D>
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
alphabet
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
TTTHypothesisDFA(Alphabet<I> alphabet) |
Modifier and Type | Method and Description |
---|---|
TTTState<I,Boolean> |
getSuccessor(TTTState<I,Boolean> transition) |
boolean |
isAccepting(TTTState<I,Boolean> state) |
protected TTTState<I,Boolean> |
mapTransition(TTTTransition<I,Boolean> internalTransition) |
protected TTTState<I,Boolean> |
newState(int alphabetSize,
TTTTransition<I,Boolean> parent,
int id) |
createState, getInitialState, getInputAlphabet, getInternalTransition, getStates, getTransition, graphView, initialize, isInitialized
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
accepts, isAccepting
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
computeOutput, computeSuffixOutput, transitionGraphView
getStateProperty, getTransitionProperty
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
transitionGraphView
public TTTState<I,Boolean> getSuccessor(TTTState<I,Boolean> transition)
getSuccessor
in interface AcceptorTS<TTTState<I,Boolean>,I>
getSuccessor
in interface TransitionSystem<TTTState<I,Boolean>,I,TTTState<I,Boolean>>
protected TTTState<I,Boolean> mapTransition(TTTTransition<I,Boolean> internalTransition)
mapTransition
in class TTTHypothesis<I,Boolean,TTTState<I,Boolean>>
protected TTTState<I,Boolean> newState(int alphabetSize, TTTTransition<I,Boolean> parent, int id)
public boolean isAccepting(TTTState<I,Boolean> state)
isAccepting
in interface AcceptorTS<TTTState<I,Boolean>,I>
Copyright © 2015. All rights reserved.