[ library(ic_probe) | Reference Manual | Alphabetic Index ]
add_con(+Constraint, ++Options, +Handle)
Add a constraint to the ic 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 ic solver.
Resatisfiable
no
See Also
set_up_probe / 5