Associate Constraint (FP)

SCHEMA FP_ASSOCIATE_CONSTRAINT;

TYPE IfcGloballyUniqueId = STRING (22) FIXED;
END_TYPE;

TYPE IfcLabel = STRING;
END_TYPE;

TYPE IfcText = STRING;
END_TYPE;

TYPE IfcBenchmarkEnum = ENUMERATION OF
(GREATERTHAN,
GREATERTHANOREQUALTO,
LESSTHAN,
LESSTHANOREQUALTO,
EQUALTO,
NOTEQUALTO);
END_TYPE;

TYPE IfcConstraintEnum = ENUMERATION OF
(HARD,
SOFT,
ADVISORY,
USERDEFINED,
NOTDEFINED);
END_TYPE;

TYPE IfcLogicalOperatorEnum = ENUMERATION OF
(LOGICALAND,
LOGICALOR);
END_TYPE;

TYPE IfcObjectiveEnum = ENUMERATION OF
(CODECOMPLIANCE,
DESIGNINTENT,
HEALTHANDSAFETY,
REQUIREMENT,
SPECIFICATION,
TRIGGERCONDITION,
USERDEFINED,
NOTDEFINED);
END_TYPE;

TYPE IfcMetricValueSelect = SELECT
(IfcText,
fp_select_date_time,
IfcMeasureWithUnit,
IfcTable,
IfcCostValue,
IfcTimeSeries);
END_TYPE;

ENTITY IfcMeasureWithUnit;
END_ENTITY;

ENTITY IfcTable;
END_ENTITY;

ENTITY IfcCostValue;
END_ENTITY;

ENTITY IfcTimeSeries;
END_ENTITY;

ENTITY IfcRoot
ABSTRACT SUPERTYPE;
GlobalId : IfcGloballyUniqueId;
Name : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
OwnerHistory : fp_apply_owner_history;
UNIQUE
UR1 : GlobalId;
END_ENTITY;

ENTITY IfcRelationship
ABSTRACT SUPERTYPE
SUBTYPE OF(IfcRoot);
END_ENTITY;

ENTITY IfcRelAssociates
SUBTYPE OF(IfcRelationship);
RelatedObjects : SET [1:?] OF IfcRoot;
WHERE
WR1 : SIZEOF(QUERY(temp <\* RelatedObjects \|
NOT(('IFC2X2_FINAL.IFCOBJECT' IN TYPEOF(temp))
OR ('IFC2X2_FINAL.IFCPROPERTYDEFINITION' IN TYPEOF(temp)))
)) = 0;
END_ENTITY;

ENTITY IfcRelAssociatesConstraint
SUBTYPE OF(IfcRelAssociates);
Intent : IfcLabel;
RelatingConstraint : IfcConstraint;
END_ENTITY;

ENTITY IfcConstraint
ABSTRACT SUPERTYPE OF (ONEOF(IfcMetric, IfcObjective));
Name : IfcLabel;
Description : OPTIONAL IfcText;
ConstraintGrade : IfcConstraintEnum;
ConstraintSource : OPTIONAL IfcLabel;
UserDefinedGrade : OPTIONAL IfcLabel;
CreationTime : OPTIONAL fp_select_date_time;
CreatingActor : OPTIONAL fp_select_actor;
INVERSE
ClassifiedAs : SET OF IfcConstraintClassificationRelationship FOR ClassifiedConstraint;
RelatesConstraints : SET OF IfcConstraintRelationship FOR RelatingConstraint;
IsRelatedWith : SET OF IfcConstraintRelationship FOR RelatedConstraints;
PropertiesForConstraint : SET OF IfcPropertyConstraintRelationship FOR RelatingConstraint;
Aggregates : SET OF IfcConstraintAggregationRelationship FOR RelatingConstraint;
IsAggregatedIn : SET OF IfcConstraintAggregationRelationship FOR RelatedConstraints;
WHERE
WR11 : (ConstraintGrade <> IfcConstraintEnum.USERDEFINED) OR
((ConstraintGrade = IfcConstraintEnum.USERDEFINED) AND EXISTS(SELF\IfcConstraint.UserDefinedGrade));
END_ENTITY;

