A model fo of this type must provide:
| ||
| ||
Constructs the line segment supported by l, whose source
is p1 and whose target is p2. Precondition: p1 and p2 lie on l. | ||
| ||
| ||
| ||
| ||
| ||
| ||
Constructs the line segment whose supporting line is l, whose
source endpoint is the intersection of l with c1,
and whose target endpoint is the intersection of l
and c2, where intersections are ordered lexicographically. Precondition: l intersects both c1 and c2, and the arc defined by the intersections has non-zero length. | ||
| ||
| ||
Same, for intersections defined by lines instead of circles. |