#include <boost/polygon/polygon.hpp>
#include <vector>
using namespace boost::polygon;

int main() {
  typedef polygon_data<int> Polygon;
  typedef polygon_traits<Polygon>::point_type Point;
  Point pts[] = {construct<Point>(4000, 0),
		 construct<Point>(2500, 500),
		 construct<Point>(0, 3000),
		 construct<Point>(0, 0) };

  Polygon poly;
  set_points(poly, pts, pts+4);

  typedef std::vector<polygon_data<int> > PolygonSet;
  
  PolygonSet ps;
  assign( ps, poly );

  shrink( ps, 1000 );

  for( auto& polygon: ps ) {
    printf("polygon: size=%d, holes=%d\n", static_cast<int>(polygon.size()), static_cast<int>( end_holes(polygon) - begin_holes(polygon) ) );
    for( auto& point: polygon ) {
      printf("   (%d, %d)\n", get(point,HORIZONTAL), get(point,VERTICAL) );
    }
  }

  return 0;
}