Constraint

class Constraint

This class represents an algebraic or logical constraint. In case the constraint is scalar, its values can be accessed via functions like body and dual. All the AMPL suffixes for constraints (see https://www.ampl.com/NEW/suffbuiltin.html) are available through methods of this class with the same name (and methods of ConstraintInstance for indexed constraints).

Note that, since this class represents both algebraic and logical constraints, some suffixes might not be available for every entity.

An error is thrown if one of such methods is called for a non-scalar constraint and if a method corresponding to a suffix which is not supported by the type of the constraint is called. An error is also thrown if any property of an entity which has been deleted from the underlying interpreter is accessed.

To gain access to all the values in an entity (for all instances and all suffixes for that entities), see getValues and the DataFrame class.

Constraint.isLogical()

Check if the constraint is a logical constraint. The available suffixes differ between logical and non logical constraints. See https://www.ampl.com/NEW/suffbuiltin.html for a list of the available suffixes for algebraic constraints. The suffixes available for logical constraints are marked on the method description by “Valid only for logical constraints”.

Returns

TRUE if logical

Constraint.drop()

Drop all instances in this constraint entity, corresponding to the AMPL code: drop constraintname;

Constraint.restore()

Restore all instances in this constraint entity, corresponding to the AMPL code: restore constraintname;

Constraint.body()

Get the current value of the constraint’s body.

Returns

The current value of the constraint’s body.

Constraint.astatus()

Get the current AMPL status (dropped, presolved, or substituted out).

Returns

The current AMPL status.

Constraint.defvar()

Get the index in _var of “defined variable” substituted out by the constraint.

Returns

The index of the variable substituted out by the constraint.

Constraint.dinit()

Get the current initial guess for the constraint’s dual variable.

Returns

The current initial guess for the constraint’s dual variable.

Constraint.dinit0()

Get the original initial guess for the constraint’s dual variable.

Returns

The original initial guess for the constraint’s dual variable.

Constraint.dual()

Get the current value of the constraint’s dual variable.

Note that dual values are often reset by the underlying AMPL interpreter by the presolve functionalities triggered by some methods. A possible workaround is to set the option presolve; to false (see setOption).

Returns

The current value of the constraint’s dual variable.

Constraint.lb()

Get the current value of the constraint’s lower bound.

Returns

The current value of the constraint’s lower bound.

Constraint.ub()

Get the current value of the constraint’s upper bound.

Returns

The current value of the constraint’s upper bound.

Constraint.lbs()

Get the constraint lower bound sent to the solver (reflecting adjustment for fixed variables).

Returns

The constraint lower bound sent to the solver.

Constraint.ubs()

Get the constraint upper bound sent to the solver (reflecting adjustment for fixed variables).

Returns

The constraint upper bound sent to the solver.

Constraint.ldual()

Get the current dual value associated with the lower bound.

Returns

The current dual value associated with the lower bound.

Constraint.udual()

Get the current dual value associated with the upper bounds

Returns

The current dual value associated with the upper bound.

Constraint.lslack()

Get the slack at lower bound body - lb.

Returns

The slack at lower bound.

Constraint.uslack()

Get the slack at upper bound ub - body

Returns

The slack at upper bound.

Constraint.slack()

Constraint slack (the lesser of lslack and uslack).

Returns

The constraint slack.

Constraint.sstatus()

Get the solver status (basis status of constraint’s slack or artificial variable)

Returns

The solver status.

Constraint.status()

Get the AMPL status if not in, otherwise solver status.

Returns

The AMPL status.

Constraint.setDual(dual)

Set the value of the dual variable associated to this constraint (valid only if the constraint is scalar). Equivalent to the AMPL statement:

let c := dual;

Note that dual values are often reset by the underlying AMPL interpreter by the presolve functionalities triggered by some methods. A possible workaround is to set the option presolve to false (see setOption).

Parameters

dual (float) – The value to be assigned to the dual variable.

Constraint.val()

Get the AMPL val suffix. Valid only for logical constraints.

Returns

The val suffix.