Package de.learnlib.oracle.emptiness

Class LassoEmptinessOracleImpl<L extends Lasso<I,D>,S,I,D>

java.lang.Object

de.learnlib.oracle.emptiness.LassoEmptinessOracleImpl<L,S,I,D>

All Implemented Interfaces:

EmptinessOracle<L,I,D>, LassoEmptinessOracle<L,I,D>, LassoOracle<L,I,D>

Direct Known Subclasses:

DFALassoEmptinessOracleImpl, MealyLassoEmptinessOracleImpl

public class LassoEmptinessOracleImpl<L extends Lasso<I,D>,S,I,D>
extends Object
implements LassoEmptinessOracle<L,I,D>, LassoOracle<L,I,D>

Nested Class Summary

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

EmptinessOracle.DFAEmptinessOracle<I extends Object>, EmptinessOracle.MealyEmptinessOracle<I extends Object,O extends Object>

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

LassoEmptinessOracle.DFALassoEmptinessOracle<I extends Object>, LassoEmptinessOracle.MealyLassoEmptinessOracle<I extends Object,O extends Object>

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

LassoOracle.DFALassoOracle<I extends Object>, LassoOracle.MealyLassoOracle<I extends Object,O extends Object>

Constructor Summary

Constructors

Constructor	Description
LassoEmptinessOracleImpl(OmegaMembershipOracle<S,I,D> omegaMembershipOracle)

Method Summary

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,D>	findCounterExample(L hypothesis, Collection<? extends I> inputs)
OmegaMembershipOracle<S,I,D>	getOmegaMembershipOracle()
boolean	isCounterExample(Output<I,D> hypothesis, Iterable<? extends I> input, D output)
OmegaQuery<I,D>	processInput(Word<I> prefix, Word<I> loop, int repeat)

Methods inherited from class java.lang.Object

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

Constructor Detail

LassoEmptinessOracleImpl

public LassoEmptinessOracleImpl(OmegaMembershipOracle<S,I,D> omegaMembershipOracle)

Method Detail

getOmegaMembershipOracle

public OmegaMembershipOracle<S,I,D> getOmegaMembershipOracle()

processInput

public OmegaQuery<I,D> processInput(Word<I> prefix,
                                          Word<I> loop,
                                          int repeat)

Specified by:

processInput in interface LassoOracle<L extends Lasso<I,D>,S,I>

isCounterExample

public boolean isCounterExample(Output<I,D> hypothesis,
                                Iterable<? extends I> input,
                                D output)

Specified by:

isCounterExample in interface EmptinessOracle<L extends Lasso<I,D>,S,I>

Specified by:

isCounterExample in interface LassoOracle<L extends Lasso<I,D>,S,I>

findCounterExample

public @Nullable DefaultQuery<I,D> findCounterExample(L hypothesis,
                                                            Collection<? extends I> inputs)

Specified by:

findCounterExample in interface EmptinessOracle<L extends Lasso<I,D>,S,I>

Specified by:

findCounterExample in interface LassoOracle<L extends Lasso<I,D>,S,I>