Lines Matching refs:S2
170 ic_constraints(Time,S1,S2,B1,B2) :-
173 ic: ([S1,S2]::1..20),
175 overlap(S2,5,Time,B2),
178 eplex_constraints(S1,S2,S3) :-
182 before(S2,5,S3).
184 hybrid1(Time, [S1,S2,S3], End) :-
191 ic_constraints(Time,S1,S2,B1,B2),
193 eplex_constraints(S1,S2,S3),
196 labeling([B1,B2,S1,S2]).
200 $S2$ are tightened as a result of {\tt ic} propagation, which wakes
241 hybrid2(Time, [S1,S2,S3], End) :-
248 ic_constraints(Time,S1,S2,B1,B2),
249 eplex_constraints(S1,S2,S3),
251 both_opt(labeling([B1,B2,S1,S2]),min(S3),End).
395 eplex_constraints_2(Time,S1,S2,S3,B1,B2) :-
399 before(S2,5,S3),
403 pos_overlap(S2,5,Time,B2).
405 hybrid3(Time, [S1,S2,S3], End) :-
412 ic_constraints(Time,S1,S2,B1,B2),
413 eplex_constraints(Time,S1,S2,S3,B1,B2),
415 both_opt(labeling([B1,B2,S1,S2]),min(S3),End).
447 eplex_constraints_3(T,S1,S2,S3,B1,N1B1,N2B1,B2,N1B2,N2B2) :-
451 before(S2,5,S3),
459 pos_overlap(S2,5,T,B2),
460 neg_overlap(S2,5,T,N1B2,N2B2),
466 hybrid4(Time, [S1,S2,S3], End) :-
474 ic_constraints(Time,S1,S2,B1,B2),
475 eplex_constraints_3(Time,S1,S2,S3,B1,N1B1,N2B1,B2,N1B2,N2B2),
477 both_opt(labeling([B1,N1B1,N2B1,B2,N1B2,N2B2,S1,S2]),min(S3),End).