Uses of Class
de.learnlib.oracle.equivalence.DisproveFirstOracle

Packages that use DisproveFirstOracle

Package	Description
de.learnlib.oracle.equivalence

Uses of DisproveFirstOracle in de.learnlib.oracle.equivalence

Subclasses of DisproveFirstOracle in de.learnlib.oracle.equivalence

Modifier and Type	Class	Description
class	DFADisproveFirstOracle<I>	A type-specific refinement of DisproveFirstOracle.
class	MealyDisproveFirstOracle<I,O>	A type-specific refinement of DisproveFirstOracle.