5.346. sign_of
DESCRIPTION | LINKS |
- Origin
Arithmetic.
- Constraint
- Usual name
- Arguments
- Restrictions
- Purpose
According to the value of the first variable , restrict the sign of the second variable :
When , should be negative (i.e., ).
When , is also equal to 0.
When , should be positive (i.e., ).
- Example
-
The first constraint holds since and is negative.
The second constraint holds since and is neither negative, neither positive.
The second constraint holds since and is positive.
- Typical
- Arg. properties
Functional dependency: determined by .
- See also
implies: , .
- Keywords
constraint arguments: binary constraint, pure functional dependency.
constraint type: predefined constraint, arithmetic constraint.