Class Summary
| Class |
Description |
| AbstractStatisticData |
Common interface for statistical data.
|
| Counter |
A simple counter.
|
| CounterCollection |
A collection of counters.
|
| CounterOracle<I,D> |
A MembershipOracle that counts both the number of queries and the total number of symbols occurring in all
those queries. |
| CounterSymbolQueryOracle<I,O> |
|
| DFACounterOracle<I> |
This is an auto-generated refinement.
|
| DFAHistogramOracle<I> |
This is an auto-generated refinement.
|
| DFARefinementCounterLearner<I> |
This is an auto-generated refinement.
|
| HistogramDataSet |
A simple histogram data set.
|
| HistogramOracle<I,D> |
Collects a histogram of passed query lengths.
|
| MealyCounterOracle<I,O> |
This is an auto-generated refinement.
|
| MealyHistogramOracle<I,O> |
This is an auto-generated refinement.
|
| MealyRefinementCounterLearner<I,O> |
This is an auto-generated refinement.
|
| MooreCounterOracle<I,O> |
This is an auto-generated refinement.
|
| MooreOutputHistogramOracle<I,O> |
This is an auto-generated refinement.
|
| MooreRefinementCounterLearner<I,O> |
This is an auto-generated refinement.
|
| RefinementCounterLearner<M,I,D> |
Counts the number of hypothesis refinements.
|
| ResetCounterObservableSUL<S,I,O> |
|
| ResetCounterStateLocalInputSUL<I,O> |
|
| ResetCounterSUL<I,O> |
|
| SLICounterStateLocalInputSUL<I,O> |
|
| SymbolCounterObservableSUL<S,I,O> |
|
| SymbolCounterStateLocalInputSUL<I,O> |
|
| SymbolCounterSUL<I,O> |
|