Enum Constraint 

pub enum Constraint {
    Coincident {
        a: PointId,
        b: PointId,
    },
    PointOnCurve {
        point: PointId,
        curve: CurveId,
    },
    Horizontal {
        line: CurveId,
    },
    Vertical {
        line: CurveId,
    },
    Parallel {
        a: CurveId,
        b: CurveId,
    },
    Perpendicular {
        a: CurveId,
        b: CurveId,
    },
    Collinear {
        a: CurveId,
        b: CurveId,
    },
    Tangent {
        a: CurveId,
        b: CurveId,
    },
    Equal {
        a: CurveId,
        b: CurveId,
    },
    Concentric {
        a: CurveId,
        b: CurveId,
    },
    Midpoint {
        point: PointId,
        curve: CurveId,
    },
    Symmetric {
        a: PointId,
        b: PointId,
        line: CurveId,
    },
    Fix {
        point: PointId,
        x: f64,
        y: f64,
    },
    Distance {
        a: PointId,
        b: PointId,
        value: f64,
    },
    DistanceX {
        a: PointId,
        b: PointId,
        value: f64,
    },
    DistanceY {
        a: PointId,
        b: PointId,
        value: f64,
    },
    PointLineDistance {
        point: PointId,
        line: CurveId,
        value: f64,
    },
    Length {
        curve: CurveId,
        value: f64,
    },
    Radius {
        curve: CurveId,
        value: f64,
    },
    Angle {
        a: CurveId,
        b: CurveId,
        value: f64,
    },
}

The typical CAD sketch constraints. Distances and lengths are in sketch units, angles in radians.

Variants

Coincident

a and b are the same point.

Fields

a: PointId

b: PointId

PointOnCurve

point lies on curve (a line’s infinite extension, an arc’s full circle, or a circle).

Fields

point: PointId

curve: CurveId

Horizontal

Fields

line: CurveId

Vertical

Fields

line: CurveId

Parallel

Fields

a: CurveId

b: CurveId

Perpendicular

Fields

a: CurveId

b: CurveId

Collinear

Two lines on one infinite line.

Fields

a: CurveId

b: CurveId

Tangent

Two curves meet tangentially: at a shared endpoint if they have one (lines, arcs and splines), else a line touching a circle/arc, or two circles/arcs touching each other.

Fields

a: CurveId

b: CurveId

Equal

Equal length (two lines) or equal radius (two circles/arcs).

Fields

a: CurveId

b: CurveId

Concentric

Two circles/arcs share a center.

Fields

a: CurveId

b: CurveId

Midpoint

point is the midpoint of a line or arc.

Fields

point: PointId

curve: CurveId

Symmetric

a and b are mirror images across line.

Fields

a: PointId

b: PointId

line: CurveId

Fix

point stays at (x, y).

Fields

point: PointId

x: f64

y: f64

Distance

Fields

a: PointId

b: PointId

value: f64

DistanceX

b.x - a.x = value.

Fields

a: PointId

b: PointId

value: f64

DistanceY

b.y - a.y = value.

Fields

a: PointId

b: PointId

value: f64

PointLineDistance

Fields

point: PointId

line: CurveId

value: f64

Length

Length of a line or arc.

Fields

curve: CurveId

value: f64

Radius

Radius of a circle or arc.

Fields

curve: CurveId

value: f64

Angle

The counter-clockwise angle from line a’s direction to line b’s.

Fields

a: CurveId

b: CurveId

value: f64

Implementations

impl Constraint

pub fn points(&self) -> Vec<PointId>

The points this constraint refers to directly (curves aside).

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Constraint

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Constraint

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Constraint

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 Constraint