[ library(probe) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# add_con(+Constraint, ++Options, +Handle)

Add a constraint to the fd and linear solvers

Constraint
  A numerical constraint, with functor '=:=', '>=', '=<', '>' or '<'
Options
  An options structure
Handle
  A linear solver handle

## Description

If the inequality is strict, X>Y or X'<'Y, then the granularity specified in the options is added to the smaller term to create a non-strict inequality, which can be passed to the linear solver. Thus if the granularity is 3, then for X>Y the constraint X>=Y+3 is added to the linear solver and X#>=Y+3 is added to the fd solver.

### Resatisfiable

no

## See Also

set_up_probe / 5