Lines Matching refs:R0
545 substitute(_,[],R0,R) :- !, R0=R.
546 substitute(Coeff,[mono(C,V)|T],R0,R) :-
549 substitute(C1,Rhs,R0,R1)
551 R1 = [mono(C1,V)|R0]
557 substitute(_,[],R0,R) :- !, R0=R.
558 substitute(Coeff,[mono(C,V)|T],R0,R) :-
560 substitute_aux(C1,V,R0,R1),
564 substitute_aux(C,V,R0,R) :-
567 R = [mono(C,V)|R0].
568 substitute_aux(C,V,R0,R) :-
570 substitute_aux1(C,V,Rhs,R0,R).
573 substitute_aux1(C,V,Rhs,R0,R) :-
576 R = [mono(C,V)|R0].
577 substitute_aux1(C,_,Rhs,R0,R) :-
578 substitute(C,Rhs,R0,R).