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
|
#include "cad/solve.h"
#include <assert.h>
int main(int argc, char *argv[]) {
{
struct constraints constraints = {};
struct component p1 = {.type = COM_POINT};
struct component p2 = {.type = COM_POINT};
struct component p3 = {.type = COM_POINT};
struct component p4 = {.type = COM_POINT};
struct component p5 = {.type = COM_POINT};
struct component t1base = {.type = COM_LINE};
struct component t2base = {.type = COM_LINE};
add_constraint(&constraints, (struct constraint[]){
// Make a triangle
PP_DISTANCE(&p1, &p2, 30),
PP_DISTANCE(&p1, &p3, 30),
PP_DISTANCE(&p2, &p3, 30),
POINT_ON_LINE(&p1, &t1base),
POINT_ON_LINE(&p2, &t1base),
// With another triangle sharing the topmost point
PP_DISTANCE(&p4, &p5, 30),
PP_DISTANCE(&p3, &p4, 30),
PP_DISTANCE(&p3, &p5, 30),
POINT_ON_LINE(&p4, &t2base),
POINT_ON_LINE(&p5, &t2base),
// The edge they don't share is constrained
LL_ANGLE(&t1base, &t2base, DEG(40)),
CEND(),
});
struct drawing drawing = {};
bool solved = solve_constraints(&constraints, &drawing);
assert(!solved);
}
return 0;
}
|
