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

Packages that use Inconsistency

Package	Description
de.learnlib.algorithms.lstar
de.learnlib.datastructure.observationtable

Uses of Inconsistency in de.learnlib.algorithms.lstar

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

Modifier and Type	Method and Description
protected net.automatalib.words.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 and Description
default Inconsistency<I>	ObservationTable.findInconsistency()

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

Modifier and Type	Method and Description
default net.automatalib.words.Word<I>	ObservationTable.findDistinguishingSuffix(Inconsistency<I> inconsistency)
default int	ObservationTable.findDistinguishingSuffixIndex(Inconsistency<I> inconsistency)