package Snowflake

  1. Overview
  2. Docs
module OOPS : sig ... end
type t = MLBDD.man
type f = MLBDD.t
type supp = MLBDD.var list
val cst : t -> bool -> f
val (~!) : f -> f
val cneg : bool -> f -> f
val (&!) : f -> f -> f
val (|!) : f -> f -> f
val (^!) : f -> f -> f
val (=!) : f -> f -> f
val var : t -> bool -> MLBDD.var -> f
val sorted_support : f -> supp
val is_trivial : f -> bool option
val lexand : t -> f list -> f
val ite_list : f list -> MLBDD.var -> f list -> f list
val eval : f -> (MLBDD.var * bool) list -> bool
val peval : f -> (MLBDD.var * bool) list -> f
val fite : f -> f -> f -> f
val subst : f -> (MLBDD.var * f) list -> f
val sat_select : f -> supp -> f * f
val exists_proj : f -> supp -> f * (MLBDD.var * f) list
val argmax : f -> MLBDD.support -> f -> f * f
val lexmax : f -> MLBDD.support -> f array -> f * f array
val lexmax_rev : f -> MLBDD.support -> f array -> f * f array
type psubst = f * (MLBDD.var * f) list
module PSubst : sig ... end