
lp_add_constraints(+Handle, +Constraints, ++Integers)

   Add new constraints to the demon solver Handle.

Arguments
   Handle              Handle to a solver state
   Constraints         A list of equality or inequality constraints
   Integers            A (possibly empty) list of problem variables to be considered as integers

Type
   library(eplex)

Description

  Add new constraints (with possibly new variables) to a solver.
  NewIntegers is a list of variables that the external solver should
  consider as integers Unlike integers/1, the variables are not constrained
  to be integers in ECLiPSe.  The new constraints will be taken into
  account the next time the solver is run: if the new_constraints option of
  lp_demon_setup was turned on, then the solver will be invoked after the
  adding of the constraints.  The constraints will be removed on
  backtracking.

  The constraints are normalised and simplified before being passed to
  the external solver. 

  Currently the variables in NewIntegers are restricted to new problem 
  variables, i.e. variables which occur in NewNormCons which did not
  occur in existing constraints of the solver state.


 

Resatisfiable
   no

See Also
   lp_demon_setup / 6, lp_add / 3, =:= / 2, =< / 2, >= / 2
