#include <vector.h>
Public Attributes | |
unsigned | Size |
scoplib_int_t * | p |
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.
scoplib_int_t* scoplib_vector::p |
An array of values
Referenced by scoplib_matrix_add_vector(), scoplib_matrix_replace_vector(), scoplib_matrix_sub_vector(), scoplib_vector_add(), scoplib_vector_add_scalar(), scoplib_vector_free(), scoplib_vector_malloc(), scoplib_vector_print_structure(), scoplib_vector_sub(), scoplib_vector_tag_equality(), and scoplib_vector_tag_inequality().
unsigned scoplib_vector::Size |
The number of vector entries
Referenced by scoplib_matrix_add_vector(), scoplib_matrix_from_vector(), scoplib_matrix_insert_vector(), scoplib_matrix_replace_vector(), scoplib_matrix_sub_vector(), scoplib_vector_add(), scoplib_vector_add_scalar(), scoplib_vector_free(), scoplib_vector_malloc(), scoplib_vector_print_structure(), scoplib_vector_sub(), scoplib_vector_tag_equality(), and scoplib_vector_tag_inequality().