(function from pyomo.core.expr.logical_expr)
pyomo.core.expr.logical_expr
Creates a new AllDifferentExpression
Requires all of the arguments to take on a different value
Usage: all_different(m.X1, m.X2, …)