Module de.learnlib.common.counterexample

Package de.learnlib.counterexample

package de.learnlib.counterexample

This package contains a collection of standard algorithms for handling counterexamples in automata learning.

Related Packages

Module	Package	Description
de.learnlib.api	de.learnlib

Class	Description
AcexLocalSuffixFinder	Wraps a AbstractNamedAcexAnalyzer.
GlobalSuffixFinder<I,D>	Interface for a global suffix finder.
GlobalSuffixFinders	A collection of suffix-based global counterexample analyzers.
LocalSuffixFinder<I,D>	Suffix-based local counterexample analyzer.
LocalSuffixFinders	A collection of suffix-based local counterexample analyzers.