de.learnlib.api.oracle

Interface OmegaMembershipOracle<S,I,D>

Type Parameters:

S - the state type

I - the input type

D - the output type

All Superinterfaces:

OmegaQueryAnswerer<S,I,D>

All Known Subinterfaces:

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

public interface OmegaMembershipOracle<S,I,D>
extends OmegaQueryAnswerer<S,I,D>

Answers OmegaQuerys, similar to a MembershipOracle. Additionally, one can ask whether two states are equal to each other.

Author:

Jeroen Meijer

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I>
static interface	OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

Method Summary

Modifier and Type	Method and Description
default Pair<D,Integer>	answerQuery(Word<I> prefix, Word<I> loop, int repeat)
default OmegaMembershipOracle<S,I,D>	asOracle()
MembershipOracle<I,D>	getMembershipOracle() Returns a regular membership oracle.
boolean	isSameState(Word<I> w1, S s1, Word<I> w2, S s2) Returns whether two states are equal, or if both access sequences w1, and w2 end up in the same state.
void	processQueries(Collection<? extends OmegaQuery<I,D>> queries)
default void	processQuery(OmegaQuery<I,D> query)

Method Detail

answerQuery

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

Specified by:

answerQuery in interface OmegaQueryAnswerer<S,I,D>

processQuery

default void processQuery(OmegaQuery<I,D> query)

processQueries

void processQueries(Collection<? extends OmegaQuery<I,D>> queries)

asOracle

default OmegaMembershipOracle<S,I,D> asOracle()

Specified by:

asOracle in interface OmegaQueryAnswerer<S,I,D>

getMembershipOracle

MembershipOracle<I,D> getMembershipOracle()

Returns a regular membership oracle.

Returns:

a regular membership oracle.

isSameState

boolean isSameState(Word<I> w1,
                    S s1,
                    Word<I> w2,
                    S s2)

Returns whether two states are equal, or if both access sequences w1, and w2 end up in the same state. If both access sequences end up in the same state then s1.equals(s2) must hold.

Parameters:

w1 - the first access sequence.

s1 - the first state.

w2 - the second access sequence.

s2 - the second state.

Returns:

whether both states, or states via the given access sequences are equal.

See Also:

ObservableSUL.getState()