package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pstring : string -> unit
val pchar : char -> unit
val parse_clause : GuaCaml.ParseUtils.BasicLexer.token Stream.t -> (int * bool) list
val parse_formule : ?carry:(int * bool) list list -> int -> GuaCaml.ParseUtils.BasicLexer.stream -> (int * bool) list list
val parse_quant : GuaCaml.ParseUtils.BasicLexer.token Stream.t -> (bool * int list) option
val parse_quants : ?carry:(bool * int list) list -> GuaCaml.ParseUtils.BasicLexer.token Stream.t -> (bool * int list) list
val parse_qbf_module : ?sort:bool -> ?simpl:bool -> GuaCaml.ParseUtils.BasicLexer.token Stream.t -> CnfTypes.file
val parse_module : ?sort:bool -> ?simpl:bool -> GuaCaml.ParseUtils.BasicLexer.token Stream.t -> CnfTypes.file
val load_qbf : ?sort:bool -> char Stream.t -> CnfTypes.file
val load : ?sort:bool -> ?simpl:bool -> char Stream.t -> CnfTypes.file
val load_qbf_file : ?sort:bool -> ?simpl:bool -> ?discardQ:bool -> string -> CnfTypes.file
val load_file : ?sort:bool -> ?simpl:bool -> string -> CnfTypes.file