IfcLogicalOperatorEnum

Natural language names
enLogical Operator Enum
frEnumération des opérateurs logiques
Change log
ItemSPFXMLChangeDescription
IFC2x3 to IFC4
    IfcLogicalOperatorEnum
      LOGICALXORADDED
      LOGICALNOTANDADDED
      LOGICALNOTORADDED
Semantic definitions at the type
Type definition

IfcLogicalOperatorEnum is an enumeration that defines the logical operators that may be applied for the satisfaction of one or more operands (IfcConstraint) at a time.

Table 683 illustrates application of IfcLogicalOperatorEnum in a case of three operands, A, B and C, for each operator.

LOGICALAND(A,B,C)
A F F F T F T T T
B F F T F T F T T
C F T F F T T F T
RESULT F F F F F F F T
LOGICALOR(A,B,C)
A F F F T F T T T
B F F T F T F T T
C F T F F T T F T
RESULT F T T T T T T T
LOGICALXOR(A,B,C)
A F F F T F T T T
B F F T F T F T T
C F T F F T T F T
RESULT F T T T F F F F
LOGICALNOTAND(A,B,C)
A F F F T F T T T
B F F T F T F T T
C F T F F T T F T
RESULT T T T T T T T F
LOGICALNOTOR(A,B,C)
A F F F T F T T T
B F F T F T F T T
C F T F F T T F T
RESULT T F F F F F F F

Table 683 — Logical operators

HISTORY  New enumeration in IFC2.0.
IFC4 CHANGE  Extended to include LOGICALXOR, LOGICALNOTAND and LOGICALNOTOR.
Enumeration definition
ConstantDescription
LOGICALANDDefines a relationship between operands whereby the result is true if all operands are true, and false if at least one operand is false.
LOGICALORDefines a relationship between operands whereby the result is true if at least one operand is true, and false if all operands are false.
LOGICALXORDefines a relationship between operands whereby the result is true if exactly one operand is true (exclusive or).
LOGICALNOTANDDefines a relationship between operands whereby the result is true if at least one operand is false, and false if all operands are true.
LOGICALNOTORDefines a relationship between operands whereby the result is true if all operands are false, and false if at least one operand is true.
Formal representations
XSD Specification
 <xs:simpleType name="IfcLogicalOperatorEnum">
  <xs:restriction base="xs:string">
   <xs:enumeration value="logicaland"/>
   <xs:enumeration value="logicalor"/>
   <xs:enumeration value="logicalxor"/>
   <xs:enumeration value="logicalnotand"/>
   <xs:enumeration value="logicalnotor"/>
  </xs:restriction>
 </xs:simpleType>
EXPRESS Specification
TYPE IfcLogicalOperatorEnum = ENUMERATION OF (
 LOGICALAND,
 LOGICALOR,
 LOGICALXOR,
 LOGICALNOTAND,
 LOGICALNOTOR);
END_TYPE;

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page