
ic_new_bounds(+Attr, ++Lwb, ++Upb)

   Imposes the bounds on the given IC attribute.

Arguments
   Attr                An IC attribute
   Lwb                 The new lowerbound (float or breal)
   Upb                 The new upperbound (float or breal)

Type
   library(ic_kernel)

Description

	Used to imposed bounds on an IC attribute directly.  Any goals
	suspended on the upperbound will be scheduled but not run.
        
	This predicate is of use only for implementing solver
	extensions. User level code should post the constraint
	:: or >= and = instead.

        Typicaly not called directly but indirectly through
	set_ic_bounds/3 which works on variables.



See Also
   set_ic_bounds / 3
