#include <statement.h>
Public Attributes | |
scoplib_matrix_list_p | domain |
scoplib_matrix_p | schedule |
scoplib_matrix_p | read |
scoplib_matrix_p | write |
int | nb_iterators |
char ** | iterators |
char * | body |
int | nb_exit_predicates |
char ** | exit_predicates |
int | nb_control_predicates |
char ** | control_predicates |
struct scoplib_statement * | next |
Iteration domain of the statement
Referenced by scoplib_scop_dup(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_print_dot_scop(), scoplib_statement_print_structure(), and scoplib_statement_read().
Scheduling function for the statement
Referenced by scoplib_scop_dup(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_print_dot_scop(), scoplib_statement_print_structure(), and scoplib_statement_read().
Array read access informations
Referenced by scoplib_scop_dup(), scoplib_scop_read(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_print_dot_scop(), scoplib_statement_print_structure(), and scoplib_statement_read().
Array write access informations
Referenced by scoplib_scop_dup(), scoplib_scop_read(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_print_dot_scop(), scoplib_statement_print_structure(), and scoplib_statement_read().
Original depth of the statement
Referenced by scoplib_scop_dup(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_print_dot_scop(), scoplib_statement_print_structure(), and scoplib_statement_read().
char** scoplib_statement::iterators |
Array of (nb_iterators) iterator names
Referenced by scoplib_scop_dup(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_print_dot_scop(), scoplib_statement_print_structure(), and scoplib_statement_read().
char* scoplib_statement::body |
Original statement body
Referenced by scoplib_scop_dup(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_print_dot_scop(), scoplib_statement_print_structure(), and scoplib_statement_read().
Support for non-static code analysis (See Benabderrahmane's Research Report #6814).
Referenced by scoplib_statement_malloc().
Array of exit predicats of all while loops of the statement
Referenced by scoplib_statement_free(), and scoplib_statement_malloc().
Referenced by scoplib_statement_malloc().
Array of control predicats of all irregular if of a statement
Referenced by scoplib_statement_free(), and scoplib_statement_malloc().
struct scoplib_statement* scoplib_statement::next [read] |
Next statement in the linked list
Referenced by scoplib_scop_dup(), scoplib_scop_read(), scoplib_statement_free(), scoplib_statement_malloc(), scoplib_statement_number(), scoplib_statement_print_dot_scop(), and scoplib_statement_print_structure().