all_different

(function from pyomo.core.expr.logical_expr)

pyomo.core.expr.logical_expr.all_different(*args)[source]

Creates a new AllDifferentExpression

Requires all of the arguments to take on a different value

Usage: all_different(m.X1, m.X2, …)