public class MealyLassoEmptinessOracleImpl<S,I,O> extends LassoEmptinessOracleImpl<Lasso.MealyLasso<I,O>,S,I,Word<O>> implements LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>, LassoOracle.MealyLassoOracle<I,O>
original class
.LassoEmptinessOracle.DFALassoEmptinessOracle<I>, LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>
EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<I,O>
LassoOracle.DFALassoOracle<I>, LassoOracle.MealyLassoOracle<I,O>
Constructor and Description |
---|
MealyLassoEmptinessOracleImpl(OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O> omegaMembershipOracle)
This is an auto-generated constructor.
|
findCounterExample, getOmegaMembershipOracle, isCounterExample, isOmegaCounterExample, processInput
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isOmegaCounterExample
findCounterExample, isCounterExample
findCounterExample, isCounterExample, isOmegaCounterExample, processInput
public MealyLassoEmptinessOracleImpl(OmegaMembershipOracle.MealyOmegaMembershipOracle<S,I,O> omegaMembershipOracle)
original constructor
.Copyright © 2020. All rights reserved.