package Snowflake

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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