Struct contrafact::BruteFact

pub struct BruteFact<'a, T> { /* fields omitted */ }

A brute-force fact. Use brute() to construct.

Trait Implementations

impl<'a, T: Clone> Clone for BruteFact<'a, T>

fn clone(&self) -> BruteFact<'a, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, T> Fact<T> for BruteFact<'a, T> where
    T: Bounds, 

fn check(&self, t: &T) -> Check

Assert that the constraint is satisfied (panic if not).

fn mutate(&self, t: &mut T, u: &mut Unstructured<'static>)

Apply a mutation which moves the obj closer to satisfying the overall constraint.

fn advance(&mut self, _: &T)

When checking or mutating a sequence of items, this gets called after each item to modify the state to get ready for the next item.

fn satisfy(&mut self, obj: &mut T, u: &mut Unstructured<'static>)

Mutate a value such that it satisfies the constraint. If the constraint cannot be satisfied, panic.

fn build(&mut self, u: &mut Unstructured<'static>) -> T

Build a new value such that it satisfies the constraint