bddapron 2.3.0 · OCaml Package

type 'a t = 'a Cudd.Bdd.t array

type dt = Cudd.Man.d t

type vt = Cudd.Man.v t

val lnot : 'a t -> 'a t

val shift_left : 'a Cudd.Man.t -> int -> 'a t -> 'a t * 'a Cudd.Bdd.t

val shift_right : 'a Cudd.Man.t -> int -> 'a t -> 'a t * 'a Cudd.Bdd.t

val shift_right_logical : 'a Cudd.Man.t -> int -> 'a t -> 'a t * 'a Cudd.Bdd.t

val extend : 'a Cudd.Man.t -> signed:bool -> int -> 'a t -> 'a t

val succ : 'a Cudd.Man.t -> 'a t -> 'a t * 'a Cudd.Bdd.t

val pred : 'a Cudd.Man.t -> 'a t -> 'a t * 'a Cudd.Bdd.t

val add : 'a Cudd.Man.t -> 'a t -> 'a t -> 'a t * 'a Cudd.Bdd.t * 'a Cudd.Bdd.t

val sub : 'a Cudd.Man.t -> 'a t -> 'a t -> 'a t * 'a Cudd.Bdd.t * 'a Cudd.Bdd.t

val neg : 'a t -> 'a t

val scale : int -> 'a t -> 'a t

val mul : 'a t -> 'a t -> 'a t

val ite : 'a Cudd.Bdd.t -> 'a t -> 'a t -> 'a t

val is_cst : 'a t -> bool

val zero : 'a Cudd.Man.t -> 'a t -> 'a Cudd.Bdd.t

val equal : 'a Cudd.Man.t -> 'a t -> 'a t -> 'a Cudd.Bdd.t

val greatereq : 'a Cudd.Man.t -> 'a t -> 'a t -> 'a Cudd.Bdd.t

val greater : 'a Cudd.Man.t -> 'a t -> 'a t -> 'a Cudd.Bdd.t

val highereq : 'a Cudd.Man.t -> 'a t -> 'a t -> 'a Cudd.Bdd.t

val higher : 'a Cudd.Man.t -> 'a t -> 'a t -> 'a Cudd.Bdd.t

val min_size : int -> int

val of_int : 'a Cudd.Man.t -> int -> int -> 'a t

val to_int : signed:bool -> 'a t -> int

val equal_int : 'a Cudd.Man.t -> 'a t -> int -> 'a Cudd.Bdd.t

val greatereq_int : 'a Cudd.Man.t -> 'a t -> int -> 'a Cudd.Bdd.t

val greater_int : 'a Cudd.Man.t -> 'a t -> int -> 'a Cudd.Bdd.t

val highereq_int : 'a Cudd.Man.t -> 'a t -> int -> 'a Cudd.Bdd.t

val higher_int : 'a Cudd.Man.t -> 'a t -> int -> 'a Cudd.Bdd.t

module Minterm : sig ... end

val guard_of_minterm : 'a Cudd.Man.t -> 'a t -> Minterm.t -> 'a Cudd.Bdd.t

val guard_of_int : 'a Cudd.Man.t -> 'a t -> int -> 'a Cudd.Bdd.t

val guardints : 
  'a Cudd.Man.t ->
  signed:bool ->
  'a t ->
  ('a Cudd.Bdd.t * int) list

val cofactor : 'a t -> 'a Cudd.Bdd.t -> 'a t

val restrict : 'a t -> 'a Cudd.Bdd.t -> 'a t

val tdrestrict : 'a t -> 'a Cudd.Bdd.t -> 'a t

val print : 
  (Format.formatter -> int -> unit) ->
  Format.formatter ->
  'a t ->
  unit

val print_minterm : 
  signed:bool ->
  (Format.formatter -> 'a Cudd.Bdd.t -> unit) ->
  Format.formatter ->
  'a t ->
  unit

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

val varmap : 'a t -> 'a t

val vectorcompose : ?memo:Cudd.Memo.t -> 'a Cudd.Bdd.t array -> 'a t -> 'a t

package bddapron