Can we use Ternary operator in Constraints?

In reply to dave_59:

Hi Dave ,

(1) If ‘==’ takes precedence shouldn’t b be constrained to 1 since ( a < 2 ) would return 1 ( due to in-line constraint a == 1 ; )

(2) Also I didn’t get " since any value of b results in the expression being non-zero(true). "

What if I were to change constraint to ::

 b == (a<2) ? 0 : 3; 

Would the 0 ( since a == 1 ) play any part ?

Thanks .