Module Expr2

module Expr2: sig .. end

Finite-type and arithmetical expressions linked to variable and condition environments

Opened signature

module O: sig .. end

type 'a t = ('a Cond.t, 'a Expr1.t) Bdd.Cond.value

type 'a expr = 'a t

val of_expr0 : ?normalize:bool ->
       ?reduce:bool ->
       ?careset:bool -> 'a Env.t -> 'a Cond.t -> 'a Expr0.t -> 'a t

Creation from an expression of level 0 (without environment)

val of_expr1 : ?normalize:bool ->
       ?reduce:bool -> ?careset:bool -> 'a Cond.t -> 'a Expr1.t -> 'a t

Creation from an expression of level 1 (without condition environment)

val get_env : 'a t -> 'a Env.t

val get_cond : 'a t -> 'a Cond.t

Extract resp. the environment and the condition environment

val to_expr0 : 'a t -> 'a Expr0.t

val to_expr1 : 'a t -> 'a Expr1.t

Extract the underlying expression of level 0 and 1

val extend_environment : 'a t -> 'a Env.t -> 'a t

Extend the underlying environment to a superenvironment, and adapt accordingly the underlying representation

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

module Bool: sig .. end

module List: sig .. end