Package de.learnlib.filter.cache.mealy
Class ThreadSafeMealyCacheConsistencyTest<I,O>
- java.lang.Object
-
- de.learnlib.filter.cache.mealy.ThreadSafeMealyCacheConsistencyTest<I,O>
-
- Type Parameters:
I- input symbol typeO- output symbol type
- All Implemented Interfaces:
EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>,EquivalenceOracle.MealyEquivalenceOracle<I,O>
public final class ThreadSafeMealyCacheConsistencyTest<I,O> extends Object implements EquivalenceOracle.MealyEquivalenceOracle<I,O>
A thread-safe variant ofEquivalenceOracle.MealyEquivalenceOracle.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle
EquivalenceOracle.DFAEquivalenceOracle<I extends Object>, EquivalenceOracle.MealyEquivalenceOracle<I extends Object,O extends Object>, EquivalenceOracle.MooreEquivalenceOracle<I extends Object,O extends Object>
-
-
Constructor Summary
Constructors Constructor Description ThreadSafeMealyCacheConsistencyTest(EquivalenceOracle.MealyEquivalenceOracle<I,O> delegate, ReadWriteLock lock)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description @Nullable DefaultQuery<I,net.automatalib.word.Word<O>>findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
-
-
-
Constructor Detail
-
ThreadSafeMealyCacheConsistencyTest
public ThreadSafeMealyCacheConsistencyTest(EquivalenceOracle.MealyEquivalenceOracle<I,O> delegate, ReadWriteLock lock)
-
-
Method Detail
-
findCounterExample
public @Nullable DefaultQuery<I,net.automatalib.word.Word<O>> findCounterExample(net.automatalib.automaton.transducer.MealyMachine<?,I,?,O> hypothesis, Collection<? extends I> inputs)
- Specified by:
findCounterExamplein interfaceEquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>
-
-