Module de.learnlib.oracle.equivalence

Package de.learnlib.oracle.equivalence.spa

package de.learnlib.oracle.equivalence.spa

Related Packages

Package	Description
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.mealy
de.learnlib.oracle.equivalence.mmlt
de.learnlib.oracle.equivalence.sba
de.learnlib.oracle.equivalence.spmm
de.learnlib.oracle.equivalence.vpa

Classes

Class	Description
SimulatorEQOracle<I>
WMethodEQOracle<I>	An SPA version of WMethodEQOracle which generates test sequences based on the W-method for each procedure.
WpMethodEQOracle<I>	An SPA version of WpMethodEQOracle which generates test sequences based on the partial W-method for each procedure.