Struct Enclosure 

pub struct Enclosure<V: Variable> {
    pub boxes: Vec<Option<V>>,
    pub freedom: Vec<usize>,
    pub total: usize,
    pub failures: Vec<(Vec<usize>, EncloseError)>,
    pub evaluations: usize,
    /* private fields */
}

An enclosure of a true solution, group by group, and how free the blocks are (see System::enclose).

Fields

boxes: Vec<Option<V>>

Per block, every value it could have at the true solution its group was proven to hold — None for a block whose group was not enclosed, or not proven.

freedom: Vec<usize>

Per block, how many independent ways it can still move: decided over the proven box, or — not proven — at the point.

total: usize

How many independent ways the blocks can move together.

failures: Vec<(Vec<usize>, EncloseError)>

Why the groups not proven were not, each with its blocks.

evaluations: usize

How many times the equations were made to enclose it — every group’s at once: the work it took, which a test can bound.

Trait Implementations

impl<V: Debug + Variable> Debug for Enclosure<V>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.