package bddapron

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.