Module eqtest 

Equivalence-test strategies used by the learner. Equivalence-test strategy interfaces and implementations.

These strategies search for a counterexample that disproves a current hypothesis automaton.

Re-exports

pub use bdist_method::BDistMethod;

pub use multiple_eqtests::MultipleEqtests;

pub use random_walk::RandomWalkMethod;

pub use w_method::WMethodEQ;

Modules

bdist_method

BDist method implementation. BDist equivalence-test implementation.

multiple_eqtests

Composition of multiple equivalence tests.

random_walk

Random-walk based equivalence testing. Random-walk equivalence-test implementation.

w_method

W-method implementation. W-method equivalence-test implementation.

Structs

Counterexample

Represents a counterexample found during equivalence testing

Traits

EquivalenceTest

Trait for equivalence testing methods

Type Aliases

WpMethodEQ

Alias for the Wp-method name used by some literature.