A C D F G H I M P R S
All Classes All Packages

A

AbstractStatisticData - Class in de.learnlib.filter.statistic

Common interface for statistical data.

AbstractStatisticData(String, String) - Constructor for class de.learnlib.filter.statistic.AbstractStatisticData

addDataPoint(Long) - Method in class de.learnlib.filter.statistic.HistogramDataSet

C

canFork() - Method in class de.learnlib.filter.statistic.sul.CounterSUL

Counter - Class in de.learnlib.filter.statistic

A simple counter.

Counter(String, String) - Constructor for class de.learnlib.filter.statistic.Counter

CounterAdaptiveQueryOracle<I,O> - Class in de.learnlib.filter.statistic.oracle

A simple wrapper for counting the number of resets and symbols of an AdaptiveMembershipOracle.

CounterAdaptiveQueryOracle(AdaptiveMembershipOracle<I, O>) - Constructor for class de.learnlib.filter.statistic.oracle.CounterAdaptiveQueryOracle

CounterCollection - Class in de.learnlib.filter.statistic

A collection of counters.

CounterCollection(Counter...) - Constructor for class de.learnlib.filter.statistic.CounterCollection

CounterObservableSUL<S,I,O> - Class in de.learnlib.filter.statistic.sul

CounterObservableSUL(ObservableSUL<S, I, O>) - Constructor for class de.learnlib.filter.statistic.sul.CounterObservableSUL

CounterOracle<I,D> - Class in de.learnlib.filter.statistic.oracle

A MembershipOracle that counts both the number of queries and the total number of symbols occurring in all those queries.

CounterOracle(MembershipOracle<I, D>) - Constructor for class de.learnlib.filter.statistic.oracle.CounterOracle

CounterStateLocalInputSUL<I,O> - Class in de.learnlib.filter.statistic.sul

CounterStateLocalInputSUL(StateLocalInputSUL<I, O>) - Constructor for class de.learnlib.filter.statistic.sul.CounterStateLocalInputSUL

CounterSUL<I,O> - Class in de.learnlib.filter.statistic.sul

CounterSUL(SUL<I, O>) - Constructor for class de.learnlib.filter.statistic.sul.CounterSUL

CounterSUL(SUL<I, O>, Counter, Counter) - Constructor for class de.learnlib.filter.statistic.sul.CounterSUL

currentlyEnabledInputs() - Method in class de.learnlib.filter.statistic.sul.CounterStateLocalInputSUL

D

de.learnlib.filter.statistic - package de.learnlib.filter.statistic

de.learnlib.filter.statistic.learner - package de.learnlib.filter.statistic.learner

de.learnlib.filter.statistic.oracle - package de.learnlib.filter.statistic.oracle

de.learnlib.filter.statistic.sul - package de.learnlib.filter.statistic.sul

deepCopies() - Method in class de.learnlib.filter.statistic.sul.CounterObservableSUL

DFACounterOracle<I> - Class in de.learnlib.filter.statistic.oracle

A type-specific refinement of CounterOracle.

DFACounterOracle(MembershipOracle.DFAMembershipOracle<I>) - Constructor for class de.learnlib.filter.statistic.oracle.DFACounterOracle

Delegates to CounterOracle(MembershipOracle).

DFAHistogramOracle<I> - Class in de.learnlib.filter.statistic.oracle

A type-specific refinement of HistogramOracle.

DFAHistogramOracle(MembershipOracle.DFAMembershipOracle<I>, String) - Constructor for class de.learnlib.filter.statistic.oracle.DFAHistogramOracle

Delegates to HistogramOracle(MembershipOracle, String).

DFARefinementCounterLearner<I> - Class in de.learnlib.filter.statistic.learner

A type-specific refinement of RefinementCounterLearner.

DFARefinementCounterLearner(LearningAlgorithm.DFALearner<I>) - Constructor for class de.learnlib.filter.statistic.learner.DFARefinementCounterLearner

Delegates to RefinementCounterLearner(LearningAlgorithm).

F

fork() - Method in class de.learnlib.filter.statistic.sul.CounterObservableSUL

fork() - Method in class de.learnlib.filter.statistic.sul.CounterStateLocalInputSUL

fork() - Method in class de.learnlib.filter.statistic.sul.CounterSUL

G

getCount() - Method in class de.learnlib.filter.statistic.Counter

getDetails() - Method in class de.learnlib.filter.statistic.Counter

getDetails() - Method in class de.learnlib.filter.statistic.CounterCollection

getDetails() - Method in class de.learnlib.filter.statistic.HistogramDataSet

getHistogram() - Method in class de.learnlib.filter.statistic.HistogramDataSet

getHypothesisModel() - Method in class de.learnlib.filter.statistic.learner.RefinementCounterLearner

getInputCounter() - Method in class de.learnlib.filter.statistic.sul.CounterStateLocalInputSUL

getMean() - Method in class de.learnlib.filter.statistic.HistogramDataSet

getMedian() - Method in class de.learnlib.filter.statistic.HistogramDataSet

getName() - Method in class de.learnlib.filter.statistic.AbstractStatisticData

getName() - Method in class de.learnlib.filter.statistic.CounterCollection

getQueryCounter() - Method in class de.learnlib.filter.statistic.oracle.CounterOracle

Retrieves Counter for the number of queries posed to this oracle.

getResetCounter() - Method in class de.learnlib.filter.statistic.oracle.CounterAdaptiveQueryOracle

getResetCounter() - Method in class de.learnlib.filter.statistic.sul.CounterSUL

getSize() - Method in class de.learnlib.filter.statistic.HistogramDataSet

getState() - Method in class de.learnlib.filter.statistic.sul.CounterObservableSUL

getStatisticalData() - Method in class de.learnlib.filter.statistic.learner.RefinementCounterLearner

getStatisticalData() - Method in class de.learnlib.filter.statistic.oracle.CounterAdaptiveQueryOracle

getStatisticalData() - Method in class de.learnlib.filter.statistic.oracle.CounterOracle

getStatisticalData() - Method in class de.learnlib.filter.statistic.oracle.HistogramOracle

getStatisticalData() - Method in class de.learnlib.filter.statistic.sul.CounterStateLocalInputSUL

getStatisticalData() - Method in class de.learnlib.filter.statistic.sul.CounterSUL

getSum() - Method in class de.learnlib.filter.statistic.HistogramDataSet

getSummary() - Method in class de.learnlib.filter.statistic.Counter

getSummary() - Method in class de.learnlib.filter.statistic.CounterCollection

getSummary() - Method in class de.learnlib.filter.statistic.HistogramDataSet

getSymbolCounter() - Method in class de.learnlib.filter.statistic.oracle.CounterAdaptiveQueryOracle

getSymbolCounter() - Method in class de.learnlib.filter.statistic.oracle.CounterOracle

Retrieves the Counter for the number of symbols in all queries posed to this oracle.

getSymbolCounter() - Method in class de.learnlib.filter.statistic.sul.CounterSUL

getUnit() - Method in class de.learnlib.filter.statistic.AbstractStatisticData

getUnit() - Method in class de.learnlib.filter.statistic.CounterCollection

H

HistogramDataSet - Class in de.learnlib.filter.statistic

A simple histogram data set.

HistogramDataSet(String, String) - Constructor for class de.learnlib.filter.statistic.HistogramDataSet

HistogramOracle<I,D> - Class in de.learnlib.filter.statistic.oracle

Collects a histogram of passed query lengths.

HistogramOracle(MembershipOracle<I, D>, String) - Constructor for class de.learnlib.filter.statistic.oracle.HistogramOracle

Default constructor.

I

increment() - Method in class de.learnlib.filter.statistic.Counter

increment(long) - Method in class de.learnlib.filter.statistic.Counter

M

MealyCounterOracle<I,O> - Class in de.learnlib.filter.statistic.oracle

A type-specific refinement of CounterOracle.

MealyCounterOracle(MembershipOracle.MealyMembershipOracle<I, O>) - Constructor for class de.learnlib.filter.statistic.oracle.MealyCounterOracle

Delegates to CounterOracle(MembershipOracle).

MealyHistogramOracle<I,O> - Class in de.learnlib.filter.statistic.oracle

A type-specific refinement of HistogramOracle.

MealyHistogramOracle(MembershipOracle.MealyMembershipOracle<I, O>, String) - Constructor for class de.learnlib.filter.statistic.oracle.MealyHistogramOracle

Delegates to HistogramOracle(MembershipOracle, String).

MealyRefinementCounterLearner<I,O> - Class in de.learnlib.filter.statistic.learner

A type-specific refinement of RefinementCounterLearner.

MealyRefinementCounterLearner(LearningAlgorithm.MealyLearner<I, O>) - Constructor for class de.learnlib.filter.statistic.learner.MealyRefinementCounterLearner

Delegates to RefinementCounterLearner(LearningAlgorithm).

MooreCounterOracle<I,O> - Class in de.learnlib.filter.statistic.oracle

A type-specific refinement of CounterOracle.

MooreCounterOracle(MembershipOracle.MooreMembershipOracle<I, O>) - Constructor for class de.learnlib.filter.statistic.oracle.MooreCounterOracle

Delegates to CounterOracle(MembershipOracle).

MooreHistogramOracle<I,O> - Class in de.learnlib.filter.statistic.oracle

A type-specific refinement of HistogramOracle.

MooreHistogramOracle(MembershipOracle.MooreMembershipOracle<I, O>, String) - Constructor for class de.learnlib.filter.statistic.oracle.MooreHistogramOracle

Delegates to HistogramOracle(MembershipOracle, String).

MooreRefinementCounterLearner<I,O> - Class in de.learnlib.filter.statistic.learner

A type-specific refinement of RefinementCounterLearner.

MooreRefinementCounterLearner(LearningAlgorithm.MooreLearner<I, O>) - Constructor for class de.learnlib.filter.statistic.learner.MooreRefinementCounterLearner

Delegates to RefinementCounterLearner(LearningAlgorithm).

P

post() - Method in class de.learnlib.filter.statistic.sul.CounterSUL

pre() - Method in class de.learnlib.filter.statistic.sul.CounterSUL

processQueries(Collection<? extends AdaptiveQuery<I, O>>) - Method in class de.learnlib.filter.statistic.oracle.CounterAdaptiveQueryOracle

processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.filter.statistic.oracle.CounterOracle

processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.filter.statistic.oracle.HistogramOracle

R

refineHypothesis(DefaultQuery<I, D>) - Method in class de.learnlib.filter.statistic.learner.RefinementCounterLearner

RefinementCounterLearner<M,I,D> - Class in de.learnlib.filter.statistic.learner

Counts the number of hypothesis refinements.

RefinementCounterLearner(LearningAlgorithm<M, I, D>) - Constructor for class de.learnlib.filter.statistic.learner.RefinementCounterLearner

resetCounter - Variable in class de.learnlib.filter.statistic.sul.CounterSUL

S

startLearning() - Method in class de.learnlib.filter.statistic.learner.RefinementCounterLearner

step(I) - Method in class de.learnlib.filter.statistic.sul.CounterSUL

symbolCounter - Variable in class de.learnlib.filter.statistic.sul.CounterSUL

A C D F G H I M P R S
All Classes All Packages