de.learnlib.filter.statistic.oracle

Class JointCounterOracle.MealyJointCounterOracle<I,O>

java.lang.Object

de.learnlib.filter.statistic.oracle.JointCounterOracle<I,Word<O>>

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

All Implemented Interfaces:

MembershipOracle<I,Word<O>>, MembershipOracle.MealyMembershipOracle<I,O>, QueryAnswerer<I,Word<O>>

Enclosing class:

JointCounterOracle<I,D>

public static class JointCounterOracle.MealyJointCounterOracle<I,O>
extends JointCounterOracle<I,Word<O>>
implements MembershipOracle.MealyMembershipOracle<I,O>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.filter.statistic.oracle.JointCounterOracle

JointCounterOracle.DFAJointCounterOracle<I>, 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
MealyJointCounterOracle(MembershipOracle<I,Word<O>> delegate)

Method Summary

Methods inherited from class de.learnlib.filter.statistic.oracle.JointCounterOracle

getQueryCount, getSymbolCount, processQueries

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, processQueries, processQuery

Constructor Detail

MealyJointCounterOracle

public MealyJointCounterOracle(MembershipOracle<I,Word<O>> delegate)