writer
1,835
edits
Changes
Jump to navigation
Jump to search
Line 18:
Line 18: − +
no edit summary
by a colon (a range) or (just one) variable name without a colon (a bound), followed by a relational operator, followed again by a linear combination of
by a colon (a range) or (just one) variable name without a colon (a bound), followed by a relational operator, followed again by a linear combination of
variables and constants, ending with a semicolon. The relational operator can be any of the following: "<" "<=" "=" ">" ">=". There is no semantic difference
variables and constants, ending with a semicolon. The relational operator can be any of the following: "<" "<=" "=" ">" ">=". There is no semantic difference
between "<" and "<=" nor between ">" and ">=" (even for integer variables!).
between "<" and "<=" nor between ">" and ">=" (even for integer variables!).<br>
==Examples==
==Examples==