Group: LearnLib

Infrastructure and core interfaces of LearnLib

Group LearnLib Testsupport

A collection of membership oracles

A collection of utility methods for learning setups (oracle wrappers, etc.)

Infrastructure and core functionalities of LearnLib

A collection of standard algorithms for handling counterexamples in automata learning

Data- and utility classes for Discrimination Trees

An abstract counterexample analysis framework

Utilities for simulating SULs

Membership and equivalence oracles using an automaton model as backend

A collection of equivalence oracles

Caches to avoid posing duplicate membership queries

Data- and utility classes for Prefix-Tree-Acceptors

Data- and utility classes for Lists

Functionality to ease writing test cases for LearnLib

A collection of basic algorithm for approximating equivalence queries

The RPNI passive learning algorithm

Filters for collecting statistical data

Support for parallelizing membership queries

A collection of utility methods to parse LearnLib specific settings