kcl-ezpz 0.2.18

A constraint solver for KCL and Zoo Design Studio
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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171

use crate::datatypes::{Angle, outputs::Component};

use super::Label;

#[derive(Debug)]
pub(crate) enum Instruction {
    DeclarePoint(DeclarePoint),
    DeclareCircle(DeclareCircle),
    DeclareArc(DeclareArc),
    FixPointComponent(FixPointComponent),
    Vertical(Vertical),
    Horizontal(Horizontal),
    Distance(Distance),
    Parallel(Parallel),
    Perpendicular(Perpendicular),
    AngleLine(AngleLine),
    PointsCoincident(PointsCoincident),
    PointArcCoincident(PointArcCoincident),
    Midpoint(Midpoint),
    Symmetric(Symmetric),
    CircleRadius(CircleRadius),
    Tangent(Tangent),
    ArcRadius(ArcRadius),
    FixCenterPointComponent(FixCenterPointComponent),
    LinesEqualLength(LinesEqualLength),
    IsArc(IsArc),
    PointLineDistance(PointLineDistance),
    Line(Line),
    ArcLength(ArcLength),
}

#[derive(Debug)]
pub struct Distance {
    pub label: (Label, Label),
    pub distance: f64,
}

#[derive(Debug)]
pub struct Parallel {
    pub line0: (Label, Label),
    pub line1: (Label, Label),
}

#[derive(Debug)]
pub struct CircleRadius {
    pub circle: Label,
    pub radius: f64,
}

#[derive(Debug)]
pub struct Tangent {
    pub circle: Label,
    pub line_p0: Label,
    pub line_p1: Label,
}

#[derive(Debug)]
pub struct ArcRadius {
    pub arc_label: Label,
    pub radius: f64,
}

#[derive(Debug)]
pub struct LinesEqualLength {
    pub line0: (Label, Label),
    pub line1: (Label, Label),
}

#[derive(Debug)]
pub struct IsArc {
    pub arc_label: Label,
}

#[derive(Debug)]
pub struct Line {
    pub p0: Label,
    pub p1: Label,
}

#[derive(Debug)]
pub struct Perpendicular {
    pub line0: (Label, Label),
    pub line1: (Label, Label),
}

#[derive(Debug)]
pub struct AngleLine {
    pub line0: (Label, Label),
    pub line1: (Label, Label),
    pub angle: Angle,
}

#[derive(Debug)]
pub struct PointsCoincident {
    pub point0: Label,
    pub point1: Label,
}

#[derive(Debug)]
pub struct PointArcCoincident {
    pub point: Label,
    pub arc: Label,
}

#[derive(Debug)]
pub struct Midpoint {
    pub point0: Label,
    pub point1: Label,
    pub mp: Label,
}

#[derive(Debug)]
pub struct PointLineDistance {
    pub point: Label,
    pub line_p0: Label,
    pub line_p1: Label,
    pub distance: f64,
}

#[derive(Debug)]
pub struct ArcLength {
    pub arc: Label,
    pub distance: f64,
}

#[derive(Debug)]
pub struct Symmetric {
    /// Be symmetric across this line.
    pub line: (Label, Label),
    pub p0: Label,
    pub p1: Label,
}

#[derive(Debug)]
pub struct Vertical {
    pub label: (Label, Label),
}

#[derive(Debug)]
pub struct Horizontal {
    pub label: (Label, Label),
}

#[derive(Debug)]
pub struct DeclarePoint {
    pub label: Label,
}

#[derive(Debug)]
pub struct DeclareCircle {
    pub label: Label,
}

#[derive(Debug)]
pub struct DeclareArc {
    pub label: Label,
}

#[derive(Debug)]
pub struct FixPointComponent {
    pub point: Label,
    pub component: Component,
    pub value: f64,
}

#[derive(Debug)]
pub struct FixCenterPointComponent {
    pub object: Label,
    pub center_component: Component,
    pub value: f64,
}