package apron

You can search for identifiers within the package.

in-package search v0.2.0

package apron

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 typvar =

| INT
| REAL

and t

val make : Var.t array -> Var.t array -> t

val add : t -> Var.t array -> Var.t array -> t

val remove : t -> Var.t array -> t

val rename : t -> Var.t array -> Var.t array -> t

val rename_perm : t -> Var.t array -> Var.t array -> t * Dim.perm

val lce : t -> t -> t

val lce_change : t -> t -> t * Dim.change option * Dim.change option

val dimchange : t -> t -> Dim.change

val dimchange2 : t -> t -> Dim.change2

val equal : t -> t -> bool

val compare : t -> t -> int

val hash : t -> int

val dimension : t -> Dim.dimension

val size : t -> int

val mem_var : t -> Var.t -> bool

val typ_of_var : t -> Var.t -> typvar

val vars : t -> Var.t array * Var.t array

val var_of_dim : t -> Dim.t -> Var.t

val dim_of_var : t -> Var.t -> Dim.t

val print : 
  ?first:(unit, Format.formatter, unit) format ->
  ?sep:(unit, Format.formatter, unit) format ->
  ?last:(unit, Format.formatter, unit) format ->
  Format.formatter ->
  t ->
  unit