ENTITY IfcMetric
SUBTYPE OF(IfcConstraint);
Benchmark : IfcBenchmarkEnum;
ValueSource : OPTIONAL IfcLabel;
DataValue : IfcMetricValueSelect;
END_ENTITY;

ENTITY IfcObjective
SUBTYPE OF(IfcConstraint);
BenchmarkValues : OPTIONAL IfcMetric;
ResultValues : OPTIONAL IfcMetric;
ObjectiveQualifier : IfcObjectiveEnum;
UserDefinedQualifier : OPTIONAL IfcLabel;
WHERE
WR21 : (ObjectiveQualifier <> IfcObjectiveEnum.USERDEFINED) OR
((ObjectiveQualifier = IfcObjectiveEnum.USERDEFINED) AND EXISTS(SELF\IfcObjective.UserDefinedQualifier));
END_ENTITY;

ENTITY IfcConstraintClassificationRelationship;
ClassifiedConstraint : IfcConstraint;
END_ENTITY;

ENTITY IfcConstraintRelationship;
Name : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
RelatingConstraint : IfcConstraint;
RelatedConstraints : SET [1:?] OF IfcConstraint;
WHERE
WR11 : SIZEOF(QUERY(temp <\* RelatedConstraints \| temp :=: RelatingConstraint )) = 0;
END_ENTITY;

ENTITY IfcPropertyConstraintRelationship;
RelatingConstraint : IfcConstraint;
Name : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
RelatedProperties : fp_property;
END_ENTITY;

ENTITY IfcConstraintAggregationRelationship;
Name : OPTIONAL IfcLabel;
Description : OPTIONAL IfcText;
RelatingConstraint : IfcConstraint;
RelatedConstraints : LIST [1:?] OF IfcConstraint;
LogicalAggregator : IfcLogicalOperatorEnum;
WHERE
WR11 : SIZEOF(QUERY(temp <\* RelatedConstraints \|
temp :=: RelatingConstraint
)) = 0;
END_ENTITY;

ENTITY fp_apply_owner_history;
END_ENTITY;

ENTITY fp_property;
END_ENTITY;

ENTITY fp_select_actor;
END_ENTITY;

ENTITY fp_select_date_time;
END_ENTITY;

END_SCHEMA;

/* specification of the objective */
#3000=IFCOBJECTIVE('Move End Constraint','Move must be completed by set date',.HARD.,$,#11051,#12051,$,#4000,$,.USERDEFINED.,'MOVECONSTRAINT');

/* specification of the metric */
#4000=IFCMETRIC('Move End Constraint',$,.HARD.,$,$,$,$,.LESSTHANOREQUALTO.,'Lessor',#12061);

/* creating actor */
#11051=IFCORGANIZATION(... ...);

/* creation time and constraint date*/
#12051=IFCCALENDARDATE(1,4,2006);
#12061= IFCCALENDARDATE(30,6,2006);

/* ownership information*/
#2=IFCOWNERHISTORY(...);

/* specification of the objective */
#3000=IFCOBJECTIVE('Move End Constraint','Move must be completed by set date',.HARD.,$,#11051,#12051,$,#4000,$,.USERDEFINED.,'MOVECONSTRAINT');

/* specification of the metric */
#4000=IFCMETRIC('Move End Constraint',$,.HARD.,$,$,$,$,.LESSTHANOREQUALTO.,'Lessor',#12061);

/* creating actor */
#11051=IFCORGANIZATION(... ...);

/* creation time and constraint date*/
#12051=IFCCALENDARDATE(1,4,2006);
#12061= IFCCALENDARDATE(30,6,2006);

/* the move to be constrained*
#13001=IFCMOVE('abcdefghijklmnopqrst13001',#2, ...);
#13002=IFCMOVE('abcdefghijklmnopqrst13002',#2, ...);
#13003=IFCMOVE('abcdefghijklmnopqrst13003',#2, ...);
#13004=IFCMOVE('abcdefghijklmnopqrst13004',#2, ...);
#13005=IFCMOVE('abcdefghijklmnopqrst13005',#2, ...);

/* associating the constraints */
#13101=IFCRELASSOCIATESCONSTRAINT('abcdefghijklmnopqrst13101',#2,$,$,(#13001,#13002,#13003,#13004,#13005), 'Required Move Date',#3000 );
#13102=IFCRELASSOCIATESCONSTRAINT('abcdefghijklmnopqrst13102',#2,$,$,(#13001,#13002,#13003,#13004,#13005), 'Required Move Date',#4000 );

