Re: some question about eclipse 5.3 #47

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Fri 15 Mar 2002 11:09:51 AM GMT
Message-ID: <3C91D67F.2DAFF5DF@icparc.ic.ac.uk> 
Deze Zhao wrote:
> 
> [eclipse 2]: cool(5,5).
> lists.eco  loaded traceable 0 bytes in 0.04 seconds
>      0     0     0     0   480
>      0     0     0     0   480
>      0     0     0     0   480
>      0     0     0     0   480
>      0     0     0     0   480
> 
> [0.65, seconds]
> 
> There are 1800 delayed goals. Do you want to see them? (y/n)
> More (0.66s cpu) ?


Some of these delayed goals contain variables with wide intervals.
These seem to be auxiliary variables introduced by ic.
Any ideas how to deal with this?

-- Joachim
Received on Fri Mar 15 11:09:51 2002

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