Re: [eclipse-clp-users] bb_min problem

Matthew Skala wrote:

> I'm also not sure you can just use a user-defined predicate like
> reliability_csp inside a constraint expression without further
> formalities, even if that would be allowed in ordinary arithmetic; if not,
> you may have to redesign that part to compute the objective function
> through constraints.

Yes, ic specifically allows user defined constraint or function
to occur in constraint expressions, if it has a last argument that is 
either a number or an integer or real ic variable. The constraint is
posted, with the last argument put into the expression.

Cheers,

Kish

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.