IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.12.3.8 IfcCurveStyleFontPattern(曲线样式字体图案)

RV ⓘ
AbV ⓘ

8.12.3.8.1 语义定义(Semantic definition)

8.12.3.8.2 实体继承(Entity inheritance)

8.12.3.8.3 特性(Attributes)

# 特性(Attributes) 类型 描述
IfcCurveStyleFontPattern (2)
1 VisibleSegmentLength IfcLengthMeasure

图案定义中可见线段的长度。

2 InvisibleSegmentLength IfcPositiveLengthMeasure

图案定义中不可见线段的长度。

表 8.12.3.8.A

8.12.3.8.4 形式化命题(Formal propositions)

名称 描述
VisibleLengthGreaterEqualZero

可见图案长度的值应大于或等于零。

VisibleSegmentLength >= 0.
表 8.12.3.8.B

8.12.3.8.5 形式化表示(Formal representation)

ENTITY IfcCurveStyleFontPattern
 SUBTYPE OF (IfcPresentationItem);
	VisibleSegmentLength : IfcLengthMeasure;
	InvisibleSegmentLength : IfcPositiveLengthMeasure;
 WHERE
	VisibleLengthGreaterEqualZero : VisibleSegmentLength >= 0.;
END_ENTITY;

8.12.3.8.6 参考文献