Struct Enclosure 

pub struct Enclosure {
    pub state: StateValues,
    pub unproven: Vec<(Vec<String>, String)>,
}

An enclosure of a true solution of the constraints: every value it could have, by name — or, for the values whose groups none is proven for, why not.

Fields

state: StateValues

Per value enclosed, the box its true value is in.

unproven: Vec<(Vec<String>, String)>

Per group of values not proven, its values and why: the constraints that conflict there, by name, or what is singular.

Trait Implementations

impl Clone for Enclosure

fn clone(&self) -> Enclosure

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Enclosure

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

Formats the value using the given formatter.

impl PartialEq for Enclosure

fn eq(&self, other: &Enclosure) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Enclosure