de.learnlib.oracles

Class CounterOracle.DFACounterOracle<I>

java.lang.Object

de.learnlib.oracles.CounterOracle<I,Boolean>

de.learnlib.oracles.CounterOracle.DFACounterOracle<I>

All Implemented Interfaces:

Filter<I,Boolean>, MembershipOracle<I,Boolean>, MembershipOracle.DFAMembershipOracle<I>, StatisticOracle<I,Boolean>

Enclosing class:

CounterOracle<I,O>

public static class CounterOracle.DFACounterOracle<I>
extends CounterOracle<I,Boolean>
implements MembershipOracle.DFAMembershipOracle<I>

Nested Class Summary

Nested classes/interfaces inherited from class de.learnlib.oracles.CounterOracle

CounterOracle.DFACounterOracle<I>, CounterOracle.MealyCounterOracle<I,O>

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

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

Constructor Summary

Constructors

Constructor and Description
CounterOracle.DFACounterOracle(MembershipOracle<I,Boolean> nextOracle, String name)

Method Summary

Methods inherited from class de.learnlib.oracles.CounterOracle

getStatisticalData, processQueries, setNext

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

processQueries

Constructor Detail

CounterOracle.DFACounterOracle

public CounterOracle.DFACounterOracle(MembershipOracle<I,Boolean> nextOracle,
                              String name)