package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
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