Lines Matching refs:S2
109 Task2 = task with [start:S2,duration:D2],
110 no_possible_overlap(S1,S2,D2), !,
114 Task2 = task with [start:S2,duration:D2,resource:R2],
115 must_overlap(S1,S2,D2), !,
121 Task2 = task with [start:S2,duration:D2,resource:R2],
127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1),
129 [[S1,S2,D2]->min,[S1,S2,D2]->max],
136 no_possible_overlap(S1,S2,D2) :-
137 (mindomain(S1)>=maxdomain(S2)+maxdomain(D2)), !.
138 no_possible_overlap(S1,S2,_) :-
139 (mindomain(S2)>maxdomain(S1)), !.
140 must_overlap(S1,S2,D2) :-
141 (mindomain(S1)>=maxdomain(S2)),
142 (maxdomain(S1)<mindomain(S2)+mindomain(D2)).
146 set_biv(S1,S2,D2,R2,Biv,Susp)
151 set_biv(S1,S2,D2,R2,Biv,Susp) :-
152 must_overlap(S1,S2,D2), !,
155 set_biv(S1,S2,D2,_R2,Biv,Susp) :-
156 no_possible_overlap(S1,S2,D2), !,
182 Task2 = task with [start:S2,duration:D2,resource:R2],
183 Cons= (S1>=S2,S1+Granularity=<S2+D2),
184 my_tent_call( (S1,S2,D2,R2),