8.18.3.14 IfcRigidOperation（刚性操作）
RV ⓘ
AbV ⓘ
8.18.3.14.1 语义定义（Semantic definition）
刚性操作指定了坐标参考系中的偏移量。它不指定任何转换或变形。这是一种坐标操作，表示整个虚拟模型以相同的方式进行平移。例如，使用长度沿x、y、z轴进行平移；或使用角度进行二维平移（如λ、φ），再加上高度的变化。
8.18.3.14.2 实体继承（Entity inheritance）
8.18.3.14.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcCoordinateOperation (2) | |||
| 1 | SourceCRS | IfcCoordinateReferenceSystemSelect |
操作的源坐标参考系。 |
| 2 | TargetCRS | IfcCoordinateReferenceSystem |
操作的目标坐标参考系。 |
| 点击显示 2 个隐藏的继承特性 点击隐藏 2 个继承特性 | |||
| IfcRigidOperation (3) | |||
| 3 | FirstCoordinate | IfcMeasureValue |
平移的第一个坐标。在地图坐标系中可以是长度度量，在地理参考系中可以是平面角度度量。 |
| 4 | SecondCoordinate | IfcMeasureValue |
平移的第二个坐标。在地图坐标系中可以是长度度量，在地理参考系中可以是平面角度度量。 |
| 5 | Height | OPTIONAL IfcLengthMeasure |
坐标表面上方的平移（正值）或下方的平移（负值）。 |
8.18.3.14.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| SameCoordinateType |
限制_FirstCoordinate_和_SecondCoordinate_的值类型为_IfcLengthMeasure_或_IfcPlaneAngleMeasure_，并确保两者使用相同的类型。 |
|
|
8.18.3.14.5 形式化表示（Formal representation）
ENTITY IfcRigidOperation
SUBTYPE OF (IfcCoordinateOperation);
FirstCoordinate : IfcMeasureValue;
SecondCoordinate : IfcMeasureValue;
Height : OPTIONAL IfcLengthMeasure;
WHERE
SameCoordinateType : (('IFC4X3_DEV_62887e3f.IFCLENGTHMEASURE' IN TYPEOF(FirstCoordinate)) AND ('IFC4X3_DEV_62887e3f.IFCLENGTHMEASURE' IN TYPEOF(SecondCoordinate))) OR (('IFC4X3_DEV_62887e3f.IFCPLANEANGLEMEASURE' IN TYPEOF(FirstCoordinate)) AND ('IFC4X3_DEV_62887e3f.IFCPLANEANGLEMEASURE' IN TYPEOF(SecondCoordinate)));
END_ENTITY;