CDL制約文およびCONSTRAINキーワード
CONSTRAINキーワードは、制約文の先頭で使用されます。
制約文では、式を使用して制約関係を表現します。 CONSTRAINキーワードは、制約文から省略できます。
各制約文には、次のキーワード演算子のいずれか1つのみを含める必要があります:
-
REQUIRES
-
NEGATES
-
IMPLIES
-
EXCLUDES
これらの制約の詳細は、ロジック・ルールに関するトピックを参照してください。
例
次の例は、CONSTRAINキーワードの有無にかかわらず、制約文を示しています。
CONSTRAINキーワードを含む制約文
CONSTRAIN a IMPLIES b;
CONSTRAIN (a+b) * c > 10 NEGATES d;CONSTRAINキーワードのない制約文
a IMPLIES b;
(a + b) * c > 10 NEGATES d;次の例では、機能F1の1つのオプションが選択されている場合、デフォルトで残りのすべてのオプションが選択されることを表します。
FOR ALL...INイテレータによる制約文
CONSTRAIN F1 DEFAULTS &var1
FOR ALL &var1 IN F1.Options();