A C D E F G H I J M P Q R S T

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

Counter - Class in de.learnlib.filter.statistic

simple counter.

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

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

Counts queries.

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

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

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

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.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(MembershipOracle<I, Boolean>, String) - Constructor for class de.learnlib.filter.statistic.oracle.CounterOracle.DFACounterOracle

DFAJointCounterOracle(MembershipOracle<I, Boolean>) - Constructor for class de.learnlib.filter.statistic.oracle.JointCounterOracle.DFAJointCounterOracle

DFARefinementCounterLearner(String, LearningAlgorithm<DFA<?, I>, I, Boolean>) - Constructor for class de.learnlib.filter.statistic.learner.RefinementCounterLearner.DFARefinementCounterLearner

E

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

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

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

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

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

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

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

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

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

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

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

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

getQueryCount() - Method in class de.learnlib.filter.statistic.oracle.JointCounterOracle

Retrieves 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.SymbolCounterSUL

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

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

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

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

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

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

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

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

H

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

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

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

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

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

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

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(long) - Method in class de.learnlib.filter.statistic.Counter

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

J

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

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

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

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

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

M

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

MealyJointCounterOracle(MembershipOracle<I, Word<O>>) - Constructor for class de.learnlib.filter.statistic.oracle.JointCounterOracle.MealyJointCounterOracle

MealyRefinementCounterLearner(String, LearningAlgorithm<MealyMachine<?, I, ?, O>, I, Word<O>>) - Constructor for class de.learnlib.filter.statistic.learner.RefinementCounterLearner.MealyRefinementCounterLearner

P

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

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

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

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(String, LearningAlgorithm<M, I, D>) - Constructor for class de.learnlib.filter.statistic.learner.RefinementCounterLearner

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

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

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

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

S

setNext(MembershipOracle<I, D>) - Method in class de.learnlib.filter.statistic.oracle.CounterOracle

setNext(MembershipOracle<I, D>) - Method in class de.learnlib.filter.statistic.oracle.HistogramOracle

set used oracle.

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

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

T

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

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

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

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

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

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

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

A C D E F G H I J M P Q R S T