X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fsimple.mli;h=67bee915c413aa424c50499cbd8c6d5bc675090c;hb=b0ecd3e4062bb9012ea9623237d0b379bd7646f2;hp=d914117dd2e2089688ee7c6b2656b86981a902f2;hpb=1e41340acff1c4e4439b44ce5437542c905c352f;p=fireball-separation.git

diff --git a/ocaml/simple.mli b/ocaml/simple.mli
index d914117..67bee91 100644
--- a/ocaml/simple.mli
+++ b/ocaml/simple.mli
@@ -1 +1,6 @@
-val solve : string -> string list -> unit
+type problem
+exception Unseparable of string
+val solve : problem -> unit
+val problem_of :
+  string * Num.i_var option * Num.i_n_var list * Num.i_n_var list *
+  string list -> problem