Package de.learnlib.oracle.membership

Class AbstractSULOmegaOracle<S,I,O,Q>

java.lang.Object

de.learnlib.oracle.membership.AbstractSULOmegaOracle<S,I,O,Q>

Type Parameters:

S - the state type of the ObservableSUL

I - the input type

O - the output type

Q - the state information type that is used to answer OmegaQuerys

All Implemented Interfaces:

OmegaMembershipOracle<Q,I,Word<O>>, OmegaMembershipOracle.MealyOmegaMembershipOracle<Q,I,O>, OmegaQueryAnswerer<Q,I,Word<O>>, BatchProcessor<OmegaQuery<I,Word<O>>>

public abstract class AbstractSULOmegaOracle<S,I,O,Q>
extends Object
implements OmegaMembershipOracle.MealyOmegaMembershipOracle<Q,I,O>

An omega membership oracle for an ObservableSUL.

The behavior is similar to a SULOracle, except that this class answers OmegaQuerys.

After some symbols (i.e. after OmegaQuery.getPrefix(), and after each OmegaQuery.getLoop()) the state of the ObservableSUL is retrieved, and used to answer the query.

This class is not thread-safe.

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.OmegaMembershipOracle

OmegaMembershipOracle.DFAOmegaMembershipOracle<S extends Object,I extends Object>, OmegaMembershipOracle.MealyOmegaMembershipOracle<S extends Object,I extends Object,O extends Object>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractSULOmegaOracle(ObservableSUL<S,I,O> sul)

Method Summary

Modifier and Type	Method	Description
Pair<@Nullable Word<O>,Integer>	answerQuery(Word<I> prefix, Word<I> loop, int repeat)
MembershipOracle.MealyMembershipOracle<I,O>	getMembershipOracle()
protected abstract Q	getQueryState(ObservableSUL<S,I,O> sul)
ObservableSUL<S,I,O>	getSul()	Gets the ObservableSUL.
static <S,I,O> AbstractSULOmegaOracle<S,I,O,?>	newOracle(ObservableSUL<S,I,O> sul)	Creates a new AbstractSULOmegaOracle that assumes the SUL can not make deep copies.
static <S,I,O> AbstractSULOmegaOracle<S,I,O,?>	newOracle(ObservableSUL<S,I,O> sul, boolean deepCopies)	Creates a new AbstractSULOmegaOracle, while making sure the invariants of the ObservableSUL are satisfied.
void	processQueries(Collection<? extends OmegaQuery<I,Word<O>>> queries)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.learnlib.oracle.OmegaMembershipOracle

asOracle, isSameState, processBatch, processQuery

Constructor Detail

AbstractSULOmegaOracle

protected AbstractSULOmegaOracle(ObservableSUL<S,I,O> sul)

Method Detail

getSul

public ObservableSUL<S,I,O> getSul()

Gets the ObservableSUL.

Returns:

the ObservableSUL.

processQueries

public void processQueries(Collection<? extends OmegaQuery<I,Word<O>>> queries)

Specified by:

processQueries in interface OmegaMembershipOracle<S,I,O>

getQueryState

protected abstract Q getQueryState(ObservableSUL<S,I,O> sul)

answerQuery

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

Specified by:

answerQuery in interface OmegaMembershipOracle<S,I,O>

Specified by:

answerQuery in interface OmegaQueryAnswerer<S,I,O>

getMembershipOracle

public MembershipOracle.MealyMembershipOracle<I,O> getMembershipOracle()

Specified by:

getMembershipOracle in interface OmegaMembershipOracle<S,I,O>

Specified by:

getMembershipOracle in interface OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O>

newOracle

public static <S,I,O> AbstractSULOmegaOracle<S,I,O,?> newOracle(ObservableSUL<S,I,O> sul,
                                                                                              boolean deepCopies)

Creates a new AbstractSULOmegaOracle, while making sure the invariants of the ObservableSUL are satisfied.

Type Parameters:

S - the state type

I - the input type

O - the output type

Parameters:

sul - the ObservableSUL to wrap around.

deepCopies - whether to test for state equivalence directly on the retrieved state.

Returns:

the AbstractSULOmegaOracle.

newOracle

public static <S,I,O> AbstractSULOmegaOracle<S,I,O,?> newOracle(ObservableSUL<S,I,O> sul)

Creates a new AbstractSULOmegaOracle that assumes the SUL can not make deep copies.

Type Parameters:

S - the state type

I - the input type

O - the output type

See Also:

newOracle(ObservableSUL, boolean)