Uses of Class
de.learnlib.datastructure.observationtable.Inconsistency

Packages that use Inconsistency

Package	Description
de.learnlib.algorithm.lstar	This package (and sub-packages) provides the implementation of the L* learning algorithm described in the paper Learning Regular Sets from Queries and Counterexamples by Dana Angluin as well as multiple variations thereof.
de.learnlib.datastructure.observationtable

Uses of Inconsistency in de.learnlib.algorithm.lstar

Methods in de.learnlib.algorithm.lstar with parameters of type Inconsistency

Modifier and Type	Method	Description
protected Word<I>	AbstractLStar.analyzeInconsistency(Inconsistency<I> incons)	Analyzes an inconsistency.

Uses of Inconsistency in de.learnlib.datastructure.observationtable

Methods in de.learnlib.datastructure.observationtable that return Inconsistency

Modifier and Type	Method	Description
default @Nullable Inconsistency<I>	ObservationTable.findInconsistency()

Methods in de.learnlib.datastructure.observationtable with parameters of type Inconsistency

Modifier and Type	Method	Description
default @Nullable Word<I>	ObservationTable.findDistinguishingSuffix(Inconsistency<I> inconsistency)
default @org.checkerframework.checker.signedness.qual.Signed int	ObservationTable.findDistinguishingSuffixIndex(Inconsistency<I> inconsistency)