Lines Matching refs:pivot
952 ( Pivot_or_Unbounded = pivot(_,_) -> % step 8
953 pivot(Pivot_or_Unbounded),
1149 pick_pivot(T, pivot(C,V), Vout)
1152 % ; Vin = pivot(Cmax,_), C > Cmax ->
1153 % pick_pivot(T, pivot(C,V), Vout)
1154 ; Vin = pivot(Cmax,_) ->
1160 pick_pivot(T, pivot(C,V), Vout)
1166 pick_pivot(T, pivot(C,V), Vout)
1172 ; Vin = pivot(Cmax,_), C =:= Cmax ->
1258 pivot(pivot(_,Vpivot)) :-
1992 obj_pick_pivot(T, pivot(C,V), Vout)
1995 ; Vin = pivot(Cmax,_), C > Cmax ->
1996 obj_pick_pivot(T, pivot(C,V), Vout)
1997 ; Vin = pivot(Cmax,_), C =:= Cmax ->
2007 obj_pivot(pivot(_,Vpivot)) :-