Lines Matching refs:In
81 make_rvars(Nodes_in_out,[],Vars,Out,[],In,UVars),
84 set_up_rcons(Start,Dest,Nodes,Out,In,UVars),
140 make_rvars([],BVars,BVars,[],In,In,[]).
141 make_rvars([I-_-Out|Rest],AcBVars,BVars,OutVars,AcIn,In,[I-UI|UVars]):-
146 make_rvars(Rest,NAcBVars,BVars,ROut,NAcIn,In,UVars).
148 make_vars(_,[],[],In,In).
149 make_vars(I,[J|Rest],[(I,J)-Bij|RVars],CIn,In):-
155 make_vars(I,Rest,RVars,NCIn,In).
158 set_up_rcons(S,Dest,[I|RNodes],Out,In,UVars):-
159 once(delete(I-IIn,In,RIn)),