Struct DerivedConstraint 

pub struct DerivedConstraint {
    pub name: String,
    pub zero_expressions: Vec<Atom>,
    pub constraint_grades: Vec<usize>,
}

Result of deriving constraints for a type.

Fields

name: String

Name describing the constraint (e.g., “geometric”, “study”).

zero_expressions: Vec<Atom>

Symbolic expressions that must equal zero.

Each expression corresponds to a non-scalar grade in u * reverse(u). All must be zero for the type to satisfy the geometric constraint.

constraint_grades: Vec<usize>

Grades of the non-scalar terms (for documentation).

Trait Implementations

impl Clone for DerivedConstraint

fn clone(&self) -> DerivedConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivedConstraint

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

Formats the value using the given formatter.