Re: [eclipse-users] Use of REAL variables

From: Joachim Schimpf <js10_at_crosscoreop.com>
Date: Wed, 14 Feb 2007 21:12:51 +0000
Daniel Riera wrote:
> Hello,
> 
> I would like to use some real variables but I'm not sure about how can I 
> use them for optimisation.

Have a look at the tutorial chapter
http://www.eclipse-clp.org/doc/tutorial/tutorial063.html


> 
> Thus, given a variable like X :: 1.2..3.4
> 
> Is it possible to label it (I mean to do something like an indomain/1)?

You use locate/2/3/5 to locate different solutions, and
squash/3 to find narrow intervals for individual solutions.


> 
> Is it possible to use it in a constraint like X >= 2.3?

Yes, use X $>= 2.3.



-- Joachim
Received on Wed Feb 14 2007 - 21:13:06 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:57 CET