PSet
Pset_AnnotationLineOfSight
Pset_AnnotationLineOfSight PSET_TYPEDRIVENOVERRIDE / IfcAnnotation / LineOfSight 注释视线：指定两个图元之间连接点处的视线特性。通常用于定义两条道路（尤其是通道和公共道路之间）交界处的视线可见性。 : Définitio ......
Pset_AnnotationContourLine
Pset_AnnotationContourLine PSET_TYPEDRIVENOVERRIDE / IfcAnnotation / ContourLine 注释等高线：指定具有单个一致测量值的标准曲线的参数。 : Définition de l'IAI : paramètres spécifi ......
Pset_EnvironmentalImpactIndicators
Pset_EnvironmentalImpactIndicators 环境影响指标：环境影响指标与给定的“功能单元”有关（ISO 14040标准）。功能单元的一个例子是“带PVC框架的双层玻璃窗”，需要考虑的单元是“由该产品填充的一平方米开口元件”。指标值在整个生命周期或仅在特定阶段有效（请参阅Li ......
Pset_LandRegistration
Pset_LandRegistration 土地登记：在法定登记制度内规定土地的身份。注意：与IfcSite中不推荐使用的属性LandTitleNumber相比，将优先使用属性LandTitleID。 NameTypeDescription LandID P_SINGLEVALUE / IfcIde ......
Pset_BuildingUse
Pset_BuildingUse 建筑用途：提供当前和预期感兴趣建筑的房地产背景信息。 NameTypeDescription MarketCategory P_SINGLEVALUE / IfcLabel Market Category Category of use e.g. residenti ......
Pset_AnnotationSurveyArea
Pset_AnnotationSurveyArea PSET_TYPEDRIVENOVERRIDE / IfcAnnotation / SurveyArea 注释测量区域：指定要指定给测量点集或生成的曲面面片的测量方法的特定特性 : Définition de l'IAI : spécifie de ......
Pset_BuildingStoreyCommon
Pset_BuildingStoreyCommon Building Storey Common：IfcBuildingStore所有实例定义的公共属性。请注意，几个建筑属性是在IfcBuildingStorey实例中直接处理的，建筑层数（或短名称）由IfcBuildngStore.name处理，建 ......
Pset_BuildingCommon
Pset_BuildingCommon PSET_TYPEDRIVENOVERRIDE/IfcBuilding ：属性集定义 Building Common：IfcBuilding所有实例定义的公共特性。请注意，几个建筑属性在IfcBuilding实例中直接处理，建筑编号（或短名称）由IfcBuil ......
Pset_EnvironmentalImpactValues
Pset_EnvironmentalImpactValues 环境影响值：以下属性捕获元素的环境影响值。它们对应于Pset_EnvironmentalImpactIndicators中定义的指标。环境影响值是将单位指标值乘以元素的相关数量得出的。 NameTypeDescription TotalP ......
Pset_BuildingUseAdjacent
Pset_BuildingUseAdjacent 相邻建筑用途：提供有关相邻建筑及其用途的信息，以确定其对感兴趣建筑的影响。请注意，对于所使用的属性集的每个实例，如果存在风险，则将存在属性集Pset_risk（q.v）的一个实例。 NameTypeDescription MarketCategory ......
Pset_SpaceCoveringRequirements
Pset_SpaceCoveringRequirements 房间装饰的属性。这些属性在房间计划的早期阶段被列为要求，如果服装不是作为独立元素设计的，则可以作为后期房间手册的信息。 NameTypeDescription FloorCovering P_SINGLEVALUE / IfcLabel ......
Pset_SiteCommon
Pset_SiteCommon 站点公用：IfcSite所有引用的定义公用的属性。请注意，几个站点属性在IfcSite实例中直接处理，站点编号（或短名称）由IfcSite.name处理，站点名称（或长名称）由IfcSite.LongName处理，描述（或注释）由IfcSite.description ......
Pset_SpaceThermalRequirements
Pset_SpaceThermalRequirements 空间热量要求：与适用于IfcSpace、IfcSpace或IfcZone的空间的热舒适性要求和其他热相关性能特性相关的特性。它还可以用于捕获IfcSpaceType的需求。这包括所需的设计温度、湿度、通风和空调。 NameTypeDescr ......
Pset_TransportElementCommon
Pset_TransportElementCommon 传输元素公共：IfcTransportElement或IfcTransportElementType的所有出现的定义的公共属性 NameTypeDescription Reference P_SINGLEVALUE / IfcIdentifie ......
Pset_OpeningElementCommon
Pset_OpeningElementCommon Opening Element Common：IfcOpeningElement所有实例定义的公共属性。 NameTypeDescription Reference P_SINGLEVALUE / IfcIdentifier Referenz ID ......
Pset_SpaceCommon
Pset_SpaceCommon 公共空间：IfcSpace所有引用的定义的公共特性。请注意，几个空间属性是在IfcSpace实例中直接处理的，空间编号（或短名称）由IfcSpace.name处理，空间名称（或长名称）由IfcSpace:LongName处理，描述（或注释）由IfcSpace.des ......
Pset_SpaceLightingRequirements
Pset_SpaceLightingRequirements 空间照明要求：与适用于IfcSpace或IfcZone引用的照明要求相关的特性。这包括所需的人工照明、照度等。 NameTypeDescription ArtificialLighting P_SINGLEVALUE / IfcBoole ......
Pset_SpaceParking
Pset_SpaceParking Space Parking：所有出现的IfcSpace的定义所共有的属性，其ObjectType的属性值为“Parking”。注：在IFC 2x3中进行了修改，添加了ParkingUse和ParkingUnits特性。 NameTypeDescription Pa ......
Pset_SpaceOccupancyRequirements
Pset_SpaceOccupancyRequirements 空间占用要求：与在一个或一组类似的空间结构元素内发生或预计发生的工作活动有关的属性。 NameTypeDescription OccupancyType P_SINGLEVALUE / IfcLabel Nutzungsart Nutz ......
Pset_SpaceFireSafetyRequirements
Pset_SpaceFireSafetyRequirements 空间消防安全要求：适用于IfcSpace或IfcZone事件的空间消防相关属性。 NameTypeDescription FireRiskFactor P_SINGLEVALUE / IfcLabel Brandgefahrenkla ......
Pset_ZoneCommon
Pset_ZoneCommon 区域公用：IfcZone所有引用的定义公用的属性。 NameTypeDescription Reference P_SINGLEVALUE / IfcIdentifier Reference Reference ID for this specified type i ......
实现一个CRDT工具库——PSet
PSet 这段代码实现了一个PSet，即Positive Set，是GSet的扩展。PSet是一个集合，支持添加和删除元素，但是不支持重复元素。PSet的实现是通过两个GSet来实现的，一个GSet存储添加的元素，另一个GSet存储删除的元素。value函数返回PSet中的元素，add函数向PSet ......