Re: range:integers/1

From: Andrew John Sadler <ajs2_at_icparc.ic.ac.uk>
Date: Mon 07 Oct 2002 08:54:16 AM GMT
Message-Id: <E17yTea-00007f-00@ilford.icparc.ic.ac.uk> 
> Envelope-to: eclipse-bugs@icparc.ic.ac.uk
> Delivery-date: Fri, 4 Oct 2002 20:52:01 +0100
> From: Kish Shen <ks15@icparc.ic.ac.uk>
> Date: Fri, 4 Oct 2002 20:51:57 +0100
> 
....
> >var_range(X,Min,Max) % guaranteed to give me integral float (because I know
> 
> Seems to me it is more of a question of if this should return Min and Max
> as integers or not if X is an integer (get_ic_bounds/3 also return floats
> in this case). 

Whilst this is true in the 5.4 release it has been changed for the
upcoming 5.5 release. In 5.5 get_ic_bounds/3 returns integer bounds
for integer variables ( and integer constants ), and float bounds for
everything else.

Andrew Sadler
Received on Mon Oct 07 09:54:25 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:18 PM GMT GMT