OpenScop 0.8.1
|
#include <relation.h>
Data Fields | |
int | type |
int | precision |
int | nb_rows |
int | nb_columns |
int | nb_output_dims |
int | nb_input_dims |
int | nb_local_dims |
int | nb_parameters |
void ** | m |
struct osl_relation * | next |
The osl_relation_t structure stores a union of relations. It is a NULL-terminated linked list of relations. Each relation is described using a matrix where each row represents a linear constraint. The entries of each row are organised in the following order:
Definition at line 102 of file relation.h.
void** osl_relation::m |
An array of pointers to the beginning of each row of the relation matrix
Definition at line 112 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_free_inside(), osl_relation_get_array_id(), osl_relation_idump(), osl_relation_insert_blank_column(), osl_relation_insert_columns(), osl_relation_insert_constraints(), osl_relation_integrity_check(), osl_relation_is_simple_output(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_spprint_polylib(), osl_relation_sprint_comment(), osl_relation_sub_vector(), and osl_relation_subexpression().
Number of columns
Definition at line 106 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_check_nb_columns(), osl_relation_concat_constraints(), osl_relation_equal(), osl_relation_expression(), osl_relation_extend_output(), osl_relation_free_inside(), osl_relation_get_array_id(), osl_relation_idump(), osl_relation_insert_blank_column(), osl_relation_insert_blank_row(), osl_relation_insert_columns(), osl_relation_insert_constraints(), osl_relation_integrity_check(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_spprint_polylib(), osl_relation_sprint_comment(), osl_relation_strings(), osl_relation_sub_vector(), and osl_relation_subexpression().
Number of input dimensions
Definition at line 108 of file relation.h.
Referenced by osl_relation_column_string(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_set_attributes(), osl_relation_spprint_polylib(), and osl_relation_strings().
Number of local (existentially quantified) dimensions
Definition at line 109 of file relation.h.
Referenced by osl_relation_check_nb_columns(), osl_relation_column_string(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_set_attributes(), osl_relation_spprint_polylib(), and osl_relation_strings().
Number of output dimensions
Definition at line 107 of file relation.h.
Referenced by osl_relation_column_string(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_is_simple_output(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_set_attributes(), osl_relation_spprint_polylib(), osl_relation_sprint_comment(), osl_relation_strings(), osl_scop_normalize_scattering(), osl_statement_get_nb_iterators(), and osl_statement_integrity_check().
Number of parameters
Definition at line 111 of file relation.h.
Referenced by osl_relation_column_string(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_set_attributes(), osl_relation_spprint_polylib(), osl_relation_strings(), osl_scop_get_nb_parameters(), and osl_scop_integrity_check().
Number of rows
Definition at line 105 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_concat_constraints(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_free_inside(), osl_relation_get_array_id(), osl_relation_idump(), osl_relation_insert_blank_column(), osl_relation_insert_columns(), osl_relation_insert_constraints(), osl_relation_integrity_check(), osl_relation_is_simple_output(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_spprint_polylib(), and osl_relation_sub_vector().
struct osl_relation* osl_relation::next |
Pointer to the next relation in the union of relations (NULL if none)
Definition at line 114 of file relation.h.
Referenced by osl_relation_concat_constraints(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_free(), osl_relation_get_array_id(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_nb_components(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_set_type(), osl_relation_spprint_polylib(), and osl_relation_union().
Precision of relation matrix elements
Definition at line 104 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_concat_constraints(), osl_relation_equal(), osl_relation_extend_output(), osl_relation_free_inside(), osl_relation_get_array_id(), osl_relation_idump(), osl_relation_insert_blank_column(), osl_relation_insert_blank_row(), osl_relation_insert_columns(), osl_relation_insert_constraints(), osl_relation_integrity_check(), osl_relation_is_simple_output(), osl_relation_list_read(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_spprint_polylib(), osl_relation_sprint_comment(), osl_relation_sub_vector(), and osl_relation_subexpression().
Semantics about the relation
Definition at line 103 of file relation.h.
Referenced by osl_relation_equal(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_integrity_check(), osl_relation_is_access(), osl_relation_list_filter(), osl_relation_list_set_type(), osl_relation_nclone(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_set_type(), osl_relation_sprint_type(), and osl_relation_strings().