Lines Matching refs:R2
114 Task2 = task with [start:S2,duration:D2,resource:R2],
116 OutBivs=[R2|InBivs].
117 % If R2 is a variable, then Biv isn't really bivalued!
121 Task2 = task with [start:S2,duration:D2,resource:R2],
122 get_domain_as_list(R2,R2DomList),
127 demon_suspend(set_biv(S1,S2,D2,R2,Biv,Susp1),
146 set_biv(S1,S2,D2,R2,Biv,Susp)
151 set_biv(S1,S2,D2,R2,Biv,Susp) :-
153 Biv=R2,
182 Task2 = task with [start:S2,duration:D2,resource:R2],
184 my_tent_call( (S1,S2,D2,R2),
185 reified_cons_check(Cons,R2,0,Biv),