[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

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