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