Lines Matching defs:t2
161 val t2 = updLabAdj (t1,pred,addLabSuc n)
162 val t3 = updLabAdj (t2,suc,addLabPred n)
172 val t2 = remFromLab (t1,n,s',T2) (* rem. n from each pred-list of s *)
173 val t3 = remFromLab (t2,n,p',T3) (* rem. n from each suc-list of p *)
225 val t2 = M.update (t1,w,addLabPred v l)
226 in insEdges (t2,el) end
252 val t2 = updAdj (t1,pred,addSuc n)
253 val t3 = updAdj (t2,suc,addPred n)
261 val t2 = remFrom (t1,n,s',T2) (* rem. n from each pred-list of s *)
262 val t3 = remFrom (t2,n,p',T3) (* rem. n from each suc-list of p *)
301 val t2 = M.update (t1,w,addPred v)
302 in insEdges (t2,el) end
329 val t2 = updLabAdj (t1,pred,addLabSuc n)
331 (t2,Int.max (n,m))
370 val t2 = updAdj (t1,pred,addSuc n)
372 (t2,Int.max (n,m))