package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Q : sig ... end
module Oops : sig ... end
val gen_exists_A : Q.t -> Support.t -> Q.f -> Q.f
val gen_forall_A : Q.t -> Support.t -> Q.f -> Q.f
val sat_select_A : Q.t -> Q.f -> Support.t -> Q.f * Q.f
val pushU : Q.t -> Q.f -> Q.f
val pushU_list : Q.t -> Q.f list -> Q.f list
val sha_list : Q.t -> Q.f list -> Q.f list -> Q.f list
type psubst = AQEOPS_RBTF_ArgMax_vUInt.Make(Q).Avuint.Aqeops.psubst = {
  1. arity : int;
  2. partial : Q.f;
  3. assign : (int * Q.f) list;
}
val exists_proj_A : Q.t -> Q.f -> Support.t -> psubst
val argmaxA : Q.t -> Q.f -> Support.t -> Q.f -> Q.f * Q.f
val lexmaxA_rev : Q.t -> Q.f -> Support.t -> Q.f array -> Q.f * Q.f array
val lexmaxA : Q.t -> Q.f -> Support.t -> Q.f array -> Q.f * Q.f array
module PSubst : sig ... end