public class BlueFringePTA<SP,TP> extends AbstractBlueFringePTA<SP,TP,BlueFringePTAState<SP,TP>>
net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
redStates
alphabetSize, root
Constructor and Description |
---|
BlueFringePTA(int alphabetSize) |
getNumRedStates, getRedState, getRedStates, init, promote, redStatesStream, tryMerge
addSample, addSampleWithStateProperties, addSampleWithTransitionProperties, bfsIterator, bfsStates, countStates, getInitialState, getOrCreateState, getRoot, getState, getStateProperty, getStates, getSuccessor, getSuccessor, getTransition, getTransitionProperty, graphView, iterator, size, toAutomaton, toAutomaton
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
fullIntAbstraction, fullIntAbstraction, stateIntAbstraction
getSuccessors, getTransitions, transToSet
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createStaticStateMapping, stateIDs
forEach, spliterator
Copyright © 2018. All rights reserved.