Project

General

Profile

Revision 2da28579

View differences:

src/lib/Nom2fix.ml
30 30
    | CoAlgFormula.EF f -> CoAlgFormula.EF (rename_formula1 f)
31 31
    | CoAlgFormula.AG f -> CoAlgFormula.AG (rename_formula1 f)
32 32
    | CoAlgFormula.EG f -> CoAlgFormula.EG (rename_formula1 f)
33
    | CoAlgFormula.VAR s -> CoAlgFormula.VAR s
33 34
  in
34 35
  rename_formula1 f
35 36

  
......
58 59
  CoAlgMisc.sortTable := Array.copy sorts;
59 60
  CoAlgMisc.detClosure [] nomTbl hcF fset vset atset nomset s hcform;
60 61

  
62

  
61 63
  let hashedformulaList = ref [] in
62 64
  CoAlgFormula.HcFHt.iter (fun k v -> hashedformulaList := k :: (!hashedformulaList)) fset.(0);
63 65
  
......
68 70
  done;
69 71
  (*end calc flc*)
70 72

  
71

  
72
  (*TODO ueber alle Klauseln iterieren*)
73 73
  let ret = ref (calcforsub (List.hd !formulaList) noms) in
74 74
  for i = 1 to (List.length !formulaList) - 1 do
75 75
    let sub = calcforsub (List.nth !formulaList i) noms in

Also available in: Unified diff