2020/8/24 OPL 关键字的摘要表 OPL 关键字的摘要表 提供每个 OPL 关键字的简短描述和对应完整描述的链接。 下表列出了 OPL 的保留字；其中一些用作关键字，其他用作保留字以供将来使用。 特定于 CP Optimizer 引擎的关键字在描述中通过 CP 接。 标识。 下表提供了简短描述和完整关键字描述的链 要点： 不能将 OPL 保留字用作变量名称。 关键字 initial 和 template 保留以供将来使用。 不推荐使用关键字 struct。 请改为使用 tuple。 1. OPL 关键字 all and assert boolean constraints CP CPLEX 描述 允许仅将数组的一部分与采用数组参数的函 数一起使用。 CP。 使用逻辑 AND 将多个约束聚合为一个 约束。 检查假定。 决策变量的域快捷方式。 约束 (subject to) 的别名。 表示约束规划模型。 表示数学规划模型。 cumulFunction 用于表示累积函数（CP 关键字，调度）。 dexpr diff div 以更加紧凑的方式表示决策变量。 两个数据集的差异。 整数除法运算符。 https://www.ibm.com/support/knowledgecenter/zh/SSSA5P_12.9.0/ilog.odms.ide.help/OPL_Studio/opllang_quickref/topics/opl_quickref_keywords… 1/4 关 键 字 表 保 留 关 键 字 

2020/8/24 关键字 dvar else execute false float float+ forall from in if include infinity int int+ intensity inter 区间 invoke key main max maximize maxint OPL 关键字的摘要表 描述 OPL 模型中的决策变量。 用于声明条件约束。 引入预处理或后处理脚本编制块。 始终为 false 的约束的快捷方式。 声明浮点值。 决策变量的域快捷方式。 引入约束。 与 DBRead 和 SheetRead 关键字有关，用 于从数据库或电子表格读取数据。 检查集中的成员资格。 用于声明条件约束 将一个模型包含到另一个模型中。 用于表示 IEEE 无穷大符号的预定义浮点常 数。 声明整数。 决策变量的域快捷方式。 用于定义区间的强度（CP 关键字，调 度）。 保留数据集之间的公共元素（交集）。 用于创建区间变量（CP 关键字，调度）。 在数据初始化后调用 IBM ILOG Script 函 数。 在声明元组时，使您能够使用一组唯一标识 来访问以元组形式组织的数据。 引入流控制脚本编制块。 计算相关表达式集合的最大值。 用于表示目标函数的约束。 OPL 中可用的最大正整数。 https://www.ibm.com/support/knowledgecenter/zh/SSSA5P_12.9.0/ilog.odms.ide.help/OPL_Studio/opllang_quickref/topics/opl_quickref_keywords… 2/4 

2020/8/24 关键字 min minimize mod not in optional or ordered piecewise prepare prod pwlFunction range reversed 序列 setof SheetConnection SheetRead SheetWrite size sorted stateFunction stepFunction stepwise OPL 关键字的摘要表 描述 计算相关表达式集合的最小值。 用于表示目标函数的约束。 整数除法的余数。 集中的非成员资格。 用于将区间声明为可选（CP 关键字，调 度）。 CP。 使用逻辑 OR 将多个约束聚合为一个约 束。 组合多个参数来产生更紧凑的语句。 引入连续和不连续分段线性函数。 引入要在 .dat 文件的某个其他部分中使用的 IBM ILOG Script 函数定义。 计算相关表达式集合的积。 用于对时间的已知连续函数建模（调度）。 通过下界和上界定义整数范围。 指定集中的词典式降序。 用于定义区间变量的序列（CP 关键字，调 度）。 定义集（唯一元素的列表）。 将模型连接到电子表格。 从电子表格中读取数据。 将数据写入电子表格。 用于定义区间大小（CP 关键字，调度）。 按词典式的自然升序对集排序。 用于表示状态函数（CP 关键字，调度）。 pwlFunction 的一种特殊用例，其中该函数 在分步区间中会发生变化（调度）。 用于表示分步线性函数（调度）。 https://www.ibm.com/support/knowledgecenter/zh/SSSA5P_12.9.0/ilog.odms.ide.help/OPL_Studio/opllang_quickref/topics/opl_quickref_keywords… 3/4 

2020/8/24 关键字 string subject to sum symdiff to true tuple types union using with 父主题：  OPL 关键字 OPL 关键字的摘要表 描述 声明数据字符串。 引入优化指令，后跟约束块。 计算相关表达式集合的和。 运行两个集的并集和交集的差异。 与 DBUpdate 和 SheetWrite 关键字有关， 用于将数据写入数据库或电子表格。 始终为 true 的约束的快捷方式。 用于将紧密相关的数据聚集在一起的数据结 构。 用于将非负整数（区间变量类型）与序列中 的每个区间变量关联起来。 将集的不相同元素添加到其他集。 与关键字 CP 或 CPLEX 关联，用于为模型指 定解算引擎。 指示元组的元素必须包含在给定集中。 https://www.ibm.com/support/knowledgecenter/zh/SSSA5P_12.9.0/ilog.odms.ide.help/OPL_Studio/opllang_quickref/topics/opl_quickref_keywords… 4/4