1.约束求解介绍
给定一个几何对象（点、直线段、圆、圆弧、平面等）的集合G和一个关于集合G中几何对象之间约束（点的位置、直线段的长度、圆弧对应的圆心角角度、垂直、相切等）
的集合C，则在二元组(G，C)中根据一定的算法求出满足集合C的几何对象的过程称为约束求解问题。
2.基本图元
| 1 | 直线段 | 包括其端点 |
| 2 | 圆或圆弧 | 包括圆心及端点 |
| 3 | 椭圆 | 包括其圆心 |
| 4 | 独立平面 | 参考平面 |
| 5 | 实体平面及圆柱面 | 实体可以是拉伸体、旋转体、放样体、融合体、组合体 |
3.约束关系
| 约束关系 | ||
| 几何约束 | 平行 | 直线段与平面 |
| 平面与平面 | ||
| 垂直 | 直线段与平面 | |
| 平面与平面 | ||
| 对齐 | 点在平面上 | |
| 直线段在平面上 | ||
| 两个平面共面 | ||
| 两个圆柱面同轴 | ||
| 尺寸约束 | 距离 | 点到平面 |
| 直线段到平面 | ||
| 平面到平面 | ||
| 距离等分 | 多个参照平面和直线段 | |
| 角度 | 直线段与平面的角度 | |
| 平面与平面的角度 |
4.约束求解问题定义
5.约束求解流程
6.设计结构图
