#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 |
Detailed Description
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:
- An equality/inequality tag: 0 means the row corresponds to an equality constraint == 0, 1 means it is an inequality >= 0.
- The coefficients of the output dimensions.
- The coefficients of the input dimensions (0 for a set).
- The coefficients of the local (existentially quantified) dimensions.
- The coefficients of the parameters.
- The coefficient of the constant. Thus we have the following invariant: nb_columns = 1 + nb_output_dims + nb_input_dims + dims + nb_parameters + 1. Moreover we use the following conventions:
- Sets (e.g., iteration domains) are the images of relations with a zero-dimensional domain, hence the number of input dimensions is 0.
- The first output dimension of any access relations corresponds to the name of the array. The type field may provide some semantics about the relation, it may be:
- Undefined : OSL_UNDEFINED,
- An iteration domain : OSL_TYPE_DOMAIN,
- A scattering relation : OSL_TYPE_SCATTERING,
- An access relation : OSL_TYPE_ACCESS.
Definition at line 104 of file relation.h.
Field Documentation
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(), osl_relation_remove_column(), osl_relation_remove_row(), osl_relation_replace_constraints(), osl_relation_replace_vector(), 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().
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(), osl_relation_remove_column(), osl_relation_remove_row(), osl_relation_replace_constraints(), osl_relation_replace_vector(), 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().
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(), osl_relation_set_attributes_one(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), and osl_relation_strings().
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(), osl_relation_set_attributes_one(), osl_relation_spprint_polylib(), osl_relation_strings(), and osl_scop_check_compatible_scoplib().
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(), 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().
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(), 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().
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(), osl_relation_remove_column(), osl_relation_remove_row(), osl_relation_replace_constraints(), osl_relation_replace_vector(), 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(), osl_relation_set_attributes(), osl_relation_set_type(), osl_relation_spprint_polylib(), osl_relation_spprint_polylib_scoplib(), and osl_scop_check_compatible_scoplib().
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_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().
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.
The documentation for this struct was generated from the following file:
