Package de.learnlib.oracle.parallelism

Class StaticParallelOmegaOracle<S,I,D>

java.lang.Object

de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor<OmegaQuery<I,D>,OmegaMembershipOracle<S,I,D>>

de.learnlib.oracle.parallelism.StaticParallelOmegaOracle<S,I,D>

Type Parameters:

I - input symbol type

D - output domain type

All Implemented Interfaces:

OmegaMembershipOracle<S,I,D>, OmegaQueryAnswerer<S,I,D>, BatchProcessor<OmegaQuery<I,D>>, ParallelOmegaOracle<S,I,D>, ThreadPool

public class StaticParallelOmegaOracle<S,I,D>
extends AbstractStaticBatchProcessor<OmegaQuery<I,D>,OmegaMembershipOracle<S,I,D>>
implements ParallelOmegaOracle<S,I,D>

A specialized AbstractStaticBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.

Nested Class Summary

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

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

Nested classes/interfaces inherited from interface de.learnlib.oracle.parallelism.ThreadPool

ThreadPool.PoolPolicy

Field Summary

Fields inherited from class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

MIN_BATCH_SIZE, NUM_INSTANCES, POOL_POLICY

Constructor Summary

Constructors

Constructor	Description
StaticParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles, @org.checkerframework.checker.index.qual.NonNegative int minBatchSize, ThreadPool.PoolPolicy policy)

Method Summary

Modifier and Type	Method	Description
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>> omegaQueries)

Methods inherited from class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

getProcessor, processBatch, shutdown, shutdownNow

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

answerQuery, asOracle, processBatch, processQuery

Methods inherited from interface de.learnlib.oracle.parallelism.ThreadPool

shutdown, shutdownNow

Constructor Detail

StaticParallelOmegaOracle

public StaticParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S,I,D>> oracles,
                                 @org.checkerframework.checker.index.qual.NonNegative int minBatchSize,
                                 ThreadPool.PoolPolicy policy)

Method Detail

processQueries

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

Specified by:

processQueries in interface OmegaMembershipOracle<S,I,D>

getMembershipOracle

public MembershipOracle<I,D> getMembershipOracle()

Description copied from interface: OmegaMembershipOracle

Returns a regular membership oracle.

Specified by:

getMembershipOracle in interface OmegaMembershipOracle<S,I,D>

Returns:

a regular membership oracle.

isSameState

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

Description copied from interface: OmegaMembershipOracle

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.

Specified by:

isSameState in interface OmegaMembershipOracle<S,I,D>

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()