Lines Matching refs:S1
300 no_overlap(S1,D1,S2,D2) :- S1 #>= S2 + D2.
301 no_overlap(S1,D1,S2,D2) :- S2 #>= S1 + D1.
316 delay no_overlap(S1,D1,S2,D2,B) if var(B).
317 no_overlap(S1,D1,S2,D2,0) :- S1 #>= S2 + D2.
318 no_overlap(S1,D1,S2,D2,1) :- S2 #>= S1 + D1.
322 no_overlap(S1,D1,S2,D2,B) :-
324 S1 + B*1000 #>= S2 + D2,
325 S2 + (1-B)*1000 #>= S1 + D1.
332 ..., no_overlap(S1,D2,S2,D2) infers most, ...