Package de.learnlib.oracle.emptiness
Class DFALassoEmptinessOracleImpl<S,I>
- java.lang.Object
-
- de.learnlib.oracle.emptiness.LassoEmptinessOracleImpl<Lasso.DFALasso<I>,S,I,Boolean>
-
- de.learnlib.oracle.emptiness.DFALassoEmptinessOracleImpl<S,I>
-
- All Implemented Interfaces:
EmptinessOracle<Lasso.DFALasso<I>,I,Boolean>
,LassoEmptinessOracle<Lasso.DFALasso<I>,I,Boolean>
,LassoEmptinessOracle.DFALassoEmptinessOracle<I>
,LassoOracle<Lasso.DFALasso<I>,I,Boolean>
,LassoOracle.DFALassoOracle<I>
public class DFALassoEmptinessOracleImpl<S,I> extends LassoEmptinessOracleImpl<Lasso.DFALasso<I>,S,I,Boolean> implements LassoEmptinessOracle.DFALassoEmptinessOracle<I>, LassoOracle.DFALassoOracle<I>
This is an auto-generated refinement. See theoriginal class
.
-
-
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 DFALassoEmptinessOracleImpl(OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I> omegaMembershipOracle)
This is an auto-generated constructor.
-
Method Summary
-
Methods inherited from class de.learnlib.oracle.emptiness.LassoEmptinessOracleImpl
findCounterExample, getOmegaMembershipOracle, isCounterExample, processInput
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface de.learnlib.oracle.EmptinessOracle
findCounterExample, isCounterExample
-
Methods inherited from interface de.learnlib.oracle.LassoOracle
findCounterExample, isCounterExample, processInput
-
-
-
-
Constructor Detail
-
DFALassoEmptinessOracleImpl
public DFALassoEmptinessOracleImpl(OmegaMembershipOracle.DFAOmegaMembershipOracle<S,I> omegaMembershipOracle)
This is an auto-generated constructor. See theoriginal constructor
.
-
-