本文整理汇总了Python中pyomo.environ.ConcreteModel.disj方法的典型用法代码示例。如果您正苦于以下问题：Python ConcreteModel.disj方法的具体用法？Python ConcreteModel.disj怎么用？Python ConcreteModel.disj使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类pyomo.environ.ConcreteModel的用法示例。
在下文中一共展示了ConcreteModel.disj方法的4个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: test_compute_bounds_obbt_prune_disjunct
# 需要导入模块: from pyomo.environ import ConcreteModel [as 别名]
# 或者: from pyomo.environ.ConcreteModel import disj [as 别名]
def test_compute_bounds_obbt_prune_disjunct(self):
m = ConcreteModel()
m.x = Var(bounds=(0, 1))
m.d1 = Disjunct()
m.d1.c = Constraint(expr=m.x >= 2)
m.d1.c2 = Constraint(expr=m.x <= 1)
m.d2 = Disjunct()
m.d2.c = Constraint(expr=m.x + 3 == 0)
m.disj = Disjunction(expr=[m.d1, m.d2])
m.obj = Objective(expr=m.x)
TransformationFactory('contrib.compute_disj_var_bounds').apply_to(m, solver='cbc')
self.assertFalse(m.d1.active)
self.assertEqual(m.d1.indicator_var, 0)
self.assertTrue(m.d1.indicator_var.fixed)示例2: test_compute_bounds_fbbt
# 需要导入模块: from pyomo.environ import ConcreteModel [as 别名]
# 或者: from pyomo.environ.ConcreteModel import disj [as 别名]
def test_compute_bounds_fbbt(self):
"""Test computation of disjunctive bounds."""
m = ConcreteModel()
m.x = Var(bounds=(0, 8))
m.d1 = Disjunct()
m.d1.c = Constraint(expr=m.x >= 2)
m.d2 = Disjunct()
m.d2.c = Constraint(expr=m.x <= 4)
m.disj = Disjunction(expr=[m.d1, m.d2])
m.obj = Objective(expr=m.x)
TransformationFactory('contrib.compute_disj_var_bounds').apply_to(m)
self.assertEqual(m.d1._disj_var_bounds[m.x], (2, 8))
self.assertEqual(m.d2._disj_var_bounds[m.x], (0, 4))
self.assertEqual(disjunctive_lb(m.x, m.d1), 2)
self.assertEqual(disjunctive_ub(m.x, m.d1), 8)
self.assertEqual(disjunctive_lb(m.x, m.d2), 0)
self.assertEqual(disjunctive_ub(m.x, m.d2), 4)示例3: test_nested_fbbt
# 需要导入模块: from pyomo.environ import ConcreteModel [as 别名]
# 或者: from pyomo.environ.ConcreteModel import disj [as 别名]
def test_nested_fbbt(self):
m = ConcreteModel()
m.x = Var(bounds=(0, 8))
m.y = Var(bounds=(0, 8))
m.d1 = Disjunct()
m.d1.c = Constraint(expr=m.x >= 2)
m.d1.innerD1 = Disjunct()
m.d1.innerD1.c = Constraint(expr=m.y >= m.x + 3)
m.d1.innerD2 = Disjunct()
m.d1.innerD2.c = Constraint(expr=m.y <= m.x - 4)
m.d1.innerDisj = Disjunction(expr=[m.d1.innerD1, m.d1.innerD2])
m.d2 = Disjunct()
m.d2.c = Constraint(expr=m.x == 3)
m.disj = Disjunction(expr=[m.d1, m.d2])
TransformationFactory('contrib.compute_disj_var_bounds').apply_to(m)
self.assertEqual(disjunctive_lb(m.y, m.d1), 0)
self.assertEqual(disjunctive_lb(m.y, m.d1.innerD1), 5)
self.assertEqual(disjunctive_ub(m.y, m.d1.innerD2), 4)示例4: test_detect_effectively_discrete_vars
# 需要导入模块: from pyomo.environ import ConcreteModel [as 别名]
# 或者: from pyomo.environ.ConcreteModel import disj [as 别名]
def test_detect_effectively_discrete_vars(self):
m = ConcreteModel()
m.x = Var()
m.y = Var(domain=Binary)
m.z = Var(domain=Integers)
m.constr = Constraint(expr=m.x == m.y + m.z)
m.ignore_inequality = Constraint(expr=m.x <= m.y + m.z)
m.ignore_nonlinear = Constraint(expr=m.x ** 2 == m.y + m.z)
m.a = Var()
m.b = Var(domain=Binary)
m.c = Var(domain=Integers)
m.disj = Disjunct()
m.disj.constr = Constraint(expr=m.a == m.b + m.c)
effectively_discrete = detect_effectively_discrete_vars(m, 1E-6)
self.assertEqual(len(effectively_discrete), 1)
self.assertEqual(effectively_discrete[m.x], [m.constr])
effectively_discrete = detect_effectively_discrete_vars(m.disj, 1E-6)
self.assertEqual(len(effectively_discrete), 1)
self.assertEqual(effectively_discrete[m.a], [m.disj.constr])