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 © 2014. All Rights Reserved.