IFC 4.3.0.1 (IFC4X3) development

# 8.8.3.25 IfcManifoldSolidBrep

ABSTRACT This definition may not be instantiated

## 8.8.3.25.1 Semantic definition

The IfcManifoldSolidBrep is a solid represented as a collection of connected surfaces that delimit the solid from the surrounding non-solid.

Instances of type IfcManifoldSolidBrep shall be of type IfcFacetedBrep, using only IfcPolyLoop for the bounds of IfcFaceBound, or of type IfcAdvancedBrep, using only IfcAdvancedFace for the face geometry, and IfcEdgeCurve for the edges.

Informal proposition:

1. The dimensionality of a manifold solid brep shall be 3.
2. The extent of the manifold solid brep shall be finite and non-zero.
3. All elements of the manifold solid brep shall have defined associated geometry.
4. The shell normals shall agree with the B-rep normal and point away from the solid represented by the B-rep.
5. Each face shall be referenced only once by the shells of the manifold solid brep.
6. The Euler equation shall be satisfied for the boundary representation, where the genus term "shell term" us the sum of the genus values for the shells of the brep.

## 8.8.3.25.4 Formal representation

ENTITY IfcManifoldSolidBrep
ABSTRACT SUPERTYPE OF (ONEOF
END_ENTITY;