Fonctions
Les fonctions définissent la logique requise pour remplir l'état d'une règle CAE. Cette logique s'applique directement aux opérateurs de champ définis et est utilisée pour représenter les attributs « A et B, et C » ou « A et B, mais pas C » d'un événement qui se produit sur un terminal. Cette logique s'applique directement aux opérateurs de champ définis dans un état.
|
Fonction |
Description |
Exemple |
|---|---|---|
|
AND - & |
Au moins deux opérateurs de champ doivent être mis en correspondance pour satisfaire l'état. |
a & b & c |
|
OR - | |
Un ou plusieurs opérateurs de champ doivent être mis en correspondance pour satisfaire l'état. |
a | b | c |
|
NOT - ! |
Un opérateur de champ défini doit être défini sur false ou ne pas correspondre pour satisfaire l'état. |
a & b & !c |
|
GROUP - () |
Les opérateurs de terrain sont regroupés pour répondre à des exigences logiques plus complexes. |
(a & b) | (c & !d) |