bddapron 2.3.3 · OCaml Package

type !'d t = 'd Int.t

type dt = Cudd.Man.d t

type vt = Cudd.Man.v t

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

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

val of_int : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  [> `Bint of bool * int ] ->
  int ->
  'd t

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val cofactor : 'd t -> 'd Bool.t -> 'd t

val restrict : 'd t -> 'd Bool.t -> 'd t

val tdrestrict : 'd t -> 'd 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 Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  ('a * 'a) list ->
  'd t

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

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

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

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

package bddapron