明示文の使用
明示的な文を使用して、明示的に識別する参加者間の関係を表現します。
- これを使用して、関係者と、これらの関係者が含まれるコンフィギュレータ・モデルにルールを適用します。
- ルールに参加する各ノードおよび属性を識別する必要があります。
- モデルでノードのロケーションを指定します。
次のキーワードを使用して、明示的な文を識別します:
- CONSTRAIN
- COMPATIBLE
- ADD...TO
- SUBTRACT...FROM
単一の式を含む例を次に示します。 論理的なIMPLIES関係を使用します。
CONSTRAIN a IMPLIES b;
CONSTRAIN (a+b) * c > 10 NEGATES d;