Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / Nom2fix.mli @ 1d36cd07

History | View | Annotate | Download (551 Bytes)

1
module CA = CoAlgFormula
2

    
3
type nomTbl = string -> CoAlgFormula.sort option
4

    
5

    
6
val rename : CoAlgFormula.formula -> string Map.Make(String).t ref -> string list ref ->  CoAlgFormula.formula
7
val delFix : CoAlgFormula.formula -> CoAlgFormula.formula
8
val calcinv : CoAlgFormula.formula -> string list ref -> (string -> int option) -> CoAlgReasoner.sortTable -> int -> CoAlgFormula.formula
9
val translate : CoAlgFormula.formula -> (string -> int option) -> CoAlgReasoner.sortTable -> int -> bool ->  CoAlgFormula.formula
10

    
11
(* vim: set et sw=2 sts=2 ts=8 : *)