Struct Ifc4x3_rc1::IfcLogicalOperatorEnum¶
Defined in File Ifc4x3_rc1.h
Nested Relationships¶
This struct is a nested type of Struct Ifc4x3_rc1.
Struct Documentation¶

struct
Ifc4x3_rc1
::
IfcLogicalOperatorEnum
Public Types

enum
Value
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.
HISTORY New type in IFC Release 2.0. Renamed from IfcConstraintAggregatorEnum in IFC 2x2
IFC2x4 CHANGE: Extended to include LOGICALXOR, LOGICALNOTAND and LOGICALNOTOR.
Enumeration
Value Definition
LOGICALAND Defines a relationship between operands whereby the result is true if all operands are true, i.e. false if at least
one operand is false.
LOGICALOR Defines a relationship between operands whereby the result is true if at least one operand is true, i.e false if
all operands are false.
LOGICALXOR Defines a relationship between operands whereby the result is true if exactly one operand is true (exclusive or).
LOGICALNOTAND Defines a relationship between operands whereby the result is true if at least one operand is false, i.e false if
all operands are true.
LOGICALNOTOR Defines a relationship between operands whereby the result is true if all operands are false, i.e false if at least
one operand is true.
Use Definition
The IfcLogicalOperatorEnum, when applied in a case of three operands, A, B and C, evaluates for each operator as
follows:
TRUTH TABLE: 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
AND F F F F F F F T
TRUTH TABLE: 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
OR F T T T T T T T
TRUTH TABLE: 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
XOR F T T T F F F F
TRUTH TABLE: 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
NOTAND T T T T T T T F
TRUTH TABLE: 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
NOTOR T F F F F F F F
Values:

enumerator
IfcLogicalOperator_LOGICALAND

enumerator
IfcLogicalOperator_LOGICALOR

enumerator
IfcLogicalOperator_LOGICALXOR

enumerator
IfcLogicalOperator_LOGICALNOTAND

enumerator
IfcLogicalOperator_LOGICALNOTOR

enumerator

enum