[
Top
]
[
Contents
]
[Index]
[
?
]
Table of Contents
Introduction to POLKA
POLKA and the other polyhedra libraries
Comparison with Polylib library
Inspiration coming from Cdd library
Other libraries
Installing POLKA
Requested tools
Configuration
Building the libraries
Using POLKA
Convex polyhedra and their representation
Basic facts about polyhedra
Working with strict inequalities
Representation of constraints, generators and affine expressions
Using C library
Using OCaml library
C Library
Organization of the C library
Module pkint
Module Polka
Datatypes
Initialization and finalization functions
Global variables
Functions on equation
Module Vector
The type vector_t
Basic Operations on vectors
Comparison & Hashing on vectors
Normalization of vectors
Algebraic Operations on vectors
Change of dimension of vectors
Miscellaneous on vectors
Module Matrix
The type matrix_t
Access functions on matrices
Basic Operations on matrices
Comparison & Hashing on matrices
Operations on rows of matrices
Sorting & Merging matrices
Linear transformation of matrices
Change of dimension of matrices
Module Bit
Type
bitindex_t
: accessing bits in bitstrings
Type bitstring_t: bitstrings
Module Satmat
The type satmat_t
Basic Operations on saturation matrices
Bit manipulations on saturation matrices
Matrix manipulations
Module Poly
Basic Operations on polyhedra
Basic Constructors for polyhedra
Access functions for polyhedra
Predicates on polyhedra
Intersection and Convex Hull of polyhedra
Change of dimension of polyhedra
Linear transformations on polyhedra
Widening operators on polyhedra lattice
Closure operation
C Example
OCAML Library
Organization of the OCaml interface
Polka
Vector
Basic Operations on OCaml vectors
Comparison & Hashing of OCaml vectors
Normalization of OCaml vectors
Algebraic Operations on OCaml vectors
Change of dimensions on OCaml vectors
Miscellaneous on OCaml vectors
Input & Output of OCaml vectors
Matrix
Basic Operations on OCaml matrices
Comparison & Hashing of OCaml matrices
Sorting & Merging of OCaml matrices
Change of dimension of OCaml matrices
Miscellaneous on OCaml matrices
Input & Output of OCaml matrices
Poly
Constructors for OCaml polyhedra
Access functions for OCaml polyhedra
Predicates on OCaml polyhedra
Change of dimension of OCaml polyhedra
Intersection & Convex Hull of OCaml polyhedra
Linear transformations on OCaml polyhedra
Widening operators on OCaml polyhedra
Closure operation on OCaml polyhedra
Input & Output of OCaml polyhedra
PolkaIO
Example of interactive use
Appendices
C Datatype Index
C Variable Index
C Function Index
This document was generated on
October, 27 2006
using
texi2html