Parser.from_file, and p* problems moved to problems/p

[fireball-separation.git] / ocaml / parser.mli

diff --git a/ocaml/parser.mli b/ocaml/parser.mli
index 927506732d13e8c125769d28a4c3dcaf5696c6af..47cfb28aaee6f814d43d319c99e754a68e2b0256 100644 (file)
--- a/ocaml/parser.mli
+++ b/ocaml/parser.mli
@@ -8,3 +8,9 @@ val problem_of_string:
   * Num.i_n_var list (* conv *)\r
   * Num.i_n_var list (* ps *)\r
   * string list (* names of free variables *)\r
+val from_file : string ->\r
+ (string (* problem label *)\r
+ * Num.i_var option (* div *)\r
+ * Num.i_n_var list (* conv *)\r
+ * Num.i_n_var list (* ps *)\r
+ * string list (* names of free variables *)) list\r