Module de.learnlib.api

Package de.learnlib.oracle

Interface OmegaQueryAnswerer<S,I,D>

All Known Subinterfaces:

OmegaMembershipOracle<S,I,D>, OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>, ParallelOmegaOracle<S,I,D>, SingleQueryOmegaOracle<S,I,D>, SingleQueryOmegaOracle.SingleQueryOmegaOracleDFA<S,I>, SingleQueryOmegaOracle.SingleQueryOmegaOracleMealy<S,I,O>

All Known Implementing Classes:

AbstractSULOmegaOracle, DynamicParallelOmegaOracle, SimulatorOmegaOracle, SimulatorOmegaOracle.DFASimulatorOmegaOracle, SimulatorOmegaOracle.MealySimulatorOmegaOracle, StaticParallelOmegaOracle

public interface OmegaQueryAnswerer<S,I,D>

Answers OmegaQuerys.

See Also:

OmegaMembershipOracle, QueryAnswerer

Method Summary

Modifier and Type	Method	Description
net.automatalib.common.util.Pair<@Nullable D,Integer>	answerQuery(net.automatalib.word.Word<I> prefix, net.automatalib.word.Word<I> loop, int repeat)
OmegaMembershipOracle<S,I,D>	asOracle()

Method Detail

answerQuery

net.automatalib.common.util.Pair<@Nullable D,Integer> answerQuery(net.automatalib.word.Word<I> prefix,
                                                                        net.automatalib.word.Word<I> loop,
                                                                        int repeat)

asOracle

OmegaMembershipOracle<S,I,D> asOracle()