de.learnlib.datastructure.pta.pta

Class BlueFringePTA<SP,TP>

java.lang.Object

de.learnlib.datastructure.pta.pta.BasePTA<SP,TP,S>

de.learnlib.datastructure.pta.pta.AbstractBlueFringePTA<SP,TP,BlueFringePTAState<SP,TP>>

de.learnlib.datastructure.pta.pta.BlueFringePTA<SP,TP>

All Implemented Interfaces:

Iterable<BlueFringePTAState<SP,TP>>, Automaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, DeterministicAutomaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, SimpleAutomaton<BlueFringePTAState<SP,TP>,Integer>, SimpleDeterministicAutomaton<BlueFringePTAState<SP,TP>,Integer>, UniversalAutomaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>, UniversalDeterministicAutomaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>, DeterministicTransitionSystem<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, SimpleDTS<BlueFringePTAState<SP,TP>,Integer>, SimpleTS<BlueFringePTAState<SP,TP>,Integer>, TransitionSystem<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, UniversalDTS<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>, UniversalTransitionSystem<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>

public class BlueFringePTA<SP,TP>
extends AbstractBlueFringePTA<SP,TP,BlueFringePTAState<SP,TP>>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton

UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>

Field Summary

Fields inherited from class de.learnlib.datastructure.pta.pta.AbstractBlueFringePTA

redStates

Fields inherited from class de.learnlib.datastructure.pta.pta.BasePTA

alphabetSize, root

Constructor Summary

Constructors

Constructor and Description
BlueFringePTA(int alphabetSize)

Method Summary

Methods inherited from class de.learnlib.datastructure.pta.pta.AbstractBlueFringePTA

getNumRedStates, getRedState, getRedStates, init, promote, redStatesStream, tryMerge

Methods inherited from class de.learnlib.datastructure.pta.pta.BasePTA

addSample, addSampleWithStateProperties, addSampleWithTransitionProperties, bfsIterator, bfsStates, countStates, getInitialState, getOrCreateState, getRoot, getState, getStateProperty, getStates, getSuccessor, getSuccessor, getTransition, getTransitionProperty, graphView, iterator, size, toAutomaton, toAutomaton

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessors, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

createStaticStateMapping, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, getSuccessors

Constructor Detail

BlueFringePTA

public BlueFringePTA(int alphabetSize)