A C D F G H I M P Q 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.ResetCounterSUL

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

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

Counter - Class in de.learnlib.filter.statistic

A simple counter.

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

CounterCollection - Class in de.learnlib.filter.statistic

A collection of counters.

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

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

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

A simple wrapper for counting the number of resets and symbol queries of a SymbolQueryOracle.

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

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

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

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

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.ResetCounterObservableSUL

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

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

F

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

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

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

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

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

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

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

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

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.

getResetCount() - Method in class de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle

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

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

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

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

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.ResetCounterSUL

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

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

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

getSymbolCount() - Method in class de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle

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.

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

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

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

This is an auto-generated refinement.

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

This is an auto-generated constructor.

P

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

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

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

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

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

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

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

Q

query(I) - Method in class de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle

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

reset() - Method in class de.learnlib.filter.statistic.oracle.CounterSymbolQueryOracle

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

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

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

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

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

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

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

S

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

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

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

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

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

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

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

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

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

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

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

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

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

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