package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a atom =
  1. | Tbool of 'a * bool
  2. | Tint of 'a * int list
  3. | Tenum of 'a * 'a list
type !'a term =
  1. | Tatom of 'a atom
  2. | Texternal of int * bool
  3. | Tcst of bool
val map_atom : ('a -> 'b) -> 'a atom -> 'b atom
val map_term : ('a -> 'b) -> 'a term -> 'b term
val term_of_vint : 'a -> 'd Int.t -> Reg.Minterm.t -> 'a term
val term_of_venum : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'a -> 'd Enum.t -> Reg.Minterm.t -> 'a term
val term_of_idcondb : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> (int * bool) -> 'a term
val bool_of_tbool : Cudd.Man.tbool -> bool
val mand : 'a term list ref -> 'a term -> unit
val conjunction_of_minterm : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> Cudd.Man.tbool array -> 'a term Normalform.conjunction
val dnf_of_bdd : ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> 'd Cudd.Bdd.t -> 'a term Normalform.dnf
val print_term : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> Format.formatter -> 'a term -> unit
val print_conjunction : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> Format.formatter -> 'a term Normalform.conjunction -> unit
val print_dnf : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t -> Format.formatter -> 'a term Normalform.dnf -> unit