boolVar.mli 480 Bytes
Newer Older
1 2
module type S = sig

3
  module Atom : Bool.S
4

5
  include Bool.S with type elem = Atom.t Var.var_or_atom
6

7
  val var : Var.t -> t
8

9
  (** returns the union of all leaves in the BDD *)
10

11
  val leafconj: t -> Atom.t
12 13 14 15 16 17 18 19 20

  val is_empty : t -> bool

  val pp_print : Format.formatter -> t -> unit

  val print : ?f:(Format.formatter -> elem -> unit) -> t -> (Format.formatter -> unit) list

end

21
module Make : functor (T : Bool.S) -> S with module Atom = T and type elem = T.t Var.var_or_atom