package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type output = AQEOPS_RBTF.MakeCNF(Model).CNF.output = {
  1. out_wap : Snowflake.Wap_exchange.output;
  2. out_frp : Module.f201 array;
  3. out_sat : bool;
  4. out_mid : Model.f array;
  5. out_bpp : Model.f array;
}
val compute_bpp : ?treefy_bucket:bool -> (Snowflake.Wap_exchange.input -> Snowflake.Wap_exchange.output) -> Model.t -> CnfTypes.file -> output
val compute_frp : ?treefy_bucket:bool -> (Snowflake.Wap_exchange.input -> Snowflake.Wap_exchange.output) -> Model.t -> CnfTypes.file -> output