{ int i=0;

typedef Triangulation::Full_cell_handle Full_cell_handle;

typedef Triangulation::Facet Facet;

typedef std::vector<Full_cell_handle> Full_cells;

Full_cells infinite_full_cells;

std::back_insert_iterator<Full_cells> out(infinite_full_cells);

t.incident_full_cells(t.infinite_vertex(), out);

for( Full_cells::iterator sit = infinite_full_cells.begin();

sit != infinite_full_cells.end(); ++sit )

{

Facet ft(*sit, (*sit)->index(t.infinite_vertex()));

++i; // |ft| is a facet of the convex hull

}

std::cout << "There are " << i << " facets on the convex hull."<< std::endl;

}