helm/www/lambdadelta/bin/xhtbl/pass3.ml

   1 module A = Array
   2
   3 module M = Matrix
   4 module C = Css
   5
   6 type status = {
   7    m: M.matrix;
   8    a: C.atoms;
   9 }
  10
  11 let initial a m = {
  12    m = m; a = a;
  13 }
  14
  15 let process_cell st y x c =
  16    M.set_css st.m y x (C.get_css st.a y x)
  17
  18 let process_row st y row =
  19    A.iteri (process_cell st y) row
  20
  21 let process css matrix =
  22    let st = initial css matrix in
  23    A.iteri (process_row st) matrix.M.m