Uses of Class
de.learnlib.algorithm.observationpack.hypothesis.HTransition

Packages that use HTransition

Package	Description
de.learnlib.algorithm.observationpack	This package (and sub-packages) provides the implementation of the Observation-Pack learning algorithm as described in the PhD thesis Active learning of interface programs by Falk Howar.
de.learnlib.algorithm.observationpack.dfa
de.learnlib.algorithm.observationpack.hypothesis
de.learnlib.algorithm.observationpack.mealy
de.learnlib.algorithm.observationpack.moore

Uses of HTransition in de.learnlib.algorithm.observationpack

Methods in de.learnlib.algorithm.observationpack with parameters of type HTransition

Modifier and Type	Method	Description
protected HState<I,D,SP,TP>	AbstractOPLearner.createState(HTransition<I,D,SP,TP> trans)
protected abstract @Nullable Query<I,D>	AbstractOPLearner.tpQuery(HTransition<I,D,SP,TP> transition)

Uses of HTransition in de.learnlib.algorithm.observationpack.dfa

Methods in de.learnlib.algorithm.observationpack.dfa with parameters of type HTransition

Modifier and Type	Method	Description
protected @Nullable Query<I,Boolean>	OPLearnerDFA.tpQuery(HTransition<I,Boolean,Boolean,Void> transition)

Uses of HTransition in de.learnlib.algorithm.observationpack.hypothesis

Methods in de.learnlib.algorithm.observationpack.hypothesis that return HTransition

Modifier and Type	Method	Description
HTransition<I,O,SP,TP>	HState.getTransition(int transIdx)
HTransition<I,O,SP,TP>	OPLearnerHypothesis.getTransition(HState<I,O,SP,TP> state, I symbol)
@Nullable HTransition<I,O,SP,TP>	HState.getTreeIncoming()

Methods in de.learnlib.algorithm.observationpack.hypothesis that return types with arguments of type HTransition

Modifier and Type	Method	Description
Collection<HTransition<I,O,SP,TP>>	OPLearnerHypothesis.GraphView.getOutgoingEdges(HState<I,O,SP,TP> node)
Collection<HTransition<I,O,SP,TP>>	HState.getOutgoingTransitions()
VisualizationHelper<HState<I,O,SP,TP>,HTransition<I,O,SP,TP>>	OPLearnerHypothesis.GraphView.getVisualizationHelper()

Methods in de.learnlib.algorithm.observationpack.hypothesis with parameters of type HTransition

Modifier and Type	Method	Description
void	HState.addNonTreeIncoming(HTransition<I,O,SP,TP> trans)
HState<I,O,SP,TP>	OPLearnerHypothesis.createState(HTransition<I,O,SP,TP> treeIncoming)
HState<I,O,SP,TP>	OPLearnerHypothesis.getSuccessor(HTransition<I,O,SP,TP> trans)
HState<I,O,SP,TP>	OPLearnerHypothesis.GraphView.getTarget(HTransition<I,O,SP,TP> edge)
TP	OPLearnerHypothesis.getTransitionProperty(HTransition<I,O,SP,TP> trans)
void	HState.setTransition(int transIdx, HTransition<I,O,SP,TP> transition)

Method parameters in de.learnlib.algorithm.observationpack.hypothesis with type arguments of type HTransition

Modifier and Type	Method	Description
void	HState.fetchNonTreeIncoming(Collection<? super HTransition<I,O,SP,TP>> target)

Constructors in de.learnlib.algorithm.observationpack.hypothesis with parameters of type HTransition

Constructor	Description
HState(int initialAlphabetSize, int id, @Nullable HTransition<I,O,SP,TP> treeIncoming)

Uses of HTransition in de.learnlib.algorithm.observationpack.mealy

Methods in de.learnlib.algorithm.observationpack.mealy with parameters of type HTransition

Modifier and Type	Method	Description
protected Query<I,Word<O>>	OPLearnerMealy.tpQuery(HTransition<I,Word<O>,Void,O> transition)

Uses of HTransition in de.learnlib.algorithm.observationpack.moore

Methods in de.learnlib.algorithm.observationpack.moore with parameters of type HTransition

Modifier and Type	Method	Description
protected @Nullable Query<I,Word<O>>	OPLearnerMoore.tpQuery(HTransition<I,Word<O>,O,Void> transition)