Module Bddapron.Apronexpr.Condition

module Condition: sig .. end

type typ = Apron.Tcons1.typ =

`\|`	`EQ`
`\|`	`SUPEQ`
`\|`	`SUP`
`\|`	`DISEQ`
`\|`	`EQMOD of Apron.Scalar.t`

type 'a t = typ * 'a Bddapron.Apronexpr.expr

val make : ('a, [> typ ]) Bddapron.Apronexpr.typ_of_var ->
       typ ->
       'a Bddapron.Apronexpr.expr ->
       [ `Bool of bool | `Cond of 'a t ]

val negate : ('a, [> typ ]) Bddapron.Apronexpr.typ_of_var ->
       'a t -> 'a t

val support : 'a Bddapron.Apronexpr.symbol ->
       'a t -> 'a PSette.t

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

val compare : 'a Bddapron.Apronexpr.symbol ->
       'a t -> 'a t -> int

val of_lincons0 : 'a Bddapron.Apronexpr.symbol ->
       ('a, [> typ ]) Bddapron.Apronexpr.typ_of_var ->
       Apron.Environment.t ->
       Apron.Lincons0.t ->
       [ `Bool of bool | `Cond of 'a t ]

val of_lincons1 : 'a Bddapron.Apronexpr.symbol ->
       ('a, [> typ ]) Bddapron.Apronexpr.typ_of_var ->
       Apron.Lincons1.t ->
       [ `Bool of bool | `Cond of 'a t ]

val of_tcons0 : 'a Bddapron.Apronexpr.symbol ->
       ('a, [> typ ]) Bddapron.Apronexpr.typ_of_var ->
       Apron.Environment.t ->
       Apron.Tcons0.t ->
       [ `Bool of bool | `Cond of 'a t ]

val of_tcons1 : 'a Bddapron.Apronexpr.symbol ->
       ('a, [> typ ]) Bddapron.Apronexpr.typ_of_var ->
       Apron.Tcons1.t ->
       [ `Bool of bool | `Cond of 'a t ]

val to_tcons0 : 'a Bddapron.Apronexpr.symbol ->
       Apron.Environment.t -> 'a t -> Apron.Tcons0.t

val to_tcons1 : 'a Bddapron.Apronexpr.symbol ->
       Apron.Environment.t -> 'a t -> Apron.Tcons1.t

val to_apron0 : 'a Bddapron.Apronexpr.symbol ->
       Apron.Environment.t ->
       'a t ->
       [ `Lin of Apron.Lincons0.t | `Tree of Apron.Tcons0.t ]

val to_apron1 : 'a Bddapron.Apronexpr.symbol ->
       Apron.Environment.t ->
       'a t ->
       [ `Lin of Apron.Lincons1.t | `Tree of Apron.Tcons1.t ]