Struct Ifc4::IfcLogicalOperatorEnum

Nested Relationships

This struct is a nested type of Struct Ifc4.

Struct Documentation

struct Ifc4::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

Public Static Functions

IFC_PARSE_API const char *ToString(Value v)
IFC_PARSE_API Value FromString(const std::string &s)