Bug in edge_finder

From: Mark Wallace <mgw_at_icparc.ic.ac.uk>
Date: Thu 18 Jan 2001 09:51:39 AM GMT
Message-ID: <3A66BCAB.D8ACB528@icparc.ic.ac.uk>
Cumulative with fd variable durations only works if the resource limit
is one.
I've tried both lib(cumulative) and lib(edge_finder3) with the same
results.


This is correct:
[eclipse 6]: [X, Y] :: 1..5, D :: 4..6, cumulative([X, Y], [D, D], [1,
1], 1), D#>=5.
no (more) solution.

This is not:
[eclipse 8]: [X,Y,Z]::1..10,  D :: 4..6, cumulative([X,
Y,Z],[D,D,D],[1,1,1],2),  D#>=5.
X = X{[1..10]}
Y = Y{[1..10]}
Z = Z{[1..10]}
D = D{[5, 6]}
There are 9 delayed goals. Do you want to see them? (y/n) 


The same behaviour is exhibited with D::5..6 initially.

-- 
_______________________________________________________________
Dr. Mark Wallace, IC-Parc,		Phone  +44 (0)20 7594 8434 
William Penney Laboratory, 		Fax    +44 (0)20 7594 8432
Imperial College, London SW7 2AZ, UK.	Email: mgw@icparc.ic.ac.uk
Received on Thu Jan 18 09:51:44 2001

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