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

and unop =

and binop =

and typ =

and round =

type expr =

val of_expr : expr -> t

val copy : t -> t

val of_linexpr : Linexpr0.t -> t

val to_expr : t -> expr

val cst : Coeff.t -> t

val dim : Dim.t -> t

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

val binop : binop -> typ -> round -> t -> t -> 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 equal : t -> t -> bool

val hash : t -> int

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 : Format.formatter -> unop -> unit

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

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

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

val print_expr : (Dim.t -> string) -> Format.formatter -> expr -> unit

val print : (Dim.t -> string) -> Format.formatter -> t -> unit

val print_sprint_unop : unop -> typ -> round -> string

val print_sprint_binop : binop -> typ -> round -> string

val print_precedence_of_unop : unop -> int

val print_precedence_of_binop : binop -> int