[PPL-devel] Set of C_Polyhedron