Module de.learnlib.datastructure

Package de.learnlib.datastructure.pta

Class BlueFringePTA<SP,TP>

java.lang.Object

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

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

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

All Implemented Interfaces:

Iterable<BlueFringePTAState<SP,TP>>, net.automatalib.automaton.Automaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, net.automatalib.automaton.concept.FiniteRepresentation, net.automatalib.automaton.concept.InputAlphabetHolder<Integer>, net.automatalib.automaton.DeterministicAutomaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, net.automatalib.automaton.FiniteAlphabetAutomaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, net.automatalib.automaton.simple.SimpleAutomaton<BlueFringePTAState<SP,TP>,Integer>, net.automatalib.automaton.simple.SimpleDeterministicAutomaton<BlueFringePTAState<SP,TP>,Integer>, net.automatalib.automaton.UniversalAutomaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>, net.automatalib.automaton.UniversalDeterministicAutomaton<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>, net.automatalib.graph.concept.GraphViewable, net.automatalib.ts.DeterministicTransitionSystem<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, net.automatalib.ts.simple.SimpleDTS<BlueFringePTAState<SP,TP>,Integer>, net.automatalib.ts.simple.SimpleTS<BlueFringePTAState<SP,TP>,Integer>, net.automatalib.ts.TransitionSystem<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>>, net.automatalib.ts.UniversalDTS<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>, net.automatalib.ts.UniversalTransitionSystem<BlueFringePTAState<SP,TP>,Integer,PTATransition<BlueFringePTAState<SP,TP>>,SP,TP>

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

Nested Class Summary

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

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

Field Summary

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

redStates

Constructor Summary

Constructors

Constructor	Description
BlueFringePTA(int alphabetSize)

Method Summary

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

getNumRedStates, getRedState, getRedStates, getVisualizationHelper, init, promote, tryMerge

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, powersetView

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

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

getSuccessors

Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

BlueFringePTA

public BlueFringePTA(int alphabetSize)