Uses of Interface
de.learnlib.acex.AbstractCounterexample

Packages that use AbstractCounterexample

Package	Description
de.learnlib.acex
de.learnlib.acex.analyzers
de.learnlib.acex.impl
de.learnlib.algorithms.discriminationtree.vpda
de.learnlib.algorithms.kv.dfa
de.learnlib.algorithms.kv.mealy
de.learnlib.counterexamples.acex

Uses of AbstractCounterexample in de.learnlib.acex

Methods in de.learnlib.acex with parameters of type AbstractCounterexample

Modifier and Type	Method and Description
default int	AcexAnalyzer.analyzeAbstractCounterexample(AbstractCounterexample<?> acex) Analyzes an abstract counterexample.
default int	AcexAnalyzer.analyzeAbstractCounterexample(AbstractCounterexample<?> acex, int low)
int	AcexAnalyzer.analyzeAbstractCounterexample(AbstractCounterexample<?> acex, int low, int high)

Uses of AbstractCounterexample in de.learnlib.acex.analyzers

Methods in de.learnlib.acex.analyzers with parameters of type AbstractCounterexample

Modifier and Type	Method and Description
static <E> int	AcexAnalysisAlgorithms.binarySearchLeft(AbstractCounterexample<E> acex, int low, int high)
static <E> int	AcexAnalysisAlgorithms.binarySearchRight(AbstractCounterexample<E> acex, int low, int high) Search for a suffix index using a binary search.
static <E> int	AcexAnalysisAlgorithms.exponentialSearchBwd(AbstractCounterexample<E> acex, int low, int high) Search for a suffix index using an exponential search.
static <E> int	AcexAnalysisAlgorithms.exponentialSearchFwd(AbstractCounterexample<E> acex, int low, int high)
static <E> int	AcexAnalysisAlgorithms.linearSearchBwd(AbstractCounterexample<E> acex, int low, int high) Scan linearly through the counterexample in descending order.
static <E> int	AcexAnalysisAlgorithms.linearSearchFwd(AbstractCounterexample<E> acex, int low, int high) Scan linearly through the counterexample in ascending order.

Uses of AbstractCounterexample in de.learnlib.acex.impl

Classes in de.learnlib.acex.impl that implement AbstractCounterexample

Modifier and Type	Class and Description
class	AbstractBaseCounterexample<E>

Uses of AbstractCounterexample in de.learnlib.algorithms.discriminationtree.vpda

Classes in de.learnlib.algorithms.discriminationtree.vpda that implement AbstractCounterexample

Modifier and Type	Class and Description
protected class	DTLearnerVPDA.PrefixTransformAcex

Uses of AbstractCounterexample in de.learnlib.algorithms.kv.dfa

Classes in de.learnlib.algorithms.kv.dfa that implement AbstractCounterexample

Modifier and Type	Class and Description
protected class	KearnsVaziraniDFA.KVAbstractCounterexample

Uses of AbstractCounterexample in de.learnlib.algorithms.kv.mealy

Classes in de.learnlib.algorithms.kv.mealy that implement AbstractCounterexample

Modifier and Type	Class and Description
protected class	KearnsVaziraniMealy.KVAbstractCounterexample

Uses of AbstractCounterexample in de.learnlib.counterexamples.acex

Classes in de.learnlib.counterexamples.acex that implement AbstractCounterexample

Modifier and Type	Class and Description
class	ClassicPrefixTransformAcex<I,D> An abstract counterexample based on prefix transformations.
class	MealyOutInconsPrefixTransformAcex<I,O>
class	OutInconsPrefixTransformAcex<I,D> An abstract counterexample for output inconsistencies, based on prefix transformations.