package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = MLBDD.man
type f = {
  1. ari : int;
  2. sem : MLBDD.t;
}
val arity : 'a -> f -> int
val (->>) : MLBDD.man -> bool list -> f -> f
val neg : t -> f -> f
val cneg : t -> bool -> f -> f
val (*!) : 'a -> f -> f -> f
val (&!) : 'a -> f -> f -> f
val (^!) : 'a -> f -> f -> f
val (|!) : 'a -> f -> f -> f
val (=!) : 'a -> f -> f -> f
val cst : MLBDD.man -> bool -> int -> f
val var : t -> bool -> MLBDD.var -> MLBDD.var -> f
val to_bool : 'a -> f -> bool option
val cofactor : t -> bool -> f -> f
val id : t -> f -> GuaCaml.BTools.barray
val eq : t -> f -> f -> bool
val newman : 'a -> MLBDD.man
val copy_into : t -> f list -> t -> f list
val of_barray : ?t:t option -> GuaCaml.BTools.BArray.t -> t * f list
val do_nocopy : 'a -> 'b -> 'c -> 'd
val to_barray : ?nocopy:bool -> ?destruct:bool -> t -> f list -> GuaCaml.BTools.BArray.t
val br_fl : ?t:t option -> 'a -> t * f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> t -> 'a -> f list -> unit
val t_stats : t -> GuaCaml.Tree.stree
val f_stats : t -> f list -> GuaCaml.Tree.stree
val clear_caches : t -> unit
val keep_clean : ?normalize:bool -> t -> f list -> f list
val check : 'a -> 'b -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> t -> out_channel -> f list -> unit
val off : in_channel -> t * f list
val to_string : t -> f -> string
val support : t -> f -> Support.t
val assoc_of_option_list : ?carry:(int * 'a) list -> ?i:int -> 'a option list -> (int * 'a) list
val pevalA : t -> bool option list -> f -> f
val contract_bool_array : bool array -> int array
val contract : t -> Support.t -> f -> f
val pevalR : t -> bool option list -> f -> f
val forallA : t -> Support.t -> f -> f
val negb : bool -> bool
val forallR : t -> Support.t -> f -> f
val existsA : t -> Support.t -> f -> f
val existsR : t -> Support.t -> f -> f
val (&!!) : t -> int -> f list -> f
val (|!!) : t -> int -> f list -> f
val (^!!) : t -> int -> f list -> f
val (=!!) : t -> int -> f list -> f
val builtin_o_prim : 'a -> bool
val detect_o_prim : 'a -> 'b -> 'c -> 'd
val intro_o_prim : 'a -> 'b -> 'c -> 'd -> 'e
val elim_o_prim : 'a -> 'b -> 'c -> 'd -> 'e