IfcLogicalOperatorEnum
IfcLogicalOperatorEnum
类型定义
IfcLogicalOperatorEnum是一个枚举，它定义了可以应用于一次满足一个或多个操作数（IfcConstraint）的逻辑运算符。
下表说明了IfcLogicalOperatorEnum在每个运算符有三个操作数a、B和C的情况下的应用。
| 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 — Logical operators
IFC2.0中的新枚举。
IFC4变更扩展到包括LOGICAXOR、LOGICALNOOAND和LOGICALNOTOR。
Enumeration definition
| Constant | Description |
|---|---|
| LOGICALAND |
定义操作数之间的关系，如果所有操作数都为true，则结果为true；如果至少有一个操作数为false，则为false。 |
| LOGICALOR |
定义操作数之间的关系，如果至少有一个操作数为true，则结果为true；如果所有操作数均为false，则为false。 |
| LOGICALXOR |
定义操作数之间的关系，如果恰好有一个操作数为true（exclusive或），则结果为true。 |
| LOGICALNOTAND |
定义操作数之间的关系，如果至少有一个操作数为true，则结果为true；如果所有操作数均为true，结果为false。 |
| LOGICALNOTOR |
定义操作数之间的关系，如果所有操作数都为假，则结果为真；如果至少有一个操作数为真，则为假。 |
EXPRESS Specification
TYPE IfcLogicalOperatorEnum = ENUMERATION OF (
LOGICALAND,
LOGICALOR,
LOGICALXOR,
LOGICALNOTAND,
LOGICALNOTOR);
END_TYPE;
##################################
QQ 3087438119
