Use Explicit Statements

Use an explicit statement to express a relationship between participants that you explicitly identify.

• Use it to apply the rule to participants and to the configurator model that contains these participants.
• You must identify each node and attribute that participates in the rule.
• You specify the node's location in the model.

Use these keywords to identify an explicit statement:

• CONSTRAIN
• COMPATIBLE
• ADD...TO
• SUBTRACT...FROM

Here's an example that includes a single expression. It uses the logical IMPLIES relationship.

CONSTRAIN a IMPLIES b;
CONSTRAIN (a+b) * c > 10 NEGATES d;