de.learnlib.api.oracle

Interface OmegaQueryAnswerer<S,I,D>

All Known Subinterfaces:

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

public interface OmegaQueryAnswerer<S,I,D>

Answers OmegaQuerys.

Author:

Jeroen Meijer

See Also:

OmegaMembershipOracle, QueryAnswerer

Method Summary

Modifier and Type	Method and Description
Pair<D,Integer>	answerQuery(Word<I> prefix, Word<I> loop, int repeat)
OmegaMembershipOracle<S,I,D>	asOracle()

Method Detail

answerQuery

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

asOracle

@Nonnull
OmegaMembershipOracle<S,I,D> asOracle()