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>, 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
All Methods Instance Methods Concrete Methods 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)
Returns whether the given input and output is a counter example for the given hypothesis.OmegaQuery<I,D>
processInput(Word<I> prefix, Word<I> loop, int repeat)
Processes the given omega query.
-
-
-
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)
Description copied from interface:LassoOracle
Processes the given omega query.- Specified by:
processInput
in interfaceLassoOracle<L extends Lasso<I,D>,S,I>
- Parameters:
prefix
- the prefixloop
- the looprepeat
- the maximum number of times the loop may be repeated- Returns:
- the omega query.
-
isCounterExample
public boolean isCounterExample(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 interfaceEmptinessOracle<L extends Lasso<I,D>,S,I>
- Specified by:
isCounterExample
in interfaceLassoOracle<L extends Lasso<I,D>,S,I>
- Parameters:
hypothesis
- the hypothesisinput
- the input sequenceoutput
- 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 interfaceEmptinessOracle<L extends Lasso<I,D>,S,I>
- Specified by:
findCounterExample
in interfaceLassoOracle<L extends Lasso<I,D>,S,I>
-
-