// Copyright (c) 2005  Tel-Aviv University (Israel).
// All rights reserved.
//
// This file is part of CGAL (www.cgal.org); you may redistribute it under
// the terms of the Q Public License version 1.0.
// See the file LICENSE.QPL distributed with CGAL.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// $URL: svn+ssh://scm.gforge.inria.fr/svn/cgal/trunk/Boolean_set_operations_2/include/CGAL/Gps_segment_traits_2.h $
// $Id: Gps_segment_traits_2.h 45298 2008-09-04 10:41:48Z guyzucke $
// 
//
// Author(s)     : Baruch Zukerman <baruchzu@post.tau.ac.il>

#ifndef CGAL_GPS_SEGMENT_TRAITS_2_H
#define CGAL_GPS_SEGMENT_TRAITS_2_H


#include <CGAL/Arr_segment_traits_2.h>
#include <CGAL/Polygon_2.h>
#include <CGAL/Polygon_with_holes_2.h>
#include <CGAL/Boolean_set_operations_2/Polygon_2_curve_iterator.h>
#include <CGAL/General_polygon_with_holes_2.h>
#include <CGAL/Boolean_set_operations_2/Gps_polygon_validation.h>
#include <CGAL/Boolean_set_operations_2/Gps_traits_adaptor.h>

CGAL_BEGIN_NAMESPACE

template < class Kernel_, 
           class Container_ = std::vector<typename Kernel_::Point_2>,
           class Arr_seg_traits_ = Arr_segment_traits_2<Kernel_> >
class Gps_segment_traits_2 : public Arr_seg_traits_
{
  typedef Arr_seg_traits_                               Base;
  typedef Gps_segment_traits_2<Kernel_,
                               Container_,
                               Arr_seg_traits_>         Self;

public:

  //Polygon_2 type is required by GeneralPolygonSetTraits Concept
  typedef CGAL::Polygon_2<Kernel_, Container_>          Polygon_2;
  //Polygon_2 is a model of the GeneralPolygon2 concept. 
  typedef  Polygon_2													General_polygon_2;

  //Polygon_with_holes_2 can be a simple polygon , with holes that are 
  //entirely inside him , or some vertices of the polygon and its holes
  // may overlap.
  
  //Polygon_with_holes_2 type required by GeneralPolygonSetTraits Concept.	  
  typedef CGAL::Polygon_with_holes_2<Kernel_, Container_>    
                                                        Polygon_with_holes_2;
  //Polygon_with_Holes_2 is a model of the GeneralPolygonWithHoles2 concept. 
  typedef  Polygon_with_holes_2									General_polygon_with_holes_2;
  typedef typename Base::X_monotone_curve_2             X_monotone_curve_2;

  typedef Polygon_2_curve_iterator<X_monotone_curve_2, 
                                   Polygon_2> Curve_const_iterator;

  typedef typename Polygon_with_holes_2::Hole_const_iterator
  																		    Hole_const_iterator;
  typedef typename Base::Point_2                        Point_2;

 
  /*!
   * A functor for constructing a polygon from a range of segments.
   */
  class Construct_polygon_2
  {
    typedef Gps_segment_traits_2<Kernel_,
                               Container_,
                               Arr_seg_traits_>         Self;
    typedef Gps_traits_adaptor<Base>                    Traits_adaptor;

  public:

    template<class XCurveIterator>
    void operator()(XCurveIterator begin,
                    XCurveIterator end,
                    Polygon_2& pgn)
    {
      Traits_adaptor tr;
      typename Traits_adaptor::Construct_vertex_2 ctr_v =
        tr.construct_vertex_2_object();

      for(XCurveIterator itr = begin; itr != end; ++itr)
      {
        pgn.push_back(ctr_v(*itr, 1));
      }
    }
  };

  Construct_polygon_2 construct_polygon_2_object() const
  {
    return Construct_polygon_2();
  }

  /*!
   * A functor for scanning all segments that form a polygon boundary.
   */
  class Construct_curves_2
  {
  public:

    std::pair<Curve_const_iterator,
              Curve_const_iterator> operator()(const General_polygon_2& pgn)
    {
      Curve_const_iterator c_begin(&pgn, pgn.edges_begin());
      Curve_const_iterator c_end(&pgn, pgn.edges_end());

      return (std::make_pair(c_begin, c_end));
    }
  };

  Construct_curves_2 construct_curves_2_object()
  {
    return Construct_curves_2();
  }

  /*!
   * An auxiliary functor used for validity checks.
   */
  typedef Gps_traits_adaptor<Base>                       Traits_adaptor;
  typedef CGAL::Is_valid_2<Self, Traits_adaptor>         Is_valid_2;

  Is_valid_2 is_valid_2_object()
  {
    Traits_adaptor  tr_adp;

    return (Is_valid_2 (*this, tr_adp));
  }
  
	//Added Functionality from GeneralPolygonWithHoles Concept to the traits. 
	
  /*A functor for constructing the outer boundary of a polygon with holes*/ 	
  class Construct_outer_boundary {
		public:
			General_polygon_2 operator()(const  General_polygon_with_holes_2& pol_wh) 
			{
				return pol_wh.outer_boundary();
			}
   };
	
	Construct_outer_boundary construct_outer_boundary_object() const {
		return Construct_outer_boundary();				
	}
	
	/*typedef from General_polygon_with_holes_2. Hole_const_iterator nested type is required by
	GeneralPolygonWithHoles2 concept*/
	/*A functor for constructing the container of holes of a polygon with holes. It returns ths
	begin/end iterators for the holes*/	
	class Construct_holes {
		public:
			std::pair<Hole_const_iterator, Hole_const_iterator>  operator()(const General_polygon_with_holes_2& pol_wh) 
			{
				return std::make_pair(pol_wh.holes_begin(), pol_wh.holes_end());
			}
	};
	
	Construct_holes construct_holes_object() const {
		return Construct_holes();				
	}
    
   /* A functor for constructing a General_polygon_with_holes from a General_Polygon
   (and possibly a range of holes).*/
   //	 constructs a general polygon with holes using a given general polygon outer
	// as the outer boundary and a given range of holes. If outer is an empty general
	// polygon, then an unbounded polygon with holes will be created. The holes must
	// be contained inside the outer boundary, and the polygons representing the holes
	// must be strictly simple and pairwise disjoint, except perhaps at the vertices.
  class Construct_general_polygon_with_holes_2 {
  	public:  	 
  		General_polygon_with_holes_2 operator()(const General_polygon_2& pgn_boundary) 
  		{
    		return General_polygon_with_holes_2(pgn_boundary);
    	}
    	template <class HolesInputIterator>
    	General_polygon_with_holes_2 operator()(const General_polygon_2& pgn_boundary,
      								                 HolesInputIterator h_begin,
                       									HolesInputIterator h_end)
    	{
			return General_polygon_with_holes_2(pgn_boundary, h_begin,h_end);		
    	}
  };

  Construct_general_polygon_with_holes_2 construct_polygon_with_holes_2_object() const
  {
    return Construct_general_polygon_with_holes_2();
  }
  
  	//functor returns true if the outer boundary is unbounded, and false otherwise.
	class Is_unbounded {
		public:
			bool operator()(const  General_polygon_with_holes_2& pol_wh) 
			{
				return pol_wh.is_unbounded();
			}	
	};
	
	Is_unbounded construct_is_unbounded_object() {
		return Is_unbounded();	
	}	 
};


CGAL_END_NAMESPACE

#endif