Project

General

Profile

Revision e3cf4ca2 src/lib/EAFormula.mli

View differences:

src/lib/EAFormula.mli
27 27

  
28 28

  
29 29
val exportFormula : eaformula -> string
30
val formula1 : CoAlgFormula.formula -> string list ref * eaformula
31
val formula2 : CoAlgFormula.formula -> string list -> (string -> int option) -> CoAlgReasoner.sortTable -> eaformula
30
val rename : CoAlgFormula.formula -> string Map.Make(String).t ref -> string list ref -> CoAlgFormula.formula
31
val coalgtoea : CoAlgFormula.formula -> eaformula
32
val formula2 : CoAlgFormula.formula -> string list -> (string -> int option) -> CoAlgReasoner.sortTable -> CoAlgFormula.formula
32 33
val formula3 : string list -> eaformula
33 34
val nom2EA : CoAlgFormula.formula -> (string -> int option) -> CoAlgReasoner.sortTable -> eaformula
34 35

  

Also available in: Unified diff