Package de.learnlib.oracle
Interface LassoOracle.DFALassoOracle<I>
-
- All Superinterfaces:
LassoOracle<Lasso.DFALasso<I>,I,Boolean>
- All Known Implementing Classes:
DFALassoEmptinessOracleImpl
public static interface LassoOracle.DFALassoOracle<I> extends LassoOracle<Lasso.DFALasso<I>,I,Boolean>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface de.learnlib.oracle.LassoOracle
LassoOracle.DFALassoOracle<I>, LassoOracle.MealyLassoOracle<I,O>
-
-
Method Summary
-
Methods inherited from interface de.learnlib.oracle.LassoOracle
findCounterExample, isCounterExample, processInput
-
-