Lines Matching defs:cl
66 val cl = List.foldl (fn (k,acl) => List.foldr
69 (ListPair.zip(List.map (fn bs => Binaryset.numItems bs) cl,List.tabulate(mxl,fn n => n)))))
71 val clv = Vector.fromList (List.map Binaryset.listItems cl)
105 fun mk_subtree keymap ranks cl mxl ccl i s k dummy =
107 then mk_tree_aux keymap ranks cl mxl (i+1)
112 val lt = if dl then mk_tree_aux keymap ranks cl mxl (i+1)
115 else mk_subtree keymap ranks cl mxl (List.take((tl ccl),(List.length ccl) div 2)) i s kl dummy
116 val rt = if dr then mk_tree_aux keymap ranks cl mxl (i+1)
119 else mk_subtree keymap ranks cl mxl (List.drop((tl ccl),(List.length ccl) div 2)) i s kr dummy
125 and mk_tree_aux keymap ranks cl mxl i s keys dummy =
128 else let val ccl = Vector.sub(cl,Vector.sub(ranks,i))
131 then mk_tree_aux keymap ranks cl mxl (i+1)
134 else mk_subtree keymap ranks cl mxl (inorder ccl) i s keys dummy end
147 val (ranks,cl) = mk_rank sk mxl
149 (*val _ = printVal cl; val _ = print " cl\n";*)
152 mk_tree_aux keymap2 ranks cl mxl 0 "" sk dummy),