Navigation

IfcPropertyBoundedValue

Definition from IAI: A property with a bounded value (IfcPropertyBoundedValue) defines a property object which has two (numeric or descriptive) values assigned, the value specifying the upper bound and the value specifying the lower bound. It defines a property - value bound (min-max) combination for which the property name, the upper bound value with measure type, the lower bound value with measure type (and optional the unit) is given.

The unit is handled by the Unit attribute:

The IfcPropertyBoundedValue allows for the specification of an interval for the value component of the property description.

Examples of a property with bounded value are:

Name UpperBoundValue LowerBoundValue Type
(through IfcValue, WR1 ensures same type for both values)
Unit
OverallHeight 1930 2300 IfcPositiveLengthMeasure -
OverallWidth 0.9 1.25 IfcPositiveLengthMeasure m

HISTORY: New entity in IFC Release 2x.

ISSUES: See issue log for changes made in IFC Release 2x.

Informal proposition:

  1. If the measure type for the upper and lover bound value is an numeric measure, than the following shall be true: UpperBoundValue > LowerBoundValue.

EXPRESS specification:

ENTITY IfcPropertyBoundedValue
SUBTYPE OF ( IfcSimpleProperty);
UpperBoundValue  :  IfcValue;
LowerBoundValue  :  IfcValue;
Unit  :  OPTIONAL IfcUnit;
WHERE
WR1  :  TYPEOF(UpperBoundValue) = TYPEOF(LowerBoundValue);
END_ENTITY;

Attribute definitions:

UpperBoundValue  :  Upper bound value for the interval defining the property value.
LowerBoundValue  :  Lower bound value for the interval defining the property value.
Unit  :  Unit for the upper and lower bound values, if not given, the default value for the measure type (given by the TYPE of the upper and lower bound values) is used as defined by the global unit assignment at IfcProject.

Formal Propositions:

WR1  :  The measure type of the upper bound value shall be the same as the measure type of the lower bound value.

References (1):

Name Type Referred through Express-G
IfcSimpleProperty Entity
Subtype
Diagram 1

Inheritance graph

ENTITY IfcPropertyBoundedValue;
ENTITY IfcProperty;
Name  :  IfcIdentifier;
Description  :  OPTIONAL IfcText;
INVERSE
PartOfComplex  :  SET [0:1] OF IfcComplexProperty FOR HasProperties;
ENTITY IfcSimpleProperty;
ENTITY IfcPropertyBoundedValue;
UpperBoundValue  :  IfcValue;
LowerBoundValue  :  IfcValue;
Unit  :  OPTIONAL IfcUnit;
END_ENTITY;