scoplib_statement Struct Reference

#include <statement.h>

Collaboration diagram for scoplib_statement:
[legend]

List of all members.

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_statementnext


Detailed Description

The scoplib_statement_t structure stores the useful informations of a given statement to process it within a polyhedral framework.

Member Data Documentation

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().

Array of control predicats of all irregular if of a statement

Referenced by scoplib_statement_free(), and scoplib_statement_malloc().


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

Generated on Thu May 19 14:35:11 2011 for ScopLib by  doxygen 1.5.6