Consider code below. goal(AllClasses, SelectedSlots, Result):-labeling(AllClasses), computeQuality('c:\a', SelectedSlots, Result). write_list([]):-flush(output). write_list([Head|Tail]):-write(output, Head),write(output, ' '),write_list(Tail). start(SelectedSlots, SelectedRooms):- SelectedSlots = [SS0,SS1,SS2,SS3], SelectedRooms = [SR0,SR1,SR2,SR3], AllClasses = [SS0,SR0,SRS0,SS1,SR1,SRS1,SS2,SR2,SRS2,SS3,SR3,SRS3], SS0 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34], SR0 :: [0], SS1 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34], SR1 :: [0], SS2 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34], SR2 :: [0], SS3 :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34], SR3 :: [0], [SRS0,SRS1,SRS2,SRS3] :: [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,17,16,19,18,21,20,23,22,25,24,27,26,29,28,31,30,34,35,32,33,38,39,36,37,42,43,40,41,46,47,44,45,51,50,49,48,55,54,53,52,59,58,57,56,63,62,61,60,68,69,64,65,66,67], alldifferent([SRS0,SRS1,SRS2,SRS3]), SRS0#=100*SR0+SS0, SRS1#=100*SR1+SS1, SRS2#=100*SR2+SS2, SRS3#=100*SR3+SS3, alldifferent([SS0,SS1,SS2,SS3]), alldifferent([SS2,SS3,SS0]), alldifferent([SS2,SS3,SS1]), bb_min(goal(AllClasses, SelectedSlots, Result), Result, bb_options with [timeout:10]). :-start(SelectedSlots, SelectedRooms), write_list(SelectedSlots), write_list(SelectedRooms), flush(output). My question is: why bb_min is totaly insensible to timeout parametr. To any timeout value bb_min performs whole search. Any sugestions ?Received on Wed Aug 01 2007 - 09:32:56 CEST
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET