All Classes

Class	Description
AbstractQuery<I,D>
AccessSequenceProvider<I>	Common interface for objects that have an access sequence associated with them (e.g., states and transitions of a hypotheses).
AccessSequenceTransformer<I>
AutomatonOracle<A extends DeterministicAutomaton<?,I,?>,I,D>	Finds counterexamples (to particular claims) to a hypothesis, while generating words that are in the given hypothesis.
AutomatonOracle.DFAOracle<I>
AutomatonOracle.MealyOracle<I,O>
BatchInterruptedException	Exception that is thrown if a parallel batch is interrupted during processing.
BatchProcessor<T>	A markup interface for classes that can process a batch of work in a parallel environment (e.g. a MembershipOracle when used by a ParallelOracle).
BlackBoxOracle<A extends Output<I,D>,I,D>	Decides whether some words that do not satisfy properties evaluated by BlackBoxOracle.getPropertyOracles() on a given hypothesis, are included in a language.
BlackBoxOracle.DFABlackBoxOracle<I>
BlackBoxOracle.MealyBlackBoxOracle<I,O>
Category	A set of markers that allow one to categorize logging output.
ContextExecutableInput<O,C>	A context executable input is an input that performs a specific action on a SUL itself, given a specific execution context.
ContextHandler<C>	Facility for creating and disposing of contexts on which ContextExecutableInputs operate.
DefaultQuery<I,D>	A query is a container for tests a learning algorithms performs, containing the actual test and the corresponding result.
EmptinessOracle<A extends Output<I,D>,I,D>	Decides whether the intersection of the language of a given hypothesis and some other language (e.g., from a SUL) is empty.
EmptinessOracle.DFAEmptinessOracle<I>
EmptinessOracle.MealyEmptinessOracle<I,O>
EquivalenceOracle<A,I,D>	An equivalence oracle, which checks hypothesis automata against the (possibly unknown) system under learning (SUL).
EquivalenceOracle.DFAEquivalenceOracle<I>	A specialization of the EquivalenceOracle interface for a DFA learning scenario.
EquivalenceOracle.MealyEquivalenceOracle<I,O>	A specialization of the EquivalenceOracle interface for a Mealy learning scenario.
EquivalenceOracle.MooreEquivalenceOracle<I,O>	A specialization of the EquivalenceOracle interface for a Moore learning scenario.
ExecutableInput<O>	An executable input is an input that performs a specific action on a SUL itself.
GlobalSuffixLearner<M,I,D>	Common interface for learning algorithms that use a global suffix set.
GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>
GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>
InclusionOracle<A extends Output<I,D>,I,D>	Decides whether the language of a given hypothesis is included in some other language (e.g., from a SUL).
InclusionOracle.DFAInclusionOracle<I>
InclusionOracle.MealyInclusionOracle<I,O>
LassoEmptinessOracle<L extends Lasso<I,D>,I,D>	An emptiness oracle for lassos.
LassoEmptinessOracle.DFALassoEmptinessOracle<I>
LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>
LassoOracle<L extends Lasso<I,D>,I,D>	An automaton oracle for lassos.
LassoOracle.DFALassoOracle<I>
LassoOracle.MealyLassoOracle<I,O>
LearnerConstructor<L extends LearningAlgorithm<?,I,D>,I,D>	A simplified view on the constructor of a LearningAlgorithm, that only requires an Alphabet definition and a MembershipOracle.
LearningAlgorithm<M,I,D>	Basic interface for a model inference algorithm.
LearningAlgorithm.DFALearner<I>
LearningAlgorithm.MealyLearner<I,O>
LearningAlgorithm.MooreLearner<I,O>
LearningAlgorithm.NFALearner<I>
MappedException<O>	A mapped exception allows one to gracefully handle exceptions thrown, e.g., during a SUL's step method by providing information about the output symbol that should be emitted instead and subsequent outputs.
Mapper<AI,AO,CI,CO>	A mapper that lifts a SUL or MembershipOracle from an "abstract" to a "concrete" level.
Mapper.AsynchronousMapper<AI,AO,CI,CO>	A mapper refinement to establish the contract of an asynchronous, query-wise translation of input words.
Mapper.SynchronousMapper<AI,AO,CI,CO>	A mapper refinement to establish the contract of a synchronized, symbol-wise translation of input words for reactive systems.
MembershipOracle<I,D>	Membership oracle interface.
MembershipOracle.DFAMembershipOracle<I>	A specialization of the MembershipOracle that binds the output domain to Booleans.
MembershipOracle.MealyMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.
MembershipOracle.MooreMembershipOracle<I,O>	A specialization of the MembershipOracle that binds the output domain to Words of the specified output type.
ObservableSUL<S,I,O>	A System Under Learning (SUL) where at any point in time the internal state can be observed.
OmegaMembershipOracle<S,I,D>	Answers OmegaQuerys, similar to a MembershipOracle.
OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>
OmegaQuery<I,D>	A query that represents information about infinite words in an ultimately periodic pattern.
OmegaQueryAnswerer<S,I,D>	Answers OmegaQuerys.
ParallelOmegaOracle<S,I,D>	ParallelOracle equivalent for OmegaMembershipOracle.
ParallelOracle<I,D>	Basic interface for MembershipOracles that can process queries in parallel.
PassiveLearningAlgorithm<M,I,D>
PassiveLearningAlgorithm.PassiveAcceptorLearner<M extends FiniteStateAcceptor<?,I>,I>	Basic interface for passive learning algorithms that infer finite-state acceptors (DFAs or NFAs).
PassiveLearningAlgorithm.PassiveDFALearner<I>	Basic interface for passive learning algorithms that infer DFAs.
PassiveLearningAlgorithm.PassiveMealyLearner<I,O>	Basic interface for passive learning algorithms that infer Mealy machines.
PassiveLearningAlgorithm.PassiveMooreLearner<I,O>	Basic interface for passive learning algorithms that infer Moore machines.
PropertyOracle<I,A extends Output<I,D>,P,D>	A PropertyOracle can disprove a property, and used to find a counter example to a hypothesis.
PropertyOracle.DFAPropertyOracle<I,P>
PropertyOracle.MealyPropertyOracle<I,O,P>
Query<I,D>	A query is the basic form of interaction between a learner and a (membership) oracle, or teacher.
QueryAnswerer<I,D>
Resumable<T>	Data structures that implement this interface can be "suspended" by means of exposing a state object that contains all data that is necessary to resume from this state at a later point in time.
SingleQueryOmegaOracle<S,I,D>	An OmegaMembershipOracle that answers single queries.
SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>
SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>
SingleQueryOracle<I,D>	Base interface for oracles whose semantic is defined in terms of directly answering single queries (like a QueryAnswerer), and that cannot profit from batch processing of queries.
SingleQueryOracle.SingleQueryOracleDFA<I>
SingleQueryOracle.SingleQueryOracleMealy<I,O>
SingleQueryOracle.SingleQueryOracleMoore<I,O>
StateLocalInputSUL<I,O>	A System Under Learning (SUL) which can additionally report the inputs that the SUL can process in its current state, i.e. inputs that will not trigger a SULException when used in the next invocation of the SUL.step(Object) method return an otherwise "undefined" behavior.
StatisticCollector	A utility interface to indicate that the implementing class collects statistical information that may be obtained via its StatisticCollector.getStatisticalData() method.
StatisticData	Common interface for statistical data.
StatisticLearner<M,I,D>	Common interface for learners keeping statistics.
StatisticLearner.DFAStatisticLearner<I>
StatisticLearner.MealyStatisticLearner<I,O>
StatisticLearner.MooreStatisticLearner<I,O>
StatisticOracle<I,D>	Common interface for oracles keeping statistics.
StatisticSUL<I,O>
SUL<I,O>	Interface for a system under learning (SUL) that can make single steps.
SULException	Unchecked exception class that can be used by implementors of a SUL to wrap any exceptions that occur during the SUL.step(Object) methods.
SULMapper<AI,AO,CI,CO>	An extension of the Mapper interface specifically for SULs.
SymbolQueryOracle<I,O>	Symbol query interface.
ThreadPool	A markup interface for a component that manages a pool of threads that may want to be shut down after usage.
ThreadPool.PoolPolicy	The policy for dealing with thread pools.