package apron

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

}

type unop = Texpr0.unop =

type binop = Texpr0.binop =

type typ = Texpr0.typ =

type round = Texpr0.round =

type expr =

val of_expr : Environment.t -> expr -> t

val copy : t -> t

val of_linexpr : Linexpr1.t -> t

val to_expr : t -> expr

val cst : Environment.t -> Coeff.t -> t

val var : Environment.t -> Var.t -> t

val unop : Texpr0.unop -> t -> Texpr0.typ -> Texpr0.round -> t

val binop : Texpr0.binop -> t -> t -> Texpr0.typ -> Texpr0.round -> t

val is_interval_cst : t -> bool

val is_interval_linear : t -> bool

val is_interval_polynomial : t -> bool

val is_interval_polyfrac : t -> bool

val is_scalar : t -> bool

val extend_environment : t -> Environment.t -> t

val extend_environment_with : t -> Environment.t -> unit

val get_texpr0 : t -> Texpr0.t

val get_env : t -> Environment.t

val string_of_unop : unop -> string

val string_of_binop : binop -> string

val string_of_typ : typ -> string

val string_of_round : round -> string

val print_unop : Stdlib.Format.formatter -> unop -> unit

val print_binop : Stdlib.Format.formatter -> binop -> unit

val print_typ : Stdlib.Format.formatter -> typ -> unit

val print_round : Stdlib.Format.formatter -> round -> unit

val print_expr : Stdlib.Format.formatter -> expr -> unit

val print : Stdlib.Format.formatter -> t -> unit