All Packages

Package Summary

Package	Description
de.learnlib
de.learnlib.acex	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.algorithm	This package contains the basic interfaces and classes of learning algorithms of LearnLib.
de.learnlib.algorithm.aaar
de.learnlib.algorithm.aaar.abstraction
de.learnlib.algorithm.aaar.explicit
de.learnlib.algorithm.aaar.generic
de.learnlib.algorithm.adt.ads
de.learnlib.algorithm.adt.adt
de.learnlib.algorithm.adt.api
de.learnlib.algorithm.adt.automaton
de.learnlib.algorithm.adt.config
de.learnlib.algorithm.adt.learner
de.learnlib.algorithm.adt.model
de.learnlib.algorithm.adt.util
de.learnlib.algorithm.dhc.mealy
de.learnlib.algorithm.kv
de.learnlib.algorithm.kv.dfa
de.learnlib.algorithm.kv.mealy
de.learnlib.algorithm.lambda.lstar
de.learnlib.algorithm.lambda.ttt
de.learnlib.algorithm.lambda.ttt.dfa
de.learnlib.algorithm.lambda.ttt.dt
de.learnlib.algorithm.lambda.ttt.mealy
de.learnlib.algorithm.lambda.ttt.pt
de.learnlib.algorithm.lambda.ttt.st
de.learnlib.algorithm.lsharp
de.learnlib.algorithm.lsharp.ads
de.learnlib.algorithm.lstar
de.learnlib.algorithm.lstar.ce
de.learnlib.algorithm.lstar.closing
de.learnlib.algorithm.lstar.dfa
de.learnlib.algorithm.lstar.mealy
de.learnlib.algorithm.lstar.moore
de.learnlib.algorithm.malerpnueli
de.learnlib.algorithm.nlstar
de.learnlib.algorithm.observationpack
de.learnlib.algorithm.observationpack.dfa
de.learnlib.algorithm.observationpack.hypothesis
de.learnlib.algorithm.observationpack.mealy
de.learnlib.algorithm.observationpack.moore
de.learnlib.algorithm.observationpack.vpa
de.learnlib.algorithm.observationpack.vpa.hypothesis
de.learnlib.algorithm.ostia
de.learnlib.algorithm.procedural
de.learnlib.algorithm.procedural.adapter.dfa
de.learnlib.algorithm.procedural.adapter.mealy
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.sba.manager
de.learnlib.algorithm.procedural.spa
de.learnlib.algorithm.procedural.spa.manager
de.learnlib.algorithm.procedural.spmm
de.learnlib.algorithm.procedural.spmm.manager
de.learnlib.algorithm.rivestschapire
de.learnlib.algorithm.rpni
de.learnlib.algorithm.ttt.base
de.learnlib.algorithm.ttt.dfa
de.learnlib.algorithm.ttt.mealy
de.learnlib.algorithm.ttt.moore
de.learnlib.algorithm.ttt.vpa
de.learnlib.counterexample	This package contains a collection of standard algorithms for handling counterexamples in automata learning.
de.learnlib.datastructure.discriminationtree
de.learnlib.datastructure.discriminationtree.iterators
de.learnlib.datastructure.discriminationtree.model
de.learnlib.datastructure.list
de.learnlib.datastructure.observationtable
de.learnlib.datastructure.observationtable.reader
de.learnlib.datastructure.observationtable.writer
de.learnlib.datastructure.pta
de.learnlib.datastructure.pta.config
de.learnlib.datastructure.pta.visualization
de.learnlib.datastructure.pta.wrapper
de.learnlib.driver
de.learnlib.driver.reflect
de.learnlib.driver.simulator
de.learnlib.exception
de.learnlib.filter.cache
de.learnlib.filter.cache.dfa
de.learnlib.filter.cache.mealy
de.learnlib.filter.cache.moore
de.learnlib.filter.cache.sul
de.learnlib.filter.reuse
de.learnlib.filter.reuse.tree
de.learnlib.filter.statistic
de.learnlib.filter.statistic.learner
de.learnlib.filter.statistic.oracle
de.learnlib.filter.statistic.sul
de.learnlib.logging
de.learnlib.mapper
de.learnlib.oracle	This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.
de.learnlib.oracle.emptiness
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.sba
de.learnlib.oracle.equivalence.spa
de.learnlib.oracle.equivalence.spmm
de.learnlib.oracle.equivalence.vpa
de.learnlib.oracle.membership
de.learnlib.oracle.parallelism
de.learnlib.oracle.property
de.learnlib.query
de.learnlib.setting
de.learnlib.setting.sources
de.learnlib.statistic
de.learnlib.sul	This package (and related packages) contains interfaces and classes for formalizing access to systems under learning (SULs).
de.learnlib.testsupport
de.learnlib.testsupport.example
de.learnlib.testsupport.example.dfa
de.learnlib.testsupport.example.mealy
de.learnlib.testsupport.example.moore
de.learnlib.testsupport.example.sba
de.learnlib.testsupport.example.spa
de.learnlib.testsupport.example.spmm
de.learnlib.testsupport.example.sst
de.learnlib.testsupport.example.vpa
de.learnlib.testsupport.it.learner
de.learnlib.util
de.learnlib.util.mealy
de.learnlib.util.moore
de.learnlib.util.nfa
de.learnlib.util.statistic