Package de.learnlib.oracle.equivalence.spa

Class Summary

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.