[ library(probe) | 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