Indexed Artifacts (12.9M)

Popular Categories

Group: LearnLib

Sort: popular | newest
Group LearnLib Testsupport

2. LearnLib :: API28 usages

de.learnlib » learnlib-apiApache

Infrastructure and core interfaces of LearnLib
Last Release on May 11, 2018
Infrastructure and core functionalities of LearnLib
Last Release on Jun 4, 2015
A collection of membership oracles
Last Release on May 11, 2018
Membership and equivalence oracles using an automaton model as backend
Last Release on Jun 4, 2015
A collection of standard algorithms for handling counterexamples in automata learning
Last Release on May 11, 2018
A collection of utility methods for learning setups (oracle wrappers, etc.)
Last Release on May 11, 2018
Functionality to ease writing test cases for LearnLib
Last Release on Nov 7, 2013
Caches to avoid posing duplicate membership queries
Last Release on May 11, 2018


A collection of basic algorithm for approximating equivalence queries
Last Release on Jun 4, 2015
Data- and utility classes for Discrimination Trees
Last Release on May 11, 2018
An abstract counterexample analysis framework
Last Release on May 11, 2018
A collection of equivalence oracles
Last Release on May 11, 2018
A flexible, optimized version of Dana Angluin's L* algorithm
Last Release on Jun 4, 2015
Data- and utility classes for Lists
Last Release on May 11, 2018
Data- and utility classes for Prefix-Tree-Acceptors
Last Release on May 11, 2018
Support for parallelizing membership queries
Last Release on May 11, 2018
A learning algorithm, which distinguishes hypothesis states using a discrimination tree.
Last Release on May 11, 2018
The RPNI passive learning algorithm
Last Release on May 11, 2018
A collection of utility methods to parse LearnLib specific settings
Last Release on May 11, 2018