public class LassoEmptinessOracleImpl<L extends Lasso<I,D>,S,I,D> extends Object implements LassoEmptinessOracle<L,I,D>, LassoOracle<L,I,D>
LassoEmptinessOracle.DFALassoEmptinessOracle<I>, LassoEmptinessOracle.MealyLassoEmptinessOracle<I,O>EmptinessOracle.DFAEmptinessOracle<I>, EmptinessOracle.MealyEmptinessOracle<I,O>LassoOracle.DFALassoOracle<I>, LassoOracle.MealyLassoOracle<I,O>| Constructor and Description |
|---|
LassoEmptinessOracleImpl(OmegaMembershipOracle<S,I,D> omegaMembershipOracle) |
| Modifier and Type | Method and 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) |
boolean |
isOmegaCounterExample(boolean isUltimatelyPeriodic) |
OmegaQuery<I,D> |
processInput(Word<I> prefix,
Word<I> loop,
int repeat) |
public LassoEmptinessOracleImpl(OmegaMembershipOracle<S,I,D> omegaMembershipOracle)
public OmegaMembershipOracle<S,I,D> getOmegaMembershipOracle()
public OmegaQuery<I,D> processInput(Word<I> prefix, Word<I> loop, int repeat)
processInput in interface LassoOracle<L extends Lasso<I,D>,I,D>public boolean isCounterExample(Output<I,D> hypothesis, Iterable<? extends I> input, D output)
isCounterExample in interface EmptinessOracle<L extends Lasso<I,D>,I,D>isCounterExample in interface LassoOracle<L extends Lasso<I,D>,I,D>public @Nullable DefaultQuery<I,D> findCounterExample(L hypothesis, Collection<? extends I> inputs)
findCounterExample in interface EmptinessOracle<L extends Lasso<I,D>,I,D>findCounterExample in interface LassoOracle<L extends Lasso<I,D>,I,D>public boolean isOmegaCounterExample(boolean isUltimatelyPeriodic)
isOmegaCounterExample in interface LassoEmptinessOracle<L extends Lasso<I,D>,I,D>isOmegaCounterExample in interface LassoOracle<L extends Lasso<I,D>,I,D>Copyright © 2020. All rights reserved.