slvs 0.6.0

Rust wrapper for the SolveSpace constraint solver library.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

use serde::{Deserialize, Serialize};

use super::AsConstraintData;
use crate::{
    bindings::{Slvs_hEntity, Slvs_hGroup, SLVS_C_WHERE_DRAGGED},
    define_element,
    element::{AsGroup, AsHandle, AsSlvsType, FromSystem},
    entity::{EntityHandle, Point, Workplane},
    group::Group,
    System,
};

define_element!(
    SLVS_C_WHERE_DRAGGED,
    /// The `point` is locked at its initial numerical guess and cannot be moved.
    ///
    /// This constrains two degrees of freedom in a workplane, and three in free space.
    /// It is therefore possible for this constraint to over-constrain the sketch,
    /// for example if it's applied to a point with one remaining degree of freedom.
    struct WhereDragged {
        point: EntityHandle<Point>,
        /// If provided, constraint applies when projected onto this workplane.
        workplane: Option<EntityHandle<Workplane>>,
    }
);
impl AsConstraintData for WhereDragged {
    fn workplane(&self) -> Option<Slvs_hEntity> {
        self.workplane.map(|workplane| workplane.handle())
    }

    fn points(&self) -> Option<[Slvs_hEntity; 2]> {
        Some([self.point.handle(), 0])
    }
}

impl FromSystem for WhereDragged {
    fn from_system(sys: &System, element: &impl AsHandle) -> Result<Self, &'static str>
    where
        Self: Sized,
    {
        let slvs_constraint = sys.slvs_constraint(element.handle())?;

        if SLVS_C_WHERE_DRAGGED == slvs_constraint.type_ as _ {
            Ok(Self {
                group: Group(slvs_constraint.group),
                point: EntityHandle::new(slvs_constraint.ptA),
                workplane: match slvs_constraint.wrkpl {
                    0 => None,
                    h => Some(EntityHandle::new(h)),
                },
            })
        } else {
            Err("Expected constraint to have type SLVS_C_WHERE_DRAGGED.")
        }
    }
}

#[cfg(test)]
mod tests {
    use crate::{
        constraint::{PtPtDistance, WhereDragged},
        entity::Point,
        len_within_tolerance,
        utils::distance,
        System,
    };

    #[test]
    fn where_dragged() {
        let mut sys = System::new();

        let g = sys.add_group();

        let initial_coords = [-87.0, 57.0, -32.0];

        let point_a = sys
            .sketch(Point::new_in_3d(g, initial_coords))
            .expect("point created");
        let point_b = sys
            .sketch(Point::new_in_3d(g, [-14.0, 46.0, -54.0]))
            .expect("point created");

        sys.constrain(WhereDragged::new(g, point_a, None))
            .expect("constraint added");
        sys.constrain(PtPtDistance::new(g, point_a, point_b, 10.0, None))
            .expect("constraint added");

        dbg!(sys.solve(&g));

        if let Point::In3d { coords, .. } = sys.entity_data(&point_a).expect("data found") {
            len_within_tolerance!(distance(initial_coords, coords), 0.0);
        } else {
            unreachable!()
        }
    }
}