A B C D F G I M N P S T W
All Classes All Packages

A

AbstractDynamicBatchProcessor<Q,P extends BatchProcessor<Q>> - Class in de.learnlib.oracle.parallelism

A batch processor that dynamically distributes queries to worker threads.

AbstractDynamicBatchProcessor(Supplier<? extends P>, @org.checkerframework.checker.index.qual.NonNegative int, ExecutorService) - Constructor for class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

AbstractDynamicBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR> - Class in de.learnlib.oracle.parallelism

Builder class for a AbstractDynamicBatchProcessor.

AbstractDynamicBatchProcessorBuilder(Collection<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

AbstractDynamicBatchProcessorBuilder(Supplier<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

AbstractStaticBatchProcessor<Q,P extends BatchProcessor<Q>> - Class in de.learnlib.oracle.parallelism

A batch processor that statically distributes a set of queries among several threads.

AbstractStaticBatchProcessor(Collection<? extends P>, @org.checkerframework.checker.index.qual.NonNegative int, ThreadPool.PoolPolicy) - Constructor for class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

AbstractStaticBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR> - Class in de.learnlib.oracle.parallelism

A builder for a AbstractStaticBatchProcessor.

AbstractStaticBatchProcessorBuilder(Collection<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

AbstractStaticBatchProcessorBuilder(Supplier<? extends P>) - Constructor for class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

B

BATCH_SIZE - Static variable in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

buildOracle(Collection<? extends MembershipOracle<I, D>>, int, ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.StaticParallelOracleBuilder

buildOracle(Collection<? extends OmegaMembershipOracle<S, I, D>>, int, ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.StaticParallelOmegaOracleBuilder

buildOracle(Collection<? extends P>, int, ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

buildOracle(Supplier<? extends MembershipOracle<I, D>>, int, ExecutorService) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder

buildOracle(Supplier<? extends OmegaMembershipOracle<S, I, D>>, int, ExecutorService) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracleBuilder

buildOracle(Supplier<? extends P>, int, ExecutorService) - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

C

create() - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

create() - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

createCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches

Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it.

createCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup.

createCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup.

createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACacheOracle

createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheOracle

createCacheConsistencyTest() - Method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheOracle

createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches

Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a DAG for internal cache organization.

createDAGCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a DAG for internal cache organization.

createDAGPCCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

The prefix-closed version of ThreadSafeDFACaches.createDAGCache(Alphabet, Collection).

createDAGPCCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

The prefix-closed version of ThreadSafeDFACaches.createDAGCache(Alphabet, Supplier).

createDynamicTreeCache(Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.

createDynamicTreeCache(Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.

createDynamicTreeCache(Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.

createDynamicTreeCache(Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a dynamically growing tree for internal cache organization.

createStateLocalInputCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches

Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it.

createStateLocalInputTreeCache(Alphabet<I>, StateLocalInputSUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches

Wraps a given StateLocalInputSUL in a thread-safe variant of a StateLocalInputSULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.

createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Mapping<? super O, ? extends O>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.filter.cache.sul.ThreadSafeSULCaches

Wraps a given SUL in a thread-safe variant of a SULCache that supports forking iff the given SUL supports it and uses a tree for internal cache organization.

createTreeCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances each oracle of a given collection with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Enhances a given oracle supplier with a shared, thread-safe cache for a DFA learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Mealy machine learning setup, using a tree for internal cache organization.

createTreeCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Word<O>>>) - Static method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCaches

Enhances a given oracle supplier with a shared, thread-safe cache for a Moore machine learning setup, using a tree for internal cache organization.

createTreePCCache(Alphabet<I>, Collection<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Prefix-closed version of ThreadSafeDFACaches.createTreeCache(Alphabet, Collection).

createTreePCCache(Alphabet<I>, Supplier<? extends MembershipOracle<I, Boolean>>) - Static method in class de.learnlib.filter.cache.dfa.ThreadSafeDFACaches

Prefix-closed version of ThreadSafeDFACaches.createTreeCache(Alphabet, Supplier).

D

de.learnlib.filter.cache.dfa - package de.learnlib.filter.cache.dfa

de.learnlib.filter.cache.mealy - package de.learnlib.filter.cache.mealy

de.learnlib.filter.cache.moore - package de.learnlib.filter.cache.moore

de.learnlib.filter.cache.sul - package de.learnlib.filter.cache.sul

de.learnlib.oracle.parallelism - package de.learnlib.oracle.parallelism

DynamicParallelOmegaOracle<S,I,D> - Class in de.learnlib.oracle.parallelism

A specialized AbstractDynamicBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.

DynamicParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S, I, D>>, @org.checkerframework.checker.index.qual.NonNegative int, ExecutorService) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracle

DynamicParallelOmegaOracleBuilder<S,I,D> - Class in de.learnlib.oracle.parallelism

A specialized AbstractDynamicBatchProcessorBuilder for OmegaMembershipOracles.

DynamicParallelOmegaOracleBuilder(Collection<? extends OmegaMembershipOracle<S, I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracleBuilder

DynamicParallelOmegaOracleBuilder(Supplier<? extends OmegaMembershipOracle<S, I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracleBuilder

DynamicParallelOracle<I,D> - Class in de.learnlib.oracle.parallelism

A specialized AbstractDynamicBatchProcessor for MembershipOracles that implements ParallelOracle.

DynamicParallelOracle(Supplier<? extends MembershipOracle<I, D>>, @org.checkerframework.checker.index.qual.NonNegative int, ExecutorService) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOracle

DynamicParallelOracleBuilder<I,D> - Class in de.learnlib.oracle.parallelism

A specialized AbstractDynamicBatchProcessorBuilder for MembershipOracles.

DynamicParallelOracleBuilder(Collection<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder

DynamicParallelOracleBuilder(Supplier<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.oracle.parallelism.DynamicParallelOracleBuilder

F

findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheConsistencyTest

findCounterExample(MooreMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheConsistencyTest

G

getMembershipOracle() - Method in class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracle

getMembershipOracle() - Method in class de.learnlib.oracle.parallelism.StaticParallelOmegaOracle

getProcessor() - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

getProcessor() - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

I

isSameState(Word<I>, S, Word<I>, S) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracle

isSameState(Word<I>, S, Word<I>, S) - Method in class de.learnlib.oracle.parallelism.StaticParallelOmegaOracle

M

MIN_BATCH_SIZE - Static variable in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

N

newDynamicParallelOmegaOracle(OmegaMembershipOracle<S, I, D>, OmegaMembershipOracle<S, I, D>...) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Convenience method for ParallelOracleBuilders.newDynamicParallelOmegaOracle(Collection).

newDynamicParallelOmegaOracle(ObservableSUL<?, I, O>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a DynamicParallelOracleBuilder using the provided sul as a supplier.

newDynamicParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S, I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a DynamicParallelOmegaOracleBuilder using the provided collection of membership oracles.

newDynamicParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S, I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a DynamicParallelOmegaOracleBuilder using the provided supplier.

newDynamicParallelOracle(MembershipOracle<I, D>, MembershipOracle<I, D>...) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Convenience method for ParallelOracleBuilders.newDynamicParallelOracle(Collection).

newDynamicParallelOracle(StateLocalInputSUL<I, O>, O) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a DynamicParallelOracleBuilder using the provided sul as a supplier.

newDynamicParallelOracle(SUL<I, O>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a DynamicParallelOracleBuilder using the provided sul as a supplier.

newDynamicParallelOracle(Collection<? extends MembershipOracle<I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a DynamicParallelOracleBuilder using the provided collection of membership oracles.

newDynamicParallelOracle(Supplier<? extends MembershipOracle<I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a DynamicParallelOracleBuilder using the provided supplier.

newStaticParallelOmegaOracle(OmegaMembershipOracle<S, I, D>, OmegaMembershipOracle<S, I, D>...) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Convenience method for ParallelOracleBuilders.newStaticParallelOmegaOracle(Collection).

newStaticParallelOmegaOracle(ObservableSUL<?, I, O>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a StaticParallelOmegaOracleBuilder using the provided sul as a supplier.

newStaticParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S, I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a StaticParallelOmegaOracleBuilder using the provided collection of membership oracles.

newStaticParallelOmegaOracle(Supplier<? extends OmegaMembershipOracle<S, I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a StaticParallelOmegaOracleBuilder using the provided supplier.

newStaticParallelOracle(MembershipOracle<I, D>, MembershipOracle<I, D>...) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Convenience method for ParallelOracleBuilders.newStaticParallelOracle(Collection).

newStaticParallelOracle(StateLocalInputSUL<I, O>, O) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a StaticParallelOracleBuilder using the provided sul as a supplier.

newStaticParallelOracle(SUL<I, O>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a StaticParallelOracleBuilder using the provided sul as a supplier.

newStaticParallelOracle(Collection<? extends MembershipOracle<I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a StaticParallelOracleBuilder using the provided collection of membership oracles.

newStaticParallelOracle(Supplier<? extends MembershipOracle<I, D>>) - Static method in class de.learnlib.oracle.parallelism.ParallelOracleBuilders

Creates a StaticParallelOracleBuilder using the provided supplier.

NUM_INSTANCES - Static variable in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

P

ParallelOracleBuilders - Class in de.learnlib.oracle.parallelism

Builders for (static and dynamic) parallel oracles.

POOL_POLICY - Static variable in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

POOL_POLICY - Static variable in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

POOL_SIZE - Static variable in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

processBatch(Collection<? extends Q>) - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

processBatch(Collection<? extends Q>) - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

processQueries(Collection<? extends OmegaQuery<I, D>>) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOmegaOracle

processQueries(Collection<? extends OmegaQuery<I, D>>) - Method in class de.learnlib.oracle.parallelism.StaticParallelOmegaOracle

processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracle.parallelism.DynamicParallelOracle

processQueries(Collection<? extends Query<I, D>>) - Method in class de.learnlib.oracle.parallelism.StaticParallelOracle

S

shutdown() - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

shutdown() - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

shutdownNow() - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessor

shutdownNow() - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessor

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

A specialized AbstractStaticBatchProcessor for OmegaMembershipOracles that implements ParallelOmegaOracle.

StaticParallelOmegaOracle(Collection<? extends OmegaMembershipOracle<S, I, D>>, @org.checkerframework.checker.index.qual.NonNegative int, ThreadPool.PoolPolicy) - Constructor for class de.learnlib.oracle.parallelism.StaticParallelOmegaOracle

StaticParallelOmegaOracleBuilder<S,I,D> - Class in de.learnlib.oracle.parallelism

A specialized AbstractStaticBatchProcessorBuilder for OmegaMembershipOracles.

StaticParallelOmegaOracleBuilder(Collection<? extends OmegaMembershipOracle<S, I, D>>) - Constructor for class de.learnlib.oracle.parallelism.StaticParallelOmegaOracleBuilder

StaticParallelOmegaOracleBuilder(Supplier<? extends OmegaMembershipOracle<S, I, D>>) - Constructor for class de.learnlib.oracle.parallelism.StaticParallelOmegaOracleBuilder

StaticParallelOracle<I,D> - Class in de.learnlib.oracle.parallelism

A specialized AbstractStaticBatchProcessor for MembershipOracles that implements ParallelOracle.

StaticParallelOracle(Collection<? extends MembershipOracle<I, D>>, @org.checkerframework.checker.index.qual.NonNegative int, ThreadPool.PoolPolicy) - Constructor for class de.learnlib.oracle.parallelism.StaticParallelOracle

StaticParallelOracleBuilder<I,D> - Class in de.learnlib.oracle.parallelism

A specialized AbstractStaticBatchProcessorBuilder for MembershipOracles.

StaticParallelOracleBuilder(Collection<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.oracle.parallelism.StaticParallelOracleBuilder

StaticParallelOracleBuilder(Supplier<? extends MembershipOracle<I, D>>) - Constructor for class de.learnlib.oracle.parallelism.StaticParallelOracleBuilder

T

ThreadSafeDFACacheOracle<I> - Class in de.learnlib.filter.cache.dfa

A thread-safe variant of DFACacheOracle.

ThreadSafeDFACaches - Class in de.learnlib.filter.cache.dfa

A factory for creating thread-safe caches for DFA-based MembershipOracles.

ThreadSafeMealyCacheConsistencyTest<I,O> - Class in de.learnlib.filter.cache.mealy

A thread-safe variant of EquivalenceOracle.MealyEquivalenceOracle.

ThreadSafeMealyCacheConsistencyTest(EquivalenceOracle.MealyEquivalenceOracle<I, O>, ReadWriteLock) - Constructor for class de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheConsistencyTest

ThreadSafeMealyCacheOracle<I,O> - Class in de.learnlib.filter.cache.mealy

A thread-safe variant of MealyCacheOracle.

ThreadSafeMealyCaches - Class in de.learnlib.filter.cache.mealy

A factory for creating thread-safe caches for MealyMachine-based MembershipOracles.

ThreadSafeMooreCacheConsistencyTest<I,O> - Class in de.learnlib.filter.cache.moore

A thread-safe variant of EquivalenceOracle.MooreEquivalenceOracle.

ThreadSafeMooreCacheConsistencyTest(EquivalenceOracle.MooreEquivalenceOracle<I, O>, ReadWriteLock) - Constructor for class de.learnlib.filter.cache.moore.ThreadSafeMooreCacheConsistencyTest

ThreadSafeMooreCacheOracle<I,O> - Class in de.learnlib.filter.cache.moore

A thread-safe variant of MealyCacheOracle.

ThreadSafeMooreCaches - Class in de.learnlib.filter.cache.moore

A factory for creating thread-safe caches for MooreMachine-based MembershipOracles.

ThreadSafeStateLocalInputSULCache<I,O> - Class in de.learnlib.filter.cache.sul

A thread-safe variant of StateLocalInputSULCache.

ThreadSafeSULCache<I,O> - Class in de.learnlib.filter.cache.sul

A thread-safe variant of SULCache.

ThreadSafeSULCaches - Class in de.learnlib.filter.cache.sul

A factory for creating thread-safe SUL caches.

W

withBatchSize(int) - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

withCustomExecutor(ExecutorService) - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

withMinBatchSize(@org.checkerframework.checker.index.qual.NonNegative int) - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

withNumInstances(@org.checkerframework.checker.index.qual.NonNegative int) - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

withPoolPolicy(ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

withPoolPolicy(ThreadPool.PoolPolicy) - Method in class de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder

withPoolSize(@org.checkerframework.checker.index.qual.NonNegative int) - Method in class de.learnlib.oracle.parallelism.AbstractDynamicBatchProcessorBuilder

A B C D F G I M N P S T W
All Classes All Packages