de.learnlib.filter.statistic.oracle

Class JointCounterOracle<I,D>

java.lang.Object

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

Type Parameters:

I - input symbol type

D - output domain type

All Implemented Interfaces:

MembershipOracle<I,D>, QueryAnswerer<I,D>

Direct Known Subclasses:

JointCounterOracle.DFAJointCounterOracle, JointCounterOracle.MealyJointCounterOracle

public class JointCounterOracle<I,D>
extends Object
implements MembershipOracle<I,D>

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

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JointCounterOracle.DFAJointCounterOracle<I>
static class	JointCounterOracle.MealyJointCounterOracle<I,O>

Nested classes/interfaces inherited from interface de.learnlib.api.oracle.MembershipOracle

MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>

Constructor Summary

Constructors

Constructor and Description
JointCounterOracle(MembershipOracle<I,D> delegate)

Method Summary

Modifier and Type	Method and Description
long	getQueryCount() Retrieves the number of queries posed to this oracle.
long	getSymbolCount() Retrieves the number of symbols in all queries posed to this oracle.
void	processQueries(Collection<? extends Query<I,D>> queries)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.api.oracle.MembershipOracle

answerQuery, answerQuery, asOracle, processQuery

Constructor Detail

JointCounterOracle

public JointCounterOracle(MembershipOracle<I,D> delegate)

Method Detail

processQueries

public void processQueries(Collection<? extends Query<I,D>> queries)

Specified by:

processQueries in interface MembershipOracle<I,D>

getQueryCount

public long getQueryCount()

Retrieves the number of queries posed to this oracle.

Returns:

the number of queries

getSymbolCount

public long getSymbolCount()

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

Returns:

the number of symbols