package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val compute_clause : Model.t -> int -> (Model.f * Model.f) array -> CnfTypes.clause -> Model.f
type output = AQEOPS_CRBTF.Make(Model).CNF.output = {
  1. out_wap : Cwap_exchange.output;
  2. out_sat : bool;
  3. out_bpp : Model.f array;
}
module LoadCnfA : sig ... end
val compute_treefy_bucket : ?mode:GuaCaml.Tools.prio_t -> Model.t -> Cwap_exchange.output -> (Model.f * Model.f) array -> CnfTypes.file -> Model.f list
val compute_bpp : ?bucketize_mode:GuaCaml.Tools.prio_t -> ?treefy_bucket:bool -> (Cwap_exchange.input -> Cwap_exchange.output) -> Model.t -> CnfTypes.file -> output
val compute_frp : ?treefy_bucket:bool -> (Cwap_exchange.input -> Cwap_exchange.output) -> Model.t -> CnfTypes.file -> output
val compute_dummy : ?lvl:int -> Model.t -> CnfTypes.file -> Model.f