Struct proptest_quickcheck_interop::QCValueTree
[−]
[src]
pub struct QCValueTree<A: Arbitrary + Debug> { /* fields omitted */ }
The ValueTree
implementation for QCStrategy
.
Trait Implementations
impl<A: Arbitrary + Debug> ValueTree for QCValueTree<A>
[src]
type Value = A
The type of the value produced by this ValueTree
.
fn current(&self) -> Self::Value
[src]
Returns the current value.
fn complicate(&mut self) -> bool
[src]
Attempts to partially undo the last simplification. Notionally, this sets the "low" value to one plus the current value, and the current value to a "halfway point" between high and the new low, rounding towards low. Read more
fn simplify(&mut self) -> bool
[src]
Attempts to simplify the current value. Notionally, this sets the "high" value to the current value, and the current value to a "halfway point" between high and low, rounding towards low. Read more