class polyhedral_set  int         n_iterator;  int         n_parameter;  vector<tldm_data   variables;  vector<vector<int≫  polyhedral_matrix; };

Listing 7