函数 描述 cumulFunction int<=（调度） 累积函数的约束（调度）。 float abs(float) 绝对值 boolean allDifferent(int[ ]) boolean allDifferent(dvar int[ ] CP。 数组中的所有整数变量都采用不同的值。 boolean allMinDistance(int[ ],int) boolean allMinDistance(dvar int[ ],int) CP。 作为第一个自变量给出的数组中包含的所有整数变量两两进行比较时，相差值至少等于第二个自变量给出的值。 boolean allowedAss

关键字 描述 all 允许仅将数组的一部分与采用数组参数的函数一起使用。 and CP。 使用逻辑 AND 将多个约束聚合为一个约束。 assert 检查假定。 boolean 决策变量的域快捷方式。 constraints 约束 (subject to) 的别名。 CP 表示约束规划模型。 CPLEX 表示数学规划模型。 cumulFunction 用于表示累积函数（CP 关键字，调度）。 dexpr 以更加紧凑的方式表示决策变量。 diff 两个数据集的差异。 div 整数除法运算符。 dvar OPL 模型中的决策变量。 else 用于声明条件约束。 execute 引入预处理或后处理脚