8.7.3.1 IfcAlignmentCantSegment（线形超高段）
8.7.3.1.1 语义定义（Semantic definition）
IfcAlignmentCantSegment 是沿 IfcAlignmentCant 的单个区段。
超高线形通过首尾相连的有序区段定义。线形超高段中定义的点位于一个平面内，其中 x = 沿水平线形的距离，y = 相对于垂直线形中投影点的高度。 定义了以下超高段类型：
- Bloss 过渡 - IfcAlignmentCantSegmentTypeEnum .BLOSSCURVE
- 恒定超高 - IfcAlignmentCantSegmentTypeEnum .CONSTANTCANT
- 余弦过渡 - IfcAlignmentCantSegmentTypeEnum .COSINECURVE
- Helmert 过渡 - IfcAlignmentCantSegmentTypeEnum .HELMERTCURVE
- 线性过渡 - IfcAlignmentCantSegmentTypeEnum .LINEARTRANSITION
- 正弦过渡 - IfcAlignmentCantSegmentTypeEnum .SINECURVE
- Viennese Bend (R) 过渡 - IfcAlignmentCantSegmentTypeEnum .VIENNESEBEND
对于每个超高段，提供以下信息： * 起点，由沿水平线形的距离定义 * 长度（作为沿水平线形的水平长度，而非曲线段长度） * 起始超高，由左侧超高和右侧超高的值给出，相对于垂直线形测量 * 终止超高，由左侧超高和右侧超高的值给出，从垂直线形测量 * 切线连续性信息，可用于检查区段的连续性（例如，如果终点和起点差异超过阈值，则超高突变无效或缺少超高信息）
8.7.3.1.2 实体继承（Entity inheritance）
8.7.3.1.3 特性（Attributes）
| # | 特性（Attributes） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| IfcAlignmentParameterSegment (2) | |||
| 1 | StartTag | OPTIONAL IfcLabel |
用于注释线形段起点的标签。 |
| 2 | EndTag | OPTIONAL IfcLabel |
用于注释线形段终点的标签。 |
| 点击显示 2 个隐藏的继承特性 点击隐藏 2 个继承特性 | |||
| IfcAlignmentCantSegment (7) | |||
| 3 | StartDistAlong | IfcLengthMeasure |
沿水平线形的距离，沿 IfcAlignmentHorizontal 测量，以全局 IfcUnitAssignment 的长度单位给出。 |
| 4 | HorizontalLength | IfcNonNegativeLengthMeasure |
作为沿区段水平线形的距离测量的长度。 |
| 5 | StartCantLeft | IfcLengthMeasure |
在区段起始处测量的左侧超高长度。 |
| 6 | EndCantLeft | OPTIONAL IfcLengthMeasure |
在区段终止处测量的左侧超高长度。 |
| 7 | StartCantRight | IfcLengthMeasure |
在区段起始处测量的右侧超高长度。 |
| 8 | EndCantRight | OPTIONAL IfcLengthMeasure |
在区段终止处测量的右侧超高长度。 |
| 9 | PredefinedType | IfcAlignmentCantSegmentTypeEnum |
用于进一步标识对象的类型列表。某些属性集可能特别适用于其中一种类型。 |
8.7.3.1.4 形式化表示（Formal representation）
ENTITY IfcAlignmentCantSegment
SUBTYPE OF (IfcAlignmentParameterSegment);
StartDistAlong : IfcLengthMeasure;
HorizontalLength : IfcNonNegativeLengthMeasure;
StartCantLeft : IfcLengthMeasure;
EndCantLeft : OPTIONAL IfcLengthMeasure;
StartCantRight : IfcLengthMeasure;
EndCantRight : OPTIONAL IfcLengthMeasure;
PredefinedType : IfcAlignmentCantSegmentTypeEnum;
END_ENTITY;