diff options
Diffstat (limited to 'src/zchaff/cnfParser.mli')
-rw-r--r-- | src/zchaff/cnfParser.mli | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/zchaff/cnfParser.mli b/src/zchaff/cnfParser.mli new file mode 100644 index 0000000..4e2e079 --- /dev/null +++ b/src/zchaff/cnfParser.mli @@ -0,0 +1,13 @@ +val skip_comment : SatParser.lex_buff -> unit +val parse_p_cnf : SatParser.lex_buff -> int +val mklit : int -> SatAtom.Form.reify -> int -> SatAtom.Form.t +val parse_clause : + int -> SatAtom.Form.reify -> SatParser.lex_buff -> SatAtom.Form.t list +val parse_clauses : + int -> + SatAtom.Form.reify -> + SatParser.lex_buff -> + SatAtom.Form.t SmtCertif.clause -> SatAtom.Form.t SmtCertif.clause +val parse_cnf : + string -> + int * SatAtom.Form.t SmtCertif.clause * SatAtom.Form.t SmtCertif.clause |