Constraint

Constraint classes and functions

Class

amplify.Constraint	Constraint class representing equality or inequality conditions on polynomial expressions.
amplify.ConstraintList	List-like container of Constraint objects.

Functions

amplify.equal_to	Create an equality constraint.
amplify.one_hot	Create a one-hot constraint.
amplify.less_equal	Create a less-than-or-equal constraint.
amplify.greater_equal	Create a greater-than-or-equal constraint.
amplify.clamp	Create a range constraint.
amplify.domain_wall	Create domain wall constraints for a variable array.

Enum

amplify.PenaltyFormulation

Penalty function formulation strategy used for constraint conversion.