Module de.learnlib.common.counterexample

module de.learnlib.common.counterexample

This module provides a collection of algorithms for handling counterexamples in automata learning.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>de.learnlib</groupId>
   <artifactId>learnlib-counterexamples</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.acex	All Modules	All Modules	This package provides interfaces and classes for the abstract counterexample analysis framework described in the paper An Abstract Framework for Counterexample Analysis in Active Automata Learning by Malte Isberner and Bernhard Steffen.
de.learnlib.counterexample	All Modules	All Modules	This package contains a collection of standard algorithms for handling counterexamples in automata learning.