class tldm_iteration_domain{
 vector<tldm_data >     iterators;
 polyhedral_set     affine_iterator_range;
 tldm_expression*    execute_condition;
};
class tldm_expression {
 tldm_data*      iterator; // the iterator to check the expression
 int          n_operator;
 tldm_expression*    left_operand;
 tldm_expression*    right_operand;
 tldm_data*      leaf;
};
Listing 3