scoplib_vector Struct Reference

#include <vector.h>

List of all members.

Public Attributes

unsigned Size
scoplib_int_t * p

Detailed Description

The scoplib_vector_t structure stores a vector information in the PolyLib format (the first entry has a specific meaning). When a vector describes a linear constraint, a 0 means it is an equality == 0, a 1 means an inequality >= 0. When the vector describes an array access, a number different than 0 is the array identifier.


Member Data Documentation

scoplib_int_t* scoplib_vector::p

The documentation for this struct was generated from the following file:

Generated on Mon Jan 11 21:20:28 2010 for ScopLib by  doxygen 1.6.1