OpenScop
0.9.0
|
#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 |
osl_int_t ** | m |
void * | usr |
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 104 of file relation.h.
osl_int_t** osl_relation::m |
An array of pointers to the beginning of each row of the relation matrix
Definition at line 114 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_clone_nconstraints(), 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_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread_polylib(), osl_relation_remove_column(), osl_relation_remove_row(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_set_precision(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), osl_relation_sprint_comment(), osl_relation_sub_vector(), osl_relation_subexpression(), osl_relation_swap_constraints(), and osl_scop_check_compatible_scoplib().
int osl_relation::nb_columns |
Number of columns
Definition at line 108 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_check_nb_columns(), osl_relation_clone_nconstraints(), osl_relation_concat_constraints(), 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_list_pprint_access_array_scoplib(), osl_relation_nclone(), osl_relation_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread_polylib(), osl_relation_remove_column(), osl_relation_remove_row(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_set_precision(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), osl_relation_sprint_comment(), osl_relation_strings(), osl_relation_sub_vector(), osl_relation_subexpression(), and osl_relation_swap_constraints().
int osl_relation::nb_input_dims |
Number of input dimensions
Definition at line 110 of file relation.h.
Referenced by osl_relation_clone_nconstraints(), osl_relation_column_string(), osl_relation_column_string_scoplib(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_nclone(), osl_relation_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread_polylib(), osl_relation_set_attributes_one(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), and osl_relation_strings().
int osl_relation::nb_local_dims |
Number of local (existentially quantified) dimensions
Definition at line 111 of file relation.h.
Referenced by osl_relation_check_nb_columns(), osl_relation_clone_nconstraints(), osl_relation_column_string(), osl_relation_column_string_scoplib(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_nclone(), osl_relation_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread_polylib(), osl_relation_set_attributes_one(), osl_relation_spprint_polylib(), osl_relation_strings(), and osl_scop_check_compatible_scoplib().
int osl_relation::nb_output_dims |
Number of output dimensions
Definition at line 109 of file relation.h.
Referenced by osl_relation_clone_nconstraints(), osl_relation_column_string(), osl_relation_column_string_scoplib(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_is_simple_output(), osl_relation_list_pprint_access_array_scoplib(), osl_relation_nclone(), osl_relation_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread_polylib(), osl_relation_set_attributes_one(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), osl_relation_sprint_comment(), osl_relation_strings(), osl_scop_check_compatible_scoplib(), osl_scop_normalize_scattering(), osl_statement_get_nb_iterators(), and osl_statement_integrity_check().
int osl_relation::nb_parameters |
Number of parameters
Definition at line 113 of file relation.h.
Referenced by osl_relation_clone_nconstraints(), osl_relation_column_string(), osl_relation_column_string_scoplib(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_idump(), osl_relation_integrity_check(), osl_relation_nclone(), osl_relation_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread_polylib(), osl_relation_set_attributes_one(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), osl_relation_strings(), osl_scop_get_nb_parameters(), and osl_scop_integrity_check().
int osl_relation::nb_rows |
Number of rows
Definition at line 107 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_clone_nconstraints(), osl_relation_concat_constraints(), 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_list_pprint_access_array_scoplib(), osl_relation_nclone(), osl_relation_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread_polylib(), osl_relation_remove_column(), osl_relation_remove_row(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_set_precision(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), osl_relation_sub_vector(), osl_relation_swap_constraints(), osl_scop_check_compatible_scoplib(), and osl_statement_pprint_scoplib().
struct osl_relation* osl_relation::next |
Pointer to the next relation in the union of relations (NULL if none)
Definition at line 117 of file relation.h.
Referenced by osl_relation_clone_nconstraints(), 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_psread_polylib(), osl_relation_set_attributes(), osl_relation_set_precision(), osl_relation_set_type(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), and osl_scop_check_compatible_scoplib().
int osl_relation::precision |
Precision of relation matrix elements
Definition at line 106 of file relation.h.
Referenced by osl_relation_add_vector(), osl_relation_clone_nconstraints(), osl_relation_concat_constraints(), 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_part_equal(), osl_relation_pmalloc(), osl_relation_remove_column(), osl_relation_remove_row(), osl_relation_replace_constraints(), osl_relation_replace_vector(), osl_relation_set_precision(), osl_relation_set_same_precision(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), osl_relation_sprint_comment(), osl_relation_sub_vector(), osl_relation_subexpression(), osl_relation_swap_constraints(), and osl_scop_check_compatible_scoplib().
int osl_relation::type |
Semantics about the relation
Definition at line 105 of file relation.h.
Referenced by osl_relation_clone_nconstraints(), osl_relation_column_string_scoplib(), osl_relation_extend_output(), osl_relation_get_attributes(), osl_relation_integrity_check(), osl_relation_is_access(), osl_relation_list_filter(), osl_relation_list_pprint_access_array_scoplib(), osl_relation_list_set_type(), osl_relation_nclone(), osl_relation_part_equal(), osl_relation_pmalloc(), osl_relation_pread(), osl_relation_psread(), osl_relation_set_type(), osl_relation_spprint_polylib_scoplib(), osl_relation_sprint_type(), and osl_relation_strings().
void* osl_relation::usr |
User-managed field, untouched by osl
Definition at line 116 of file relation.h.