[eclipse-users] Use of max with ic_probing_for_scheduling

From: David Norman <dn4096_at_...32...>
Date: Fri, 13 Jul 2007 11:28:05 -0500
Can someone give me a working example of using max in a cost function using the ic_probing_for_scheduling library?
The example ex3 in the documentation for the ic_probing_for_scheduling documentation doesn't work for me in version 5.10 #77. 
ex3(Starts,MaxResource,Cost) :- Starts=[S1,S2,S3,S4], ic:(S1::1..10), ic:(S2::3..10), ic:(S3::1..5), ic:(S4::3..10),        [D1,D2,D3,D4]=[5,5,3,3],        Durations=[D1,D2,D3,D4], Resources=[1,1,1,1], CostFun= max([S1+D1,S2+D2,S3+D3,S4+D4]), probe_sched(Starts,Durations,Resources,MaxResource,CostFun), ic:(Cost =:= eval(CostFun)).     
% eclipse -b ProbingForScheduling.ecl -e 'ex3(Starts, MaxResource, Cost)'loading OSI clpcbc ... doneinstantiation fault in =<(1, MaxResource) in module ic_make_overlap_bivsabort
Don't get caught with egg on your face. Play Chicktionary!  
Received on Fri Jul 13 2007 - 17:28:15 CEST

This archive was generated by hypermail 2.3.0 : Sat Aug 24 2019 - 21:14:55 CEST