[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

OCAML Library

This chapter describes the OCAML API of POLKA. The reader is supposed to have first read the documentation of the C library.

Organization of the OCaml interface  
Polka  Library management and global variables
Vector  Constraints, generators, and affine expressions
Matrix  Operations on matrices
Poly  Operation on convex polyhedra
PolkaIO  I/O facilities for interactive use
Example of interactive use  



This document was generated on October, 27 2006 using texi2html