Documentation for lernen (0.3.0)

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

ATRManager (Lernen::Algorithm::Procedural)
Acex (Lernen::Algorithm::CexProcessor)
Algorithm (Lernen)
Automaton (Lernen)

B

BlockSUL (Lernen::System)

C

CexProcessor (Lernen::Algorithm)
CombinedOracle (Lernen::Equiv)

D

DFA (Lernen::Automaton)
DiscriminationTree (Lernen::Algorithm::KearnsVazirani)
DiscriminationTreeVPA (Lernen::Algorithm::KearnsVaziraniVPA)

E

Equiv (Lernen)
ExhaustiveSearchOracle (Lernen::Equiv)

G

Graph (Lernen)

K

KearnsVazirani (Lernen::Algorithm)
KearnsVaziraniLearner (Lernen::Algorithm::KearnsVazirani)
KearnsVaziraniVPA (Lernen::Algorithm)
KearnsVaziraniVPALearner (Lernen::Algorithm::KearnsVaziraniVPA)

L

LSharp (Lernen::Algorithm)
LSharpLearner (Lernen::Algorithm::LSharp)
LStar (Lernen::Algorithm)
LStarLearner (Lernen::Algorithm::LStar)
Learner (Lernen::Algorithm)
Lernen

M

Mealy (Lernen::Automaton)
Moore (Lernen::Automaton)
MooreLike (Lernen::Automaton)
MooreLikeSUL (Lernen::System)
MooreLikeSimulator (Lernen::System)
MooreLikeSimulatorOracle (Lernen::Equiv)

O

ObservationTable (Lernen::Algorithm::LStar)
ObservationTree (Lernen::Algorithm::LSharp)
Oracle (Lernen::Equiv)

P

PrefixTransformerAcex (Lernen::Algorithm::CexProcessor)
ProcUtil (Lernen::Automaton)
Procedural (Lernen::Algorithm)
ProceduralLearner (Lernen::Algorithm::Procedural)
ProceduralSUL (Lernen::Algorithm::Procedural)

R

RandomWalkOracle (Lernen::Equiv)
RandomWellMatchedWordOracle (Lernen::Equiv)
RandomWordOracle (Lernen::Equiv)
ReturnIndicesAcex (Lernen::Algorithm::Procedural)

S

SPA (Lernen::Automaton)
SPASimulatorOracle (Lernen::Equiv)
SUL (Lernen::System)
System (Lernen)

T

TestWordsOracle (Lernen::Equiv)
TransitionSystem (Lernen::Automaton)
TransitionSystemSimulator (Lernen::System)
TransitionSystemSimulatorOracle (Lernen::Equiv)

V

VPA (Lernen::Automaton)
VPASimulatorOracle (Lernen::Equiv)