bddapron 2.3.3 · OCaml Package

type (!'a, !'b, !'c) t = ('b, 'c Expr0.t) Env.value
  constraint
    'b =
    ('a, [> 'a Env.typ ] as 'd, [> 'a Env.typdef ] as 'e, 'c, 'f) Env.O.t

type (!'a, !'b, !'c) expr = ('a, 'b, 'c) t
  constraint
    'b =
    ('a, [> 'a Env.typ ] as 'd, [> 'a Env.typdef ] as 'e, 'c, 'f) Env.O.t

type (!'a, !'b) dt = ('a, 'b, Cudd.Man.d) t
  constraint
    'b =
    ('a, [> 'a Env.typ ] as 'c, [> 'a Env.typdef ] as 'd, Cudd.Man.d, 'e)
      Env.O.t

type (!'a, !'b) vt = ('a, 'b, Cudd.Man.v) t
  constraint
    'b =
    ('a, [> 'a Env.typ ] as 'c, [> 'a Env.typdef ] as 'd, Cudd.Man.v, 'e)
      Env.O.t

module Bool : sig ... end

module Bint : sig ... end

module Benum : sig ... end

val typ_of_expr : 
  ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'c, 'b) Env.O.t, 'c) t ->
  'a Env.typ

val make : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'd, 'c, 'e) Env.O.t ->
  'c Expr0.t ->
  ('a, ('a, 'b, 'd, 'c, 'e) Env.O.t, 'c) expr

val of_expr0 : 
  ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'd, 'c, 'e) Env.O.t ->
  'c Expr0.t ->
  ('a, ('a, 'b, 'd, 'c, 'e) Env.O.t, 'c) expr

val get_env : 
  ('a,
    ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'd, 'c, 'e) Env.O.t,
    'c)
    t ->
  ('a, 'b, 'd, 'c, 'e) Env.O.t

val to_expr0 : 
  ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'c, 'b) Env.O.t, 'c) t ->
  'c Expr0.t

val extend_environment : 
  ('a,
    ('a, [> 'a Env.typ ] as 'b, [> 'a Env.typdef ] as 'd, 'c, 'e) Env.O.t,
    'c)
    t ->
  ('a, 'b, 'd, 'c, 'e) Env.O.t ->
  ('a, ('a, 'b, 'd, 'c, 'e) Env.O.t, 'c) t

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

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

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

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

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

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

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

val support : 
  ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'c, 'b) Env.O.t, 'c) t ->
  'a PSette.t

val support_cond : 
  ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'c, 'b) Env.O.t, 'c) t ->
  'c Cudd.Bdd.t

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

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

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

val print : 
  Format.formatter ->
  ('a, ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'c, 'b) Env.O.t, 'c) t ->
  unit

module List : sig ... end

package bddapron