Lines Matching defs:t2
20 % LEAF (x:*) NODE (x:**) t1 t2 %
22 % where t1 and t2 are trees. Leaf nodes are labelled with values of %
88 (Height (NODE (y:**) t1 t2) = SUC(Max (Height t1) (Height t2)))";;
97 (Leaves (NODE (y:**) t1 t2) = (Leaves t1) + (Leaves t2))";;
113 "NVAL (NODE y t1 t2:(*,**)btree) = y";;
116 "LTREE (NODE y t1 t2:(*,**)btree) = t1";;
119 "RTREE (NODE y t1 t2:(*,**)btree) = t2";;