equality_propagate

Transformation to propagate state through an equality set.

Classes

FixedVarPropagator(**kwds)	Propagate variable fixing for equalities of type \(x = y\).
VarBoundPropagator(**kwds)	Propagate variable bounds for equalities of type \(x = y\).