|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| CompleteSearchEquivalenceOracle | Will test all words up to depth maxWordLength |
| EquivalenceOracleOutputImpl | |
| EquivalenceOracleSimple | |
| EvolvingHypothesisRandomWalk | Deprecated. |
| RandomWalkEquivalenceOracle | |
| SimulatorEquivalenceOracle | |
| SimulatorEquivalenceOracleDFA | |
| WMethodEquivalenceTest | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||