class polyhedral_set {
 int         n_iterator;
 int         n_parameter;
 vector<tldm_data >    variables;
 vector<vector<int≫  polyhedral_matrix;
};
Listing 7