scoplib_statement Struct Reference

#include <statement.h>

Collaboration diagram for scoplib_statement:
Collaboration graph
[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

Array of control predicats of all irregular if of a statement

Referenced by scoplib_statement_free(), and scoplib_statement_malloc().

Array of exit predicats of all while loops of the statement

Referenced by scoplib_statement_free(), and scoplib_statement_malloc().

Support for non-static code analysis (See Benabderrahmane's Research Report #6814).

Referenced by scoplib_statement_malloc().


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

Generated on Mon Jan 11 21:20:28 2010 for ScopLib by  doxygen 1.6.1