[
Top
]
[
Contents
]
[Index]
[
?
]
Table of Contents
APRON Copying Conditions (LGPL)
Introduction to APRON
APRON Rationale
General choices
Functionalities of the interface at level 0
Functionalities of the interface at level 1
Installing APRON
APRON Basics
Headers and Libraries
C Programming Conventions
Managers and Abstract Domains
Managers (
`ap_manager.h'
)
Datatypes
Functions related to managers
NewPolka (
`pk.h'
): convex polyhedra abstract domain
Use of NewPolka
Allocating NewPolka managers and setting options
Itv (
`itv.h'
): intervals abstract domain
Use of Itv
Allocating Itv managers
Oct: octagon abstract domain
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'
)
Environements (
`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
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 environements 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
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
Examples
Appendices
C Datatype Index
C Variable Index
C Function Index
This document was generated on
December, 22 2006
using
texi2html