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

浙公网安备 33010602011771号