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

C Library

This chapter describes the C API of POLKA, which is the native API of the library<.

Organization of the C library  
Module pkint  Operations on generic integers
Module Polka  Library management and global variables
Module Vector  Constraints, generators, and affine expressions
Module Matrix  Operations on matrices
Module Bit  Manipulation of bitstrings
Module Satmat  Manipulation of saturation matrices
Module Poly  Operation on convex polyhedra
C Example  Small example



This document was generated on October, 27 2006 using texi2html