package bddapron

  1. Overview
  2. Docs
type unop = Apron.Texpr1.unop =
  1. | Neg
  2. | Cast
  3. | Sqrt
type binop = Apron.Texpr1.binop =
  1. | Add
  2. | Sub
  3. | Mul
  4. | Div
  5. | Mod
  6. | Pow
type typ = Apron.Texpr1.typ =
  1. | Real
  2. | Int
  3. | Single
  4. | Double
  5. | Extended
  6. | Quad
type round = Apron.Texpr1.round =
  1. | Near
  2. | Zero
  3. | Up
  4. | Down
  5. | Rnd
type !'a t =
  1. | Cst of Apron.Coeff.t
  2. | Var of 'a
  3. | Unop of unop * 'a t * typ * round
  4. | Binop of binop * 'a t * 'a t * typ * round
val support : 'a symbol -> 'a t -> 'a PSette.t
val substitute_by_var : 'a t -> ('a, 'a) PMappe.t -> 'a t
val print : 'a symbol -> Format.formatter -> 'a t -> unit
val compare : 'a symbol -> 'a t -> 'a t -> int
val of_expr : 'a symbol -> Apron.Texpr1.expr -> 'a t
val to_expr : 'a symbol -> 'a t -> Apron.Texpr1.expr
OCaml

Innovation. Community. Security.