# 8.8.3.17 IfcFacetedBrep

## 8.8.3.17.1 Semantic definition

The IfcFacetedBrep is a manifold solid brep with the restriction that all faces are planar and bounded polygons.

The faceted B-rep has been introduced in order to support the larger number of systems that allow boundary type solid representations with planar surfaces only.

Informal Propositions:

1. All the bounding loops of all the faces of all the shells in the IfcFacetedBrep shall be of type IfcPolyLoop.
2. All vertices shall be referenced by all polyloops, sharing the vertex. I.e., each Cartesian point shall be references by at least three polyloops.

## 8.8.3.17.5 Formal representation

ENTITY IfcFacetedBrep
SUPERTYPE OF (ONEOF
(IfcFacetedBrepWithVoids))
SUBTYPE OF (IfcManifoldSolidBrep);
END_ENTITY;