NN若两个运算符不相等,则为 &)5;否则为 W/
N>&N若左边的运算符严格大于右边的运算符,则为 &)5;否则为 W/
N>N 77若左边的运算符大于或等于右边的运算符,则为 &)5;否则为 W/
N&N 77若左边的运算符严格小于右边的运算符,则为 &)5;否则为 W/
NN 77若左边的运算符小于或等于右边的运算符,则为 &)5;否则为 W/
N/N 7仅当两个参数都为 &)5 时,结果为 &)5;否则为 W/
N)N仅当两个参数都为 U/ 时,结果为 U/;否则为 &)5
这些运算符的优先级由高到低为:
高77N&N
NONNNN>&NN>NN&NNN
低77N/NN)N
例 4.2逻辑运算符示例
N>&NN/N"N>&N,其结果为假()。
4.1.3 关系运算符
在 中,关系运算符主要是被用在模型中,来指定一个表达式的左边是否等于、
小于等于、或者大于等于右边,形成模型的一个约束条件。关系运算符与逻辑运算符
NON、NN、N>N截然不同,前者是模型中该关系运算符所指定关系的为真描述,而
后者仅仅判断一个该关系是否被满足:满足为真,不满足为假。
有三种关系运算符:“-、“ -和“-。 中还能用“-表示小于等于
关系,“-表示大于等于关系。 并不支持严格小于和严格大于关系运算符。然而,如
果需要严格小于和严格大于关系,比如让 $ 严格小于 !:$!,
那么可以把它变成如下的小于等于表达式:$Z!,
这里 Z 是一个小的正数,它的值依赖于模型中 $ 小于 ! 多少才算不等。
下面给出以上三类操作符的优先级:
高 N&N﹣(取反)
^
﹡7/
﹢﹣
NONNNN>&NN>NN&NNN
N/NN)N
低77
4.2 数学函数
提供了大量的标准数学函数:
[/2'+返回 的绝对值
['+返回 的正弦值, 采用弧度制
[C'+返回 的余弦值
[&/'+返回 的正切值
[('+返回常数 的 次方
[>'+返回 的自然对数
[>'+返回 的 >// 函数的自然对数
[>'+如果 返回\;否则,返回
[W)'+返回 的整数部分。当 时,返回不
超过 的最大整数;当 时,返回
不低于 的最大整数。
[/'AADA+返回 ,,…, 中的最大值