IFC 4.3.0.0 (IFC4X3) final

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)
1 Name OPTIONAL IfcLabel

Optionally defines a name for this load.
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).
Table 8.19.3.20.A

8.19.3.20.4 Formal propositions

Name Description
NonnegativeArea1

Surface reinforcement area must not be less than 0.

 
(NOT EXISTS(SurfaceReinforcement1)) OR (
    (SurfaceReinforcement1[1] >= 0.) AND
    (SurfaceReinforcement1[2] >= 0.) AND
    ((SIZEOF(SurfaceReinforcement1) = 1) OR (SurfaceReinforcement1[1] >= 0.))
)
NonnegativeArea2

Surface reinforcement area must not be less than 0.

 
(NOT EXISTS(SurfaceReinforcement2)) OR (
    (SurfaceReinforcement2[1] >= 0.) AND
    (SurfaceReinforcement2[2] >= 0.) AND
    ((SIZEOF(SurfaceReinforcement2) = 1) OR (SurfaceReinforcement2[1] >= 0.))
)
NonnegativeArea3

Shear reinforcement area must not be less than 0.

 
(NOT EXISTS(ShearReinforcement)) OR (ShearReinforcement >= 0.)
SurfaceAndOrShearAreaSpecified

At least one of the reinforcement area attributes shall be specified.

 
EXISTS(SurfaceReinforcement1) OR EXISTS(SurfaceReinforcement2) OR EXISTS(ShearReinforcement)
Table 8.19.3.20.B

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;

8.19.3.20.6 References

8.19.3.20.7 Changelog

  • New resource