信息

提供用于检索存储在模型上的析取变量边界信息的函数。

Functions

disjunctive_bound(var, scope)	计算给定范围内变量的析取边界。
disjunctive_bounds(scope)	返回在分离范围内定义的所有变量边界。
disjunctive_lb(var, scope)	计算给定范围内变量的析取下界。
disjunctive_ub(var, scope)	计算给定范围内变量的析取上界。