Module de.learnlib.oracle.equivalence

module de.learnlib.oracle.equivalence

This module provides a collection of equivalence oracles.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.oracle.equivalence	All Modules	All Modules
de.learnlib.oracle.equivalence.mealy	All Modules	All Modules
de.learnlib.oracle.equivalence.mmlt	All Modules	All Modules
de.learnlib.oracle.equivalence.sba	All Modules	All Modules
de.learnlib.oracle.equivalence.spa	All Modules	All Modules
de.learnlib.oracle.equivalence.spmm	All Modules	All Modules
de.learnlib.oracle.equivalence.vpa	All Modules	All Modules