bddapron 2.2.5 · OCaml Package

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

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

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

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

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

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

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

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

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

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

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

val assign_lexpr : 
  ?relational:bool ->
  ?nodependency:bool ->
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'a list ->
  'd Expr0.expr list ->
  'd t

val substitute_lexpr : 
  ('a, [> 'a Env.typ ], [> 'a Env.typdef ], 'd, 'e) Env.O.t ->
  'd t ->
  'a list ->
  'd Expr0.expr list ->
  'd t

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

module Asssub : sig ... end

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

val apply_change : 'a t -> 'a Env.change -> 'a t

package bddapron