13.8. Comma-Separated Operator Example

The following illustrates comma-separated scenarios in implicit and connective semantics: 
// Person is at least 50 and weighs at least 80 kg
Person( age > 50, weight > 80 )
// Person is at least 50, weighs at least 80 kg and is taller than 2 meter.
Person( age > 50, weight > 80, height > 2 )

Note

The comma (,) operator cannot be embedded in a composite constraint expression, such as parentheses.
Report a bug