Lines Matching refs:R1
141 [D1,R1] :: [6,2],
146 LR = [R1,R2,R3,R4,R5,R6],
156 D1 ## R1, D2 ## R2, D3 ## R3, D4 ## R4, D5 ## R5, D6 ## R6,
174 LR = [R1,R2,R3,R4],
191 Vars = [O1,D1,R1,O2,D2,R2,O3,D3,R3,O4,D4,R4],
207 LR = [R1,R2,R3,R4,R5,R6,R7],
228 R1 #> R2, R2 #> R3, R3 #> R4, R4 #> R5, R5 #> R6, R6 #> R7,
232 % [R1,R2,R3,R4,R5,R6,R7] = [11,10,9,7,3,2,1],
239 Vars = [O1,D1,R1,O2,D2,R2,O3,D3,R3,O4,D4,R4,O5,D5,R5,O6,D6,R6,O7,D7,R7],
240 % Vars = [D1,R1,D2,R2,D3,R3,D4,R4,D5,R5,D6,R6,D7,R7,O1,O2,O3,O4,O5,O6,O7],
262 cannot_be_included_aux(D1,[D2|Ds],R1,[R2|Rs],Sofar,Bools):-
264 rectangle_not_included(D1,R1,D2,R2,B),
266 cannot_be_included_aux(D1,Ds,R1,Rs,New,Bools).
270 rectangle_not_included(D1,R1,D2,R2,B):-
273 D1 #> R2, D2 #> R1
275 R1 #> D2, D1 #< R2
280 dvar_range(R1,R1min,R1max),
283 B ## 1, D1 #> R2, D2 #> R1
286 B ## 0, R1 #> D2, R2 #> D1
288 Var = v(D1,R1,D2,R2),
289 suspend(rectangle_not_included(D1,R1,D2,R2,B),4,[Var->min,Var->max,B->inst])
302 cannot_be_included_aux(D1,[D2|Ds],R1,[R2|Rs]):-
303 rectangle_not_included(D1,R1,D2,R2),
304 cannot_be_included_aux(D1,Ds,R1,Rs).
307 rectangle_not_included(D1,R1,D2,R2):-
308 % Assume D1 > D2 and R1 < R2
311 dvar_range(R1,R1min,R1max),
313 ( R2max < D1min -> R1 #< D2
316 ; D1max < R2min -> D2 #< R1
317 ; suspend(rectangle_not_included(D1,R1,D2,R2),4,[D1,D2,R1,R2]->constrained)
320 rectangle_not_included(D1,R1,D2,R2):-
321 % Assume D1 > D2 and R1 < R2
322 ((D1 #> R2, R1 #< D2) ; (R1 #> D2, D1 #< R2)).
325 rectangle_not_included(D1,R1,D2,R2):-
330 dvar_range(R1,R1min,R1max),
332 (D1max < D2min -> R1 #> R2, setval(prop,true) ; true),
334 (D2max < D1min -> R2 #> R1, setval(prop,true) ; true),
339 suspend(rectangle_not_included(D1,R1,D2,R2),4,[D1,D2,R1,R2]->constrained)