osl_vector Struct Reference

#include <vector.h>

Collaboration diagram for osl_vector:

Data Fields
int	precision
int	size
osl_int_t *	v

---

Detailed Description

The osl_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.

Definition at line 84 of file vector.h.

---

Field Documentation

int osl_vector::precision

Precision of the integer elements.

Definition at line 85 of file vector.h.

Referenced by osl_relation_add_vector(), osl_relation_from_vector(), osl_relation_replace_vector(), osl_relation_sub_vector(), osl_vector_add(), osl_vector_add_scalar(), osl_vector_equal(), osl_vector_free(), osl_vector_idump(), osl_vector_is_scalar(), osl_vector_mul_scalar(), osl_vector_pmalloc(), osl_vector_sub(), osl_vector_tag_equality(), and osl_vector_tag_inequality().

int osl_vector::size

Number of vector entries

Definition at line 86 of file vector.h.

Referenced by osl_relation_add_vector(), osl_relation_from_vector(), osl_relation_replace_vector(), osl_relation_sub_vector(), osl_vector_add(), osl_vector_add_scalar(), osl_vector_equal(), osl_vector_free(), osl_vector_idump(), osl_vector_is_scalar(), osl_vector_mul_scalar(), osl_vector_pmalloc(), osl_vector_sub(), osl_vector_tag_equality(), and osl_vector_tag_inequality().

osl_int_t* osl_vector::v

An array of integer values

Definition at line 87 of file vector.h.

Referenced by osl_relation_add_vector(), osl_relation_replace_vector(), osl_relation_sub_vector(), osl_vector_add(), osl_vector_add_scalar(), osl_vector_equal(), osl_vector_free(), osl_vector_idump(), osl_vector_is_scalar(), osl_vector_mul_scalar(), osl_vector_pmalloc(), osl_vector_sub(), osl_vector_tag_equality(), and osl_vector_tag_inequality().

---

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

• vector.h