Uses of Interface
de.learnlib.oracle.MembershipOracle
-
Packages that use MembershipOracle Package Description de.learnlib.algorithm This package contains the basic interfaces and classes of learning algorithms of LearnLib.de.learnlib.oracle This package contains the basic interfaces and classes for describing and implementing various types of oracles used throughout LearnLib.de.learnlib.statistic -
-
Uses of MembershipOracle in de.learnlib.algorithm
Methods in de.learnlib.algorithm with parameters of type MembershipOracle Modifier and Type Method Description LLearnerConstructor. constructLearner(net.automatalib.alphabet.Alphabet<I> alphabet, MembershipOracle<I,D> oracle)Construct the learner instance. -
Uses of MembershipOracle in de.learnlib.oracle
Subinterfaces of MembershipOracle in de.learnlib.oracle Modifier and Type Interface Description static interfaceMembershipOracle.DFAMembershipOracle<I>A specialization of theMembershipOraclethat binds the output domain toBooleans.static interfaceMembershipOracle.MealyMembershipOracle<I,O>A specialization of theMembershipOraclethat binds the output domain toWords of the specified output type.static interfaceMembershipOracle.MooreMembershipOracle<I,O>A specialization of theMembershipOraclethat binds the output domain toWords of the specified output type.interfaceParallelOracle<I,D>Basic interface forMembershipOracles that can process queries in parallel.interfaceSingleQueryOracle<I,D>Base interface for oracles whose semantic is defined in terms of directly answering single queries (like aQueryAnswerer), and that cannot profit from batch processing of queries.static interfaceSingleQueryOracle.SingleQueryOracleDFA<I>static interfaceSingleQueryOracle.SingleQueryOracleMealy<I,O>static interfaceSingleQueryOracle.SingleQueryOracleMoore<I,O>Methods in de.learnlib.oracle that return MembershipOracle Modifier and Type Method Description default MembershipOracle<I,D>MembershipOracle. asOracle()default MembershipOracle<I,D>QueryAnswerer. asOracle()MembershipOracle<I,D>OmegaMembershipOracle. getMembershipOracle()Returns a regular membership oracle. -
Uses of MembershipOracle in de.learnlib.statistic
Subinterfaces of MembershipOracle in de.learnlib.statistic Modifier and Type Interface Description interfaceStatisticOracle<I,D>Common interface for oracles keeping statistics.
-