8.19.3.20 IfcSurfaceReinforcementArea
8.19.3.20.1 Semantic definition
Describes required or provided reinforcement area of surface members.
8.19.3.20.2 Entity inheritance
8.19.3.20.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcStructuralLoad (1) | |||
Click to show 1 hidden inherited attributes Click to hide 1 inherited attributes | |||
IfcSurfaceReinforcementArea (3) | |||
2 | SurfaceReinforcement1 | OPTIONAL LIST [2:3] OF IfcLengthMeasure |
Reinforcement at the face of the member which is located at the side of the positive local z direction of the surface member. Specified as area per length, e.g. square metre per metre (hence length measure, e.g. metre). The reinforcement area may be specified for two or three directions of reinforcement bars. |
3 | SurfaceReinforcement2 | OPTIONAL LIST [2:3] OF IfcLengthMeasure |
Reinforcement at the face of the member which is located at the side of the negative local z direction of the surface member. Specified as area per length, e.g. square metre per metre (hence length measure, e.g. metre). The reinforcement area may be specified for two or three directions of reinforcement bars. |
4 | ShearReinforcement | OPTIONAL IfcRatioMeasure |
Shear reinforcement. Specified as area per area, e.g. square metre per square metre (hence ratio measure, i.e. unitless). |
8.19.3.20.4 Formal propositions
Name | Description | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
NonnegativeArea1 |
Surface reinforcement area must not be less than 0. |
||||||||||
|
|||||||||||
NonnegativeArea2 |
Surface reinforcement area must not be less than 0. |
||||||||||
|
|||||||||||
NonnegativeArea3 |
Shear reinforcement area must not be less than 0. |
||||||||||
|
|||||||||||
SurfaceAndOrShearAreaSpecified |
At least one of the reinforcement area attributes shall be specified. |
||||||||||
|
8.19.3.20.5 Formal representation
ENTITY IfcSurfaceReinforcementArea SUBTYPE OF (IfcStructuralLoadOrResult); SurfaceReinforcement1 : OPTIONAL LIST [2:3] OF IfcLengthMeasure; SurfaceReinforcement2 : OPTIONAL LIST [2:3] OF IfcLengthMeasure; ShearReinforcement : OPTIONAL IfcRatioMeasure; WHERE NonnegativeArea1 : (NOT EXISTS(SurfaceReinforcement1)) OR ( (SurfaceReinforcement1[1] >= 0.) AND (SurfaceReinforcement1[2] >= 0.) AND ((SIZEOF(SurfaceReinforcement1) = 1) OR (SurfaceReinforcement1[1] >= 0.)) ); NonnegativeArea2 : (NOT EXISTS(SurfaceReinforcement2)) OR ( (SurfaceReinforcement2[1] >= 0.) AND (SurfaceReinforcement2[2] >= 0.) AND ((SIZEOF(SurfaceReinforcement2) = 1) OR (SurfaceReinforcement2[1] >= 0.)) ); NonnegativeArea3 : (NOT EXISTS(ShearReinforcement)) OR (ShearReinforcement >= 0.); SurfaceAndOrShearAreaSpecified : EXISTS(SurfaceReinforcement1) OR EXISTS(SurfaceReinforcement2) OR EXISTS(ShearReinforcement); END_ENTITY;