Group: de.learnlib - All Dependencies

LearnLib :: API · Infrastructure and core interfaces of LearnLib

LearnLib :: Core · Infrastructure and core functionalities of LearnLib

LearnLib :: Oracles :: Membership Oracles · A collection of membership oracles

LearnLib :: Commons :: Util · A collection of utility methods for learning setups (oracle wrappers, etc.)

LearnLib :: Simulator · Membership and equivalence oracles using an automaton model as backend

LearnLib :: Commons :: Counterexamples · A collection of standard algorithms for handling counterexamples in automata learning

LearnLib :: Equivalence Tests :: Basic Tests · A collection of basic algorithm for approximating equivalence queries

LearnLib :: Drivers :: Simulator · Utilities for simulating SULs

LearnLib :: Filters :: Cache · Caches to avoid posing duplicate membership queries

LearnLib :: Commons :: Abstract Counterexamples · An abstract counterexample analysis framework

LearnLib :: Oracles :: Equivalence Oracles · A collection of equivalence oracles

LearnLib :: Datastructures :: Discrimination Tree · Data- and utility classes for Discrimination Trees

LearnLib :: Algorithms :: Generic L* · A flexible, optimized version of Dana Angluin's L* algorithm

LearnLib :: Oracles :: Parallelism · Support for parallelizing membership queries

LearnLib :: Datastructures :: PTA · Data- and utility classes for Prefix-Tree-Acceptors

LearnLib :: Datastructures :: List · Data- and utility classes for Lists

LearnLib :: Annotation Processor · Annotations and processors for the LearnLib build process

LearnLib :: Algorithms :: Discrimination Tree · A learning algorithm, which distinguishes hypothesis states using a discrimination tree.

LearnLib :: Algorithms :: Algorithm Features · Common interfaces providing features supported by various learning algorithms

LearnLib :: Filters :: Statistics · Filters for collecting statistical data

LearnLib :: Algorithms :: RPNI · The RPNI passive learning algorithm

LearnLib :: Filters :: Reuse · Reuse Tree for (intelligently) caching membership queries

LearnLib :: Drivers :: Mapper · Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols

LearnLib :: Drivers :: Basic · Basic Test Driver Generation Support