Enum EncloseError 

pub enum EncloseError {
    Conflict {
        conflicting: Vec<(usize, Scalar)>,
        with: Vec<usize>,
        within: Scalar,
    },
    Unproven(GeopError),
}

Why no enclosure of a solution is proven.

Variants

Conflict

Constraints that cannot all hold anywhere within within — in each block’s steps — of where the solve ended: a combination of the rows, which vanishes wherever they all do, is definitely not zero over that box. By the constraint’s index, each with what the combination reducing it is there; with are the constraints it was reduced by, by index: what it conflicts with.

Fields

conflicting: Vec<(usize, Scalar)>

with: Vec<usize>

within: Scalar

Unproven(GeopError)

No solution was proven (see System::enclose).

Implementations

impl EncloseError

pub fn named(self, name: impl Fn(usize) -> String) -> GeopError

As an error, each constraint named by name.

Trait Implementations

impl Debug for EncloseError

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

Formats the value using the given formatter.

impl From<GeopError> for EncloseError

fn from(e: GeopError) -> Self

Converts to this type from the input type.