Struct SketchDiagnostics 

pub struct SketchDiagnostics {
    pub dof: i64,
    pub rank: i64,
    pub unknowns: i64,
    pub equations: i64,
    pub redundant: i64,
    pub status: String,
    pub conflicting: bool,
    pub conflicting_constraints: Vec<String>,
    pub point_mobility: BTreeMap<String, String>,
    pub geometry_mobility: BTreeMap<String, String>,
}

The solver’s read-only constraint diagnostics: degrees of freedom, over/under status, and per-point / per-geometry mobility (movable vs locked) derived from the constraint-Jacobian null space. Keys in the mobility maps are id_key strings.

Fields

dof: i64

rank: i64

unknowns: i64

equations: i64

redundant: i64

status: String

conflicting: bool

conflicting_constraints: Vec<String>

The constraints the solver named as mutually unsatisfiable, as id_key strings. When the constraint rows are linearly dependent this is the group a left null-space certificate implicates, NOT merely whichever constraint relaxation happened to leave violated last; a contradiction whose rows stay independent admits no such certificate, and the group is then every constraint the solve came to rest still violating. Empty exactly when conflicting is clear — the solver drops the flag rather than raise it with nothing to point at.

point_mobility: BTreeMap<String, String>

id_key -> "movable" | "locked" per point (BTreeMap for a deterministic, solver-matching key order).

geometry_mobility: BTreeMap<String, String>

Implementations

impl SketchDiagnostics

pub fn constraint_conflicting(&self, id: &Value) -> bool

Whether id names a constraint in the conflicting group (matched via id_key, so a numeric 4 and a string "4" agree with the solver).

impl SketchDiagnostics

pub fn point_movable(&self, id: &Value) -> Option<bool>

Some(true) movable, Some(false) locked, None if the solver gave no mobility for this point id.

pub fn geometry_movable(&self, id: &Value) -> Option<bool>

Some(true) movable, Some(false) locked, None if unknown.

Trait Implementations

impl Clone for SketchDiagnostics

fn clone(&self) -> SketchDiagnostics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SketchDiagnostics

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

Formats the value using the given formatter.

impl Default for SketchDiagnostics

fn default() -> SketchDiagnostics

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SketchDiagnostics

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SketchDiagnostics

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SketchDiagnostics

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SketchDiagnostics