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.
|
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.
|
MooreCounterOracle<I,O> |
This is an auto-generated refinement.
|
MooreOutputHistogramOracle<I,O> |
This is an auto-generated refinement.
|