IfcLogicalOperatorEnum

Natural language names
Logical Operator Enum
Enumération des opérateurs logiques
Change log
ItemSPFXMLChangeDescription
IFC2x3 to IFC4 4.0.0.0
    IfcLogicalOperatorEnum
      LOGICALXORADDED
      LOGICALNOTANDADDED
      LOGICALNOTORADDED
IFC2x3 to IFC4 4.0.0.0
    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 693 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 693 — 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
XML 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

References  References: IfcObjective

Link to this page  Link to this page