Uses of Package
de.learnlib.oracle.equivalence

Packages that use de.learnlib.oracle.equivalence

Package	Description
de.learnlib.oracle.equivalence
de.learnlib.oracle.equivalence.vpda

Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence

Class and Description
AbstractTestWordEQOracle An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes to solely focus on test word generation by implementing AbstractTestWordEQOracle.generateTestWords(Output, Collection).
CompleteExplorationEQOracle Implements an equivalence check by complete exploration up to a given depth, i.e., by testing all possible sequences of a certain length within a specified range.
EQOracleChain
IncrementalWMethodEQOracle
RandomWMethodEQOracle Implements an equivalence test by applying the W-method test on the given hypothesis automaton.
RandomWordsEQOracle
RandomWpMethodEQOracle Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in "Test Selection Based on Finite State Models" by S.
SampleSetEQOracle An equivalence oracle that tests a hypothesis against a fixed set of sample queries.
SimpleEQOracle
SimulatorEQOracle
WMethodEQOracle Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in "Testing software design modeled by finite state machines" by T.S.
WpMethodEQOracle Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in "Test Selection Based on Finite State Models" by S.

Classes in de.learnlib.oracle.equivalence used by de.learnlib.oracle.equivalence.vpda

Class and Description
AbstractTestWordEQOracle An abstract equivalence oracle that takes care of query batching and hypothesis checking and allows extending classes to solely focus on test word generation by implementing AbstractTestWordEQOracle.generateTestWords(Output, Collection).