[
Top
]
[
Contents
]
[Index]
[
?
]
Table of Contents
APRON Copying Conditions (LGPL)
Introduction to APRON
APRON Rationale and Functionalities
General choices
Functionalities of the interface at level 0
Functionalities of the interface at level 1
APRON Guidelines
Installing APRON
C Programming Guidelines
C Headers and Libraries
Naming conventions and Allocation/Deallocation schemes
Allocating managers and setting options
Sequel of the small example
Typing issue in C
OCaml Programming Guidelines
How to make an existing library conformant to APRON ?
Managers and Abstract Domains
Managers (
`ap_manager.h'
)
Datatypes
Functions related to managers
Box (
`box.h'
): intervals abstract domain
Use of Box
Allocating Box managers
Oct: octagon abstract domain
NewPolka (
`pk.h'
): convex polyhedra and linear equalities abstract domains
Use of NewPolka
Allocating NewPolka managers and setting specific options
NewPolka standard options
PPL (
`ap_ppl.h'
): convex polyhedra and linear congruences abstract domains
Use of APRON PPL
Allocating APRON PPL managers
APRON PPL standard options
pkgrid (
`ap_pkgrid.h'
): reduced product of NewPolka convex polyhedra and PPL linear congruences abstract domains
Use of pkgrid
Allocating pkgrid managers
Scalars & Intervals & coefficients
Scalars (
`ap_scalar.h'
)
Initializing scalars
Assigning scalars
Converting scalars
Comparing scalars
Other operations on scalars
Intervals (
`ap_interval.h'
)
Initializing intervals
Assigning intervals
Comparing intervals
Other operations on intervals
Array of intervals
Coefficients (
`ap_coeff.h'
)
Initializing coefficients
Assigning coefficients
Comparing coefficients
Other operations on coefficients
Level 1 of the interface
Variables and related operations (
`ap_var.h'
)
Environments (
`ap_environment.h'
)
Linear expressions of level 1 (
`ap_linexpr1.h'
)
Allocating linear expressions of level 1
Tests on linear expressions of level 1
Access to linear expressions of level 1
Getting references
Getting values
Assigning values with a list of arguments
Assigning values
Change of dimensions and permutations of linear expressions of level 1
Linear constraints of level 1 (
`ap_lincons1.h'
)
Allocating linear constraints of level 1
Tests on linear constraints of level 1
Access to linear constraints of level 1
Change of dimensions and permutations of linear constraints of level 1
Arrays of linear constraints of level 1
generators of level 1 (
`ap_generator1.h'
)
Allocating generators of level 1
Access to generators of level 1
Change of dimensions and permutations of generators of level 1
Arrays of generators of level 1
Tree expressions of level 1 (
`ap_texpr1.h'
)
Datatypes for tree expressions of level 1
Constructors/Destructors for tree expressions of level 1
Tests on tree expressions of level 1
Operations on tree expressions of level 1
Tree constraints of level 1 (
`ap_tcons1.h'
)
Datatypes for tree constraints of level 1
Constructors/Destructors for tree constraints of level 1
Operations on tree constraints of level 1
Arrays of tree constraints of level 1
Abstract values and operations of level 1 (
`ap_abstract1.h'
)
Allocating abstract values of level 1
Control of internal representation of abstract values of level 1
Printing abstract values of level 1
Serialization of abstract values of level 1
Constructors for abstract values of level 1
Accessors for abstract values of level 1
Tests on abstract values of level 1
Extraction of properties of abstract values of level 1
Meet and Join of abstract values of level 1
Assignements and Substitutions of abstract values of level 1
Existential quantification of abstract values of level 1
Change of environments of abstract values of level 1
Expansion and Folding of dimensions of abstract values of level 1
Widening of abstract values of level 1
Topological closure of abstract values of level 1
Additional functions on abstract values of level 1
Level 0 of the interface
Dimensions and related operations (
`ap_dimension.h'
)
Manipulating changes of dimensions
Manipulating permutations of dimensions
Linear expressions of level 0 (
`ap_linexpr0.h'
)
Allocating linear expressions of level 0
Tests on linear expressions of level 0
Access to linear expressions of level 0
Getting references
Getting values
Assigning values with a list of arguments
Assigning values
Change of dimensions and permutations of linear expressions of level 0
Other functions on linear expressions of level 0
Linear constraints of level 0 (
`ap_lincons0.h'
)
Allocating linear constraints of level 0
Tests on linear constraints of level 0
Arrays of linear constraints of level 0
Change of dimensions and permutations of linear constraints of level 0
Generators of level 0 (
`ap_generator0.h'
)
Allocating generators of level 0
Arrays of generators of level 0
Change of dimensions and permutations of generators of level 0
Tree expressions of level 0 (
`ap_texpr0.h'
)
Tree constraints of level 0 (
`ap_tcons0.h'
)
Abstract values and operations of level 0 (
`ap_abstract0.h'
)
Allocating abstract values of level 0
Control of internal representation of level 0
Printing abstract values of level 0
Serialization of abstract values of level 0
Constructors for abstract values of level 0
Accessors for abstract values of level 0
Tests on abstract values of level 0
Extraction of properties of abstract values of level 0
Meet and Join of abstract values of level 0
Assignements and Substitutions of abstract values of level 0
Existential quantification of abstract values of level 0
Change and permutation of dimensions of abstract values of level 0
Expansion and Folding of dimensions of abstract values of level 0
Widening of abstract values of level 0
Topological closure of abstract values of level 0
Additional functions on abstract values of level 0
Functions for implementors
Examples
Appendices
C Datatype Index
C Variable Index
C Function Index
This document was generated on
September, 10 2009
using
texi2html