Module de.learnlib.oracle.emptiness

Package de.learnlib.oracle.emptiness

Class LassoEmptinessOracleImpl<L extends net.automatalib.modelchecking.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 net.automatalib.modelchecking.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>, EmptinessOracle.MealyEmptinessOracle<I,O>

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

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

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

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

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(net.automatalib.automaton.concept.Output<I,D> hypothesis, Iterable<? extends I> input, D output)	Returns whether the given input and output is a counter example for the given hypothesis.
OmegaQuery<I,D>	processInput(net.automatalib.word.Word<I> prefix, net.automatalib.word.Word<I> loop, int repeat)	Processes the given omega query.

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(net.automatalib.word.Word<I> prefix,
                                          net.automatalib.word.Word<I> loop,
                                          int repeat)

Description copied from interface: LassoOracle

Processes the given omega query.

Specified by:

processInput in interface LassoOracle<L extends net.automatalib.modelchecking.Lasso<I,D>,S,I>

Parameters:

prefix - the prefix

loop - the loop

repeat - the maximum number of times the loop may be repeated

Returns:

the omega query.

isCounterExample

public boolean isCounterExample(net.automatalib.automaton.concept.Output<I,D> hypothesis,
                                Iterable<? extends I> input,
                                D output)

Description copied from interface: LassoOracle

Returns whether the given input and output is a counter example for the given hypothesis.

Specified by:

isCounterExample in interface EmptinessOracle<L extends net.automatalib.modelchecking.Lasso<I,D>,S,I>

Specified by:

isCounterExample in interface LassoOracle<L extends net.automatalib.modelchecking.Lasso<I,D>,S,I>

Parameters:

hypothesis - the hypothesis

input - the input sequence

output - the output corresponding to the input.

Returns:

whether the given input and output is a counter example.

findCounterExample

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

Specified by:

findCounterExample in interface EmptinessOracle<L extends net.automatalib.modelchecking.Lasso<I,D>,S,I>

Specified by:

findCounterExample in interface LassoOracle<L extends net.automatalib.modelchecking.Lasso<I,D>,S,I>