Module Bdd.Expr0.O.Benum

module Benum: sig .. end

type 'd t = 'd Bdd.Enum.t

type dt = Cudd.Man.d t

type vt = Cudd.Man.v t

val of_expr : [> `Benum of 'd t ] -> 'd t

val to_expr : 'd t -> [> `Benum of 'd t ]

val var : ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'a -> 'd t

val ite : ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'd Bdd.Expr0.O.Bool.t ->
       'd t -> 'd t -> 'd t

val eq : ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'd t -> 'd t -> 'd Bdd.Expr0.O.Bool.t

val eq_label : ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'd t -> 'a -> 'd Bdd.Expr0.O.Bool.t

val cofactor : 'd t -> 'd Bdd.Expr0.O.Bool.t -> 'd t

val restrict : 'd t -> 'd Bdd.Expr0.O.Bool.t -> 'd t

val tdrestrict : 'd t -> 'd Bdd.Expr0.O.Bool.t -> 'd t

val permute : ?memo:Cudd.Memo.t ->
       'd t -> int array -> 'd t

val varmap : 'a t -> 'a t

val substitute_by_var : ?memo:Cudd.Memo.t ->
       ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'd t -> ('a * 'a) list -> 'd t

val substitute : ?memo:Cudd.Memo.t ->
       ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'd t ->
       ('a * 'd Bdd.Expr0.expr) list -> 'd t

val guard_of_label : ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'd t -> 'a -> 'd Bdd.Expr0.O.Bool.t

Return the guard of the label.

val guardlabels : ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       'd t -> ('d Bdd.Expr0.O.Bool.t * 'a) list

Return the list g -> label of guarded values.

val print : ?print_external_idcondb:(Format.formatter -> int * bool -> unit) ->
       ('a, [> 'a Bdd.Env.typ ], [> 'a Bdd.Env.typdef ], 'd, 'e) Bdd.Env.O.t ->
       Format.formatter -> 'd t -> unit