/* ownership information*/
#2=IFCOWNERHISTORY(...);

/* specification of the objective */
#3010=IFCOBJECTIVE('Weight Constraint','Aggregation of upper and lower limits',.HARD.,$,#11051,#12051,$,$,$,.SPECIFICATION.,$);

/* specification of the metrics */
#4010=IFCMETRIC('Weight Constraint',$,.HARD.,$,$,$,$,.GREATERTHANOREQUALTO.,$,#12071);
#4011=IFCMETRIC('Weight Constraint',$,.HARD.,$,$,$,$,.LESSTHANOREQUALTO.,$,#12072);

/* aggregating the constraints */
#5001=IFCCONSTRAINTAGGREGATIONRELATIONSHIP($,$,#3010,(#4010,#4011),.LOGICALAND.);

/* creating actor and time */
#11051=IFCORGANIZATION(... ...);
#12051=IFCCALENDARDATE(1,4,2006);

/* constraint data values */
#12071= IFCMEASUREWITHUNIT(19.0,#12081);
#12072= IFCMEASUREWITHUNIT(21.0,#12081);
#12081=IFCSIUNIT(.MASSUNIT.,.KILO.,.GRAM.,#12082);
#12082=IFCDIMENSIONALEXPONENTS(0,1,0,0,0,0,0);

/* the move to be constrained*
#13001=IFCMOVE('abcdefghijklmnopqrst13001',#2, ...);
#13002=IFCMOVE('abcdefghijklmnopqrst13002',#2, ...);
#13003=IFCMOVE('abcdefghijklmnopqrst13003',#2, ...);
#13004=IFCMOVE('abcdefghijklmnopqrst13004',#2, ...);
#13005=IFCMOVE('abcdefghijklmnopqrst13005',#2, ...);

/* associating the constraints */
#13111=IFCRELASSOCIATESCONSTRAINT('abcdefghijklmnopqrst13111',#2,$,$,(#13001,#13002,#13003,#13004,#13005), 'Maximum and minimum weights',#3010 );

/* ownership information*/
#2=IFCOWNERHISTORY(...);

/* the property set containing one constrained property */
#1001=IFCPROPERTYSET('abcdefghijklmnopqrst1001',#2,'Pset_WeightConstraint',$,(#1011));

/* the property to be constrained */
#1011=IFCPROPERTYSINGLEVALUE('ThingWeight',$,19.5,#12081);

/* relationship between the property and the constraint */
#1021=IFCPROPERTYCONSTRAINTRELATIONSHIP(#3010,(#1011),$,$);

/* specification of the objective */
#3010=IFCOBJECTIVE('Weight Constraint','Aggregation of upper and lower limits',.HARD.,$,#11051,#12051,$,$,$,.SPECIFICATION.,$);

/* specification of the metric */
#4010=IFCMETRIC('Weight Constraint',$,.HARD.,$,$,$,$,.GREATERTHANOREQUALTO.,$,#12071);
#4011=IFCMETRIC('Weight Constraint',$,.HARD.,$,$,$,$,.LESSTHANOREQUALTO.,$,#12072);

/* aggregating the constraints */
#5001=IFCCONSTRAINTAGGREGATIONRELATIONSHIP($,$,#3010,(#4010,#4011),.LOGICALAND.);

/* creating actor and time */
#11051=IFCORGANIZATION(... ...);
#12051=IFCCALENDARDATE(1,4,2006);

/* constraint data values */
#12071= IFCMEASUREWITHUNIT(19.0,#12081);
#12072= IFCMEASUREWITHUNIT(21.0,#12081);
#12081=IFCSIUNIT(.MASSUNIT.,.KILO.,.GRAM.,#12082);
#12082=IFCDIMENSIONALEXPONENTS(0,1,0,0,0,0,0);