[eclipse-clp-users] Union of real intervals (was Re: Variable Bound Symbols in Embedded)

From: Kish Shen <kisshen_at_cisco.com>
Date: Sat, 18 Apr 2009 01:40:16 +0100
Meriem Djefel wrote:
> Hi all,
> I want to know can I declare a real variable with a domain union of 
> intervals.
> In the documentation , we have *interval_union / 
> 3*..........lib_public/intervals 
> <> but 
> there is no description! Is it an obsolete Library?
> Thanks.

Your posting does not seem to be related to the thread you are posting 
to -- you should start a new thread in such a case; I have started a new 
thread (and your message was delayed because you are not subscribed to 
the list, it needed to be manually approved).

I assume by `real variable' you mean a variable with a real interval 
from lib(ic) (a variable with a finite domain can only take integer 
values in lib(ic)). Unlike finite domain, a real interval cannot have 
holes in the interval, so you cannot have an unrestricted `domain 
union'. The closest to a union is to take the largest of the maximums of 
your intervals and the smallest of the minimums of your intervals and 
make these the maximum and minimum of your new interval.

The libraries/files in lib_public are user contributions to ECLiPSe (the 
'public' comes from the days before ECLiPSe was open-sourced, when only 
the source in lib_public were distributed). Some of these contributions, 
including the intervals.pl you refer to, is quite old -- if you look at 
the file, you will see that it dates from 1987. It is completely 
unrelated to the real interval available in lib(ic).

The documentation in the reference/bips manual you are referring to is 
generated from the comments documentation that you can put into your 
ECLiPSe source file. There is no description for intervals.pl because no 
comment documentation exist for intervals.pl. It is a good idea to add 
such documentation to any code that you intend to be used by other 
people, but the lack of such documentation does not necessarily mean the 
code is obsolete.



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.
Received on Sat Apr 18 2009 - 00:40:31 CEST

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