Package de.learnlib.datastructure.pta

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

java.lang.Object

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

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

All Implemented Interfaces:

Iterable<S>, Automaton<S,Integer,PTATransition<S>>, FiniteRepresentation, InputAlphabetHolder<Integer>, DeterministicAutomaton<S,Integer,PTATransition<S>>, FiniteAlphabetAutomaton<S,Integer,PTATransition<S>>, SimpleAutomaton<S,Integer>, SimpleDeterministicAutomaton<S,Integer>, UniversalAutomaton<S,Integer,PTATransition<S>,SP,TP>, UniversalDeterministicAutomaton<S,Integer,PTATransition<S>,SP,TP>, GraphViewable, 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

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

Nested Class Summary

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

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

Field Summary

Fields

Modifier and Type	Field	Description
protected List<S>	redStates

Constructor Summary

Constructors

Constructor	Description
AbstractBlueFringePTA(int alphabetSize, S root)

Method Summary

Modifier and Type	Method	Description
@org.checkerframework.checker.index.qual.NonNegative int	getNumRedStates()
S	getRedState(@org.checkerframework.checker.index.qual.NonNegative int id)
List<S>	getRedStates()
void	init(Consumer<? super PTATransition<S>> newBlue)
void	promote(S qb, Consumer<? super PTATransition<S>> newBlue)
@Nullable RedBlueMerge<S,SP,TP>	tryMerge(S qr, S qb)

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

addSample, addSampleWithStateProperties, addSampleWithTransitionProperties, getInitialState, getInputAlphabet, getOrCreateState, getRoot, getStateProperty, getStates, getSuccessor, getSuccessor, getTransition, getTransitionProperty, iterator, transitionGraphView

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessors, getTransitions

Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton

getTransitions, graphView, transitionGraphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

createDynamicStateMapping, createStaticStateMapping, size, stateIDs

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

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

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Field Detail

redStates

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

Constructor Detail

AbstractBlueFringePTA

public AbstractBlueFringePTA(int alphabetSize,
                             S root)

Method Detail

getRedState

public S getRedState(@org.checkerframework.checker.index.qual.NonNegative int id)

getNumRedStates

public @org.checkerframework.checker.index.qual.NonNegative int getNumRedStates()

getRedStates

public List<S> getRedStates()

init

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

promote

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

tryMerge

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