Module de.learnlib.api

Package de.learnlib.oracle

Interface QueryAnswerer<I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Known Subinterfaces:

LearningCacheOracle<A,I,D>, LearningCacheOracle.DFALearningCacheOracle<I>, LearningCacheOracle.MealyLearningCacheOracle<I,O>, LearningCacheOracle.MooreLearningCacheOracle<I,O>, MembershipOracle<I,D>, MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>, MembershipOracle.MooreMembershipOracle<I,O>, ParallelOracle<I,D>, SingleQueryOracle<I,D>, SingleQueryOracle.SingleQueryOracleDFA<I>, SingleQueryOracle.SingleQueryOracleMealy<I,O>, SingleQueryOracle.SingleQueryOracleMoore<I,O>, StatisticOracle<I,D>

All Known Implementing Classes:

CounterOracle, DFACacheOracle, DFACounterOracle, DFAHashCacheOracle, DFAHistogramOracle, DFASimulatorOracle, DynamicParallelOracle, HistogramOracle, InterningMealyMembershipOracle, InterningMembershipOracle, InterningMooreMembershipOracle, MappedOracle, MealyCacheOracle, MealyCounterOracle, MealyHistogramOracle, MealySimulatorOracle, MooreCacheOracle, MooreCounterOracle, MooreHistogramOracle, MooreSimulatorOracle, NFASimulatorOracle, ReuseOracle, SBASimulatorOracle, SEVPASimulatorOracle, SimulatorOracle, SPASimulatorOracle, SPMMSimulatorOracle, StateLocalInputSULOracle, StaticParallelOracle, SULOracle, ThreadSafeDFACacheOracle, ThreadSafeMealyCacheOracle, ThreadSafeMooreCacheOracle

public interface QueryAnswerer<I,D>

A simple interface for answering Word-based queries.

Method Summary

Modifier and Type	Method	Description
default D	answerQuery(net.automatalib.word.Word<I> input)
D	answerQuery(net.automatalib.word.Word<I> prefix, net.automatalib.word.Word<I> suffix)
default MembershipOracle<I,D>	asOracle()

Method Detail

answerQuery

default D answerQuery(net.automatalib.word.Word<I> input)

answerQuery

D answerQuery(net.automatalib.word.Word<I> prefix,
              net.automatalib.word.Word<I> suffix)

asOracle

default MembershipOracle<I,D> asOracle()