SimpleEQOracle (LearnLib 0.11.2 API)

public class SimpleEQOracle<A extends InputAlphabetHolder<I>,I,D>
extends Object

Constructors
Constructor and Description
`SimpleEQOracle(EquivalenceOracle<A,I,D> eqOracle)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static <A extends InputAlphabetHolder<I>,I,D> SimpleEQOracle<A,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)

Class SimpleEQOracle<A extends InputAlphabetHolder<I>,I,D>