
ic_upb(+Attr, ++Bound)

   Imposes an upperbound on the given IC attribute.

Arguments
   Attr                An IC attribute
   Bound               The new upperbound (float or breal)

Type
   library(ic_kernel)

Description

	Used to impose upperbounds 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 #= instead.

        Typicaly not called directly but indirectly through
	upb/2 which works on variables.



See Also
   upb / 2, ic_lwb / 2
