Uses of Interface
de.learnlib.api.oracle.MembershipOracle.MealyMembershipOracle

Packages that use MembershipOracle.MealyMembershipOracle

Package	Description
de.learnlib.api.oracle
de.learnlib.filter.cache
de.learnlib.filter.cache.mealy
de.learnlib.filter.reuse
de.learnlib.filter.statistic.oracle
de.learnlib.oracle.membership

Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.api.oracle

Subinterfaces of MembershipOracle.MealyMembershipOracle in de.learnlib.api.oracle

Modifier and Type	Interface and Description
static interface	SingleQueryOracle.SingleQueryOracleMealy<I,O>

Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.cache

Subinterfaces of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.cache

Modifier and Type	Interface and Description
static interface	LearningCacheOracle.MealyLearningCacheOracle<I,O> Specialization of the LearningCacheOracle interface for Mealy machine learning.

Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.cache.mealy

Classes in de.learnlib.filter.cache.mealy that implement MembershipOracle.MealyMembershipOracle

Modifier and Type	Class and Description
class	MealyCacheOracle<I,O> Mealy cache.

Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.reuse

Classes in de.learnlib.filter.reuse that implement MembershipOracle.MealyMembershipOracle

Modifier and Type

Class and Description

class

ReuseOracle<S,I,O> The reuse oracle is a MealyMembershipOracle that is able to Cache queries: Each processed query will not be delegated again (instead the answer will be retrieved from the ReuseTree) Pump queries: If the ReuseTree is configured to know which symbols are model invariant input symbols via ReuseOracle.ReuseOracleBuilder.withInvariantInputs(Set) (like a read from a database which does not change the SUL) or configured for failure output symbols via ReuseOracle.ReuseOracleBuilder.withFailureOutputs(Set) (e.g. a roll back mechanism exists for the invoked symbol) the oracle could ''pump'' those symbols inside a query once seen.

Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.filter.statistic.oracle

Classes in de.learnlib.filter.statistic.oracle that implement MembershipOracle.MealyMembershipOracle

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

Uses of MembershipOracle.MealyMembershipOracle in de.learnlib.oracle.membership

Classes in de.learnlib.oracle.membership that implement MembershipOracle.MealyMembershipOracle

Modifier and Type	Class and Description
static class	SimulatorOracle.MealySimulatorOracle<I,O>
class	SULOracle<I,O> A wrapper around a system under learning (SUL).