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,
    },
    Center {
        point: PointId,
        curve: CurveId,
    },
    Midpoint {
        point: PointId,
        curve: CurveId,
    },
    Symmetric {
        a: PointId,
        b: PointId,
        line: CurveId,
    },
    Fix {
        point: PointId,
        x: Scalar,
        y: Scalar,
    },
    Distance {
        a: PointId,
        b: PointId,
        value: Scalar,
    },
    DistanceX {
        a: PointId,
        b: PointId,
        value: Scalar,
    },
    DistanceY {
        a: PointId,
        b: PointId,
        value: Scalar,
    },
    PointLineDistance {
        point: PointId,
        line: CurveId,
        value: Scalar,
    },
    Length {
        curve: CurveId,
        value: Scalar,
    },
    Radius {
        curve: CurveId,
        value: Scalar,
    },
    Diameter {
        curve: CurveId,
        value: Scalar,
    },
    Angle {
        a: CurveId,
        b: CurveId,
        value: Scalar,
    },
    Moved {
        a: PointId,
        b: PointId,
        by: CurveId,
    },
    EqualSweep {
        a: CurveId,
        b: CurveId,
    },
    Offset {
        a: CurveId,
        b: CurveId,
        value: Scalar,
    },
    OffsetAt {
        a: CurveId,
        at: Scalar,
        b: CurveId,
        on: Scalar,
        by: CurveId,
        across: bool,
    },
}

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

Center

point is the center of a circle or arc.

Fields

point: PointId

curve: 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: Scalar

y: Scalar

Distance

Fields

a: PointId

b: PointId

value: Scalar

DistanceX

b.x - a.x = value.

Fields

a: PointId

b: PointId

value: Scalar

DistanceY

b.y - a.y = value.

Fields

a: PointId

b: PointId

value: Scalar

PointLineDistance

Fields

point: PointId

line: CurveId

value: Scalar

Length

Length of a line or arc.

Fields

curve: CurveId

value: Scalar

Radius

Radius of a circle or arc.

Fields

curve: CurveId

value: Scalar

Diameter

Diameter of a circle or arc.

Fields

curve: CurveId

value: Scalar

Angle

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

Fields

a: CurveId

b: CurveId

value: Scalar

Moved

b is a moved the way by carries its start onto its end: along a line, shifted by it; round an arc, turned about the arc’s center by its sweep. How a pattern’s copies follow what they copy (see crate::copies).

Fields

a: PointId

b: PointId

by: CurveId

EqualSweep

Two arcs turn by the same angle: an arc whose ends are the images of another’s, under a motion or a reflection, is then its image.

Fields

a: CurveId

b: CurveId

Offset

b runs value from a: two parallel lines value apart, or two concentric circles/arcs whose radii differ by value (see crate::offset).

Fields

a: CurveId

b: CurveId

value: Scalar

OffsetAt

The point on along the spline b lies the radius of the circle by from the point at along the spline a, along a’s normal there — or, across, only that far across it: anywhere on the line a’s offset runs along there. Each as a fraction of the spline’s domain. The offset of a spline is no spline: a spline fitted through such points is held to it (see crate::offset).

Fields

a: CurveId

at: Scalar

b: CurveId

on: Scalar

by: CurveId

across: bool

Implementations

impl Constraint

pub fn value(&self) -> Option<Scalar>

The dimension it holds, if it holds one — an angle in radians: what a dialog edits.

pub fn set_value(&mut self, v: Scalar)

Gives its dimension the value v — an angle in radians; nothing for one without.

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

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

pub fn curves(&self) -> Vec<CurveId>

The curves this constraint refers to.

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

Equality operator ==.

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

Inequality operator !=.

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