関数
関数は、CAE ルールの状態を満たすために必要なロジックを定義します。このロジックは、定義したフィールド演算子に直接適用され、デバイスで発生するイベントの「A かつ B かつ C」または「A かつ B だが C ではない」という属性を表すために使用されます。このロジックは、状態内の定義済みフィールド演算子に直接適用されます。
|
関数 |
説明 |
例 |
|---|---|---|
|
AND - & |
状態を満たすには、複数のフィールド演算子と一致する必要があります。 |
a & b & c |
|
OR - | |
状態を満たすには、複数のフィールド演算子の 1 つと一致する必要があります。 |
a | b | c |
|
NOT - ! |
状態を満たすには、定義されたフィールド演算子が false であるか、または一致しない必要があります。 |
a & b & !c |
|
GROUP - () |
フィールド演算子は、より複雑なロジック要件を満たすためにグループ化されます。 |
(a & b) | (c & !d) |