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
Pair<@Nullable D,Integer>	answerQuery(Word<I> prefix, Word<I> loop, int repeat)
OmegaMembershipOracle<S,I,D>	asOracle()

Method Detail

answerQuery

Pair<@Nullable D,Integer> answerQuery(Word<I> prefix,
                                            Word<I> loop,
                                            int repeat)

asOracle

OmegaMembershipOracle<S,I,D> asOracle()