implies

(function from pyomo.core.expr.logical_expr)

pyomo.core.expr.logical_expr.implies(Y1, Y2)

Construct an Implication using function, where Y1 implies Y2