Lines Matching defs:tab
305 fun table_to_string vars vars' tab =
310 nicevar v :: map (int_to_string o M.count (B.find (tab,v))) vars
326 fun table_add parm vars' ((v |-> t), tab) =
330 val tab = if not (mem v vars') then tab else add (v,~1,tab)
332 M.foldl add tab (weight wf t)
338 val tab = foldl init (B.mkDict String.compare) vars'
340 foldl (table_add parm vars') tab
343 fun new_eqn vars vars' tab eqn =
346 fun f (v,m) = M.insert (v, M.foldl g 0 (B.find (tab,v))) m
356 val tab = mk_table parm vars1 vars2 mapl
358 chat ("subst table:\n"^table_to_string vars1 vars2 tab)
359 val eqns' = map (new_eqn vars1 vars2 tab) eqns