41.3关系运算符 说明:主要用在模型中,指定一个表达式的左边是否等于、小于等于 或大于等于右边,形成模型的一个约束条件。 关系运算符与逻辑运篁符井eq#、#e#、#ge排区别:截然不同,前者是模 型中该关系运算符所指定关系的为真描述,后者仅仅判断一个该关系是 否被满足:满足为真,不满足为假。 关系运算符(三种):“=”、“<=”、“>=”。 说明:还能用“<”表示小于等于关系,“”表示大于等于关系。 不支持严格小于和严格大于关系运算符 若需要严格小于和严格大于关系,比如让A严格小于B:A<B, 则可把它变成如下的小于等于表达式 A+ε<=B,ε是一个小的正数,其值依赖于模型中A小于B多少才算不等。 三类操作符的优先级: 高#nOt# (取反) #eg##ne##gt##ge##lt##le# #and##or# 低说明：主要用在模型中，指定一个表达式的左边是否等于、小于等于、 或大于等于右边，形成模型的一个约束条件。 关系运算符与逻辑运算符#eq#、#le#、#ge#区别：截然不同，前者是模 型中该关系运算符所指定关系的为真描述，后者仅仅判断一个该关系是 否被满足：满足为真，不满足为假。 关系运算符（三种）：“ = ” 、 “<=” 、 “>=” 。 说明：还能用“<”表示小于等于关系，“>”表示大于等于关系。 不支持严格小于和严格大于关系运算符。 若需要严格小于和严格大于关系，比如让A严格小于B：A<B， 则可把它变成如下的小于等于表达式： A+ε<=B，ε是一个小的正数，其值依赖于模型中A小于B多少才算不等。 三类操作符的优先级： 高 #not# ﹣（取反） ＾ ﹡ ／ ﹢﹣ #eq# #ne# #gt# #ge# #lt# #le# #and# #or# 低 <= = >= 4.1.3 关系运算符