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 t = int

and change = {

dim : int array;
intdim : int;
realdim : int;

}

and change2 = {

add : change option;
remove : change option;

}

and perm = int array

and dimension = {

intd : int;
reald : int;

}

val change_add_invert : change -> unit

val perm_compose : perm -> perm -> perm

val perm_invert : perm -> perm