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 Thu May 19 14:35:11 2011 for ScopLib by  doxygen 1.5.6