public class SimpleEQOracle<A extends InputAlphabetHolder<I>,I,D> extends Object
| Constructor and Description |
|---|
SimpleEQOracle(EquivalenceOracle<A,I,D> eqOracle) |
| Modifier and Type | Method and Description |
|---|---|
static <A extends InputAlphabetHolder<I>,I,D> |
create(EquivalenceOracle<A,I,D> eqOracle) |
DefaultQuery<I,D> |
findCounterExample(A hypothesis) |
public SimpleEQOracle(EquivalenceOracle<A,I,D> eqOracle)
public static <A extends InputAlphabetHolder<I>,I,D> SimpleEQOracle<A,I,D> create(EquivalenceOracle<A,I,D> eqOracle)
public DefaultQuery<I,D> findCounterExample(A hypothesis)
Copyright © 2015. All Rights Reserved.