package apron

You can search for identifiers within the package.

in-package search v0.2.0

apron.apron
- Apron
  - Abstract0
  - Abstract1
  - Apron_lexer
  - Apron_parser
  - Coeff
  - Dim
  - Disjunction
    
    Abstract0
    
    Abstract1
  - Environment
  - Generator0
  - Generator1
  - Interval
  - Lincons0
  - Lincons1
  - Linexpr0
  - Linexpr1
  - Manager
  - Parser
  - Policy
    
    Abstract0
    
    Abstract1
  - Scalar
  - Tcons0
  - Tcons1
  - Texpr0
  - Texpr1
  - Var
  - Version
apron.avoD
- Avo
  - Abstract0
  - Abstract1
apron.avoMPQ
- Avo
  - Abstract0
  - Abstract1
apron.boxD
- Box
apron.boxMPFR
- Box
apron.boxMPQ
- Box
apron.octD
- Oct
  - Abstract0
  - Abstract1
apron.octMPQ
- Oct
  - Abstract0
  - Abstract1
apron.polkaMPQ
- Polka
  - Abstract0
  - Abstract1
apron.polkaRll
- Polka
  - Abstract0
  - Abstract1
apron.t1pD
- T1p
apron.t1pMPFR
- T1p
apron.t1pMPQ
- T1p

Legend:
Library
Module
Module type
Parameter
Class
Class type

type funid =

and funopt = {

algorithm : int;
timeout : int;
max_object_size : int;
flag_exact_wanted : bool;
flag_best_wanted : bool;

}

and exc =

| Exc_none
| Exc_timeout
| Exc_out_of_space
| Exc_overflow
| Exc_invalid_argument
| Exc_not_implemented

and exclog = {

exn : exc;
funid : funid;
msg : string;

}

and 'a t

val get_library : 'a t -> string

val get_version : 'a t -> string

val funopt_make : unit -> funopt

val get_funopt : 'a t -> funid -> funopt

val set_funopt : 'a t -> funid -> funopt -> unit

val get_flag_exact : 'a t -> bool

val get_flag_best : 'a t -> bool

exception Error of exclog

val string_of_funid : funid -> string

val string_of_exc : exc -> string

val print_funid : Format.formatter -> funid -> unit

val print_funopt : Format.formatter -> funopt -> unit

val print_exc : Format.formatter -> exc -> unit

val print_exclog : Format.formatter -> exclog -> unit

val set_deserialize : 'a t -> unit

val get_deserialize : unit -> 'a t