Skip to main content

Module bdist_method

rust_lstar::eqtest

Module bdist_method 

Source
Expand description

BDist method implementation. BDist equivalence-test implementation.

The strategy compares state representatives and searches distinguishing suffixes up to a bounded depth.

Structsยง

BDistMethod
BDist equivalence-test strategy.