de.learnlib.datastructure.pta.pta

Class AbstractBlueFringePTA<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>>

java.lang.Object

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

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

All Implemented Interfaces:

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

Direct Known Subclasses:

BlueFringePTA

@ParametersAreNonnullByDefault
public abstract class AbstractBlueFringePTA<SP,TP,S extends AbstractBlueFringePTAState<SP,TP,S>>
extends BasePTA<SP,TP,S>

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

Modifier and Type	Field and Description
protected List<S>	redStates

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

alphabetSize, root

Constructor Summary

Constructors

Constructor and Description
AbstractBlueFringePTA(int alphabetSize, S root)

Method Summary

Modifier and Type	Method and Description
int	getNumRedStates()
S	getRedState(int id)
List<S>	getRedStates()
void	init(Consumer<? super PTATransition<S>> newBlue)
void	promote(S qb, Consumer<? super PTATransition<S>> newBlue)
Stream<S>	redStatesStream()
RedBlueMerge<SP,TP,S>	tryMerge(S qr, S qb)

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

Field Detail

redStates

@Nonnull
protected final List<S extends AbstractBlueFringePTAState<SP,TP,S>> redStates

Constructor Detail

AbstractBlueFringePTA

public AbstractBlueFringePTA(@Nonnegative
                             int alphabetSize,
                             S root)

Method Detail

getRedState

public S getRedState(@Nonnegative
                     int id)

getNumRedStates

@Nonnegative
public int getNumRedStates()

getRedStates

public List<S> getRedStates()

redStatesStream

public Stream<S> redStatesStream()

init

public void init(Consumer<? super PTATransition<S>> newBlue)

promote

public void promote(S qb,
                    Consumer<? super PTATransition<S>> newBlue)

tryMerge

public RedBlueMerge<SP,TP,S> tryMerge(S qr,
                                      S qb)