SPAR/AIModule/BWTA/vendors/CGAL/CGAL/Arr_tracing_traits_2.h

Go to the documentation of this file.

// 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/branches/CGAL-3.5-branch/Arrangement_on_surface_2/include/CGAL/Arr_tracing_traits_2.h $
// $Id: Arr_tracing_traits_2.h 50366 2009-07-05 12:56:48Z efif $
//
// Author(s)     : Efi Fogel    <efif@post.tau.ac.il>

#ifndef CGAL_ARR_TRACING_TRAITS_H
#define CGAL_ARR_TRACING_TRAITS_H

#include <iostream>
#include <list>

#include <CGAL/basic.h>
#include <CGAL/Arr_enums.h>

CGAL_BEGIN_NAMESPACE

template <typename Base_traits>
class Arr_tracing_traits_2 : public Base_traits {
public:
  enum Operation_id {
    COMPARE_X_OP = 0,
    COMPARE_XY_OP,
    CONSTRUCT_MIN_VERTEX_OP,
    CONSTRUCT_MAX_VERTEX_OP,
    IS_VERTICAL_OP,
    COMPARE_Y_AT_X_OP,
    EQUAL_POINTS_OP,
    EQUAL_CURVES_OP,
    COMPARE_Y_AT_X_LEFT_OP,
    COMPARE_Y_AT_X_RIGHT_OP,

    MAKE_X_MONOTONE_OP,
    SPLIT_OP,
    INTERSECT_OP,

    ARE_MERGEABLE_OP,
    MERGE_OP,

    CONSTRUCT_OPPOSITE_OP,
    COMPARE_ENDPOINTS_XY_OP,

    PARAMETER_SPACE_IN_X_OP,
    COMPARE_Y_NEAR_BOUNDARY_OP,
    COMPARE_Y_ON_BOUNDARY_OP,
    IS_ON_X_IDENTIFICATION_OP,    
    
    PARAMETER_SPACE_IN_Y_OP,
    COMPARE_X_NEAR_BOUNDARY_OP,
    COMPARE_X_ON_BOUNDARY_OP,
    IS_ON_Y_IDENTIFICATION_OP,
    
    NUMBER_OF_OPERATIONS
  };

private:
  typedef Base_traits                           Base;
  typedef Arr_tracing_traits_2<Base>            Self;

  unsigned int m_flags;
  
  bool compare_x_op() const
  { return m_flags & (0x1 << COMPARE_X_OP); }

  bool compare_xy_op() const
  { return m_flags & (0x1 << COMPARE_XY_OP); }
  
  bool construct_min_vertex_op() const
  { return m_flags & (0x1 << CONSTRUCT_MIN_VERTEX_OP); }
  
  bool construct_max_vertex_op() const
  { return m_flags & (0x1 << CONSTRUCT_MAX_VERTEX_OP); }
  
  bool is_vertical_op() const
  { return m_flags & (0x1 << IS_VERTICAL_OP); }
  
  bool compare_y_at_x_op() const
  { return m_flags & (0x1 << COMPARE_Y_AT_X_OP); }
  
  bool equal_points_op() const
  { return m_flags & (0x1 << EQUAL_POINTS_OP); }
  
  bool equal_curves_op() const
  { return m_flags & (0x1 << EQUAL_CURVES_OP); }
  
  bool compare_y_at_x_left_op() const
  { return m_flags & (0x1 << COMPARE_Y_AT_X_LEFT_OP); }
  
  bool compare_y_at_x_right_op() const
  { return m_flags & (0x1 << COMPARE_Y_AT_X_RIGHT_OP); }
  
  bool make_x_monotone_op() const
  { return m_flags & (0x1 << MAKE_X_MONOTONE_OP); }
  
  bool split_op() const
  { return m_flags & (0x1 << SPLIT_OP); }
  
  bool intersect_op() const
  { return m_flags & (0x1 << INTERSECT_OP); }
  
  bool are_mergeable_op() const
  { return m_flags & (0x1 << ARE_MERGEABLE_OP); }
  
  bool merge_op() const
  { return m_flags & (0x1 << MERGE_OP); }
  
  bool construct_opposite_op() const
  { return m_flags & (0x1 << CONSTRUCT_OPPOSITE_OP); }
  
  bool compare_endpoints_xy_op() const
  { return m_flags & (0x1 << COMPARE_ENDPOINTS_XY_OP); }

  bool parameter_space_in_x_op() const
  { return m_flags & (0x1 << PARAMETER_SPACE_IN_X_OP); }
  
  bool compare_y_near_boundary_op() const
  { return m_flags & (0x1 << COMPARE_Y_NEAR_BOUNDARY_OP); }

  bool compare_y_on_boundary_op() const
  { return m_flags & (0x1 << COMPARE_Y_ON_BOUNDARY_OP); }  

  bool is_on_x_identification_op() const 
  { return m_flags & (0x1 << IS_ON_X_IDENTIFICATION_OP); }  
  
  bool parameter_space_in_y_op() const
  { return m_flags & (0x1 << PARAMETER_SPACE_IN_Y_OP); }

  bool compare_x_near_boundary_op() const
  { return m_flags & (0x1 << COMPARE_X_NEAR_BOUNDARY_OP); }

  bool compare_x_on_boundary_op() const
  { return m_flags & (0x1 << COMPARE_X_ON_BOUNDARY_OP); }  

  bool is_on_y_identification_op() const 
  { return m_flags & (0x1 << IS_ON_Y_IDENTIFICATION_OP); }  
  
public:
  Arr_tracing_traits_2() :
    Base()
  {
    enable_all_traces();
  }

  void enable_trace(Operation_id id) { m_flags |= 0x1 << id; }

  void enable_all_traces() { m_flags = 0xffffffff; }
  
  void disable_trace(Operation_id id) { m_flags &= ~(0x1 << id); }

  void disable_all_traces() { m_flags = 0x0; }
  


  // Traits types:
  typedef typename Base::Has_left_category      Has_left_category;
  typedef typename Base::Has_merge_category     Has_merge_category;

  typedef typename CGALi::Arr_complete_left_side_tag< Base >::Tag
                                                Arr_left_side_tag;
  typedef typename CGALi::Arr_complete_bottom_side_tag< Base >::Tag
                                                Arr_bottom_side_tag;
  typedef typename CGALi::Arr_complete_top_side_tag< Base >::Tag
                                                Arr_top_side_tag;
  typedef typename CGALi::Arr_complete_right_side_tag< Base >::Tag
                                                Arr_right_side_tag;
  
  typedef typename Base::Point_2                Point_2;
  typedef typename Base::X_monotone_curve_2     X_monotone_curve_2;
  typedef typename Base::Curve_2                Curve_2;

  class Compare_x_2 {
  private:
    typename Base::Compare_x_2 m_object;
    bool m_enabled;
    
  public:
    Compare_x_2(const Base * base, bool enabled = true) :
      m_object(base->compare_x_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const Point_2 & p1, const Point_2 & p2) const
    {
      if (!m_enabled) return m_object(p1, p2);
      std::cout << "compare_x" << std::endl
                << "  p1: " << p1 << std::endl
                << "  p2: " << p2 << std::endl;
      Comparison_result cr = m_object(p1, p2);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };

  class Compare_xy_2 {
  private:
    typename Base::Compare_xy_2 m_object;
    bool m_enabled;

  public:
    Compare_xy_2(const Base * base, bool enabled = true) :
      m_object(base->compare_xy_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const Point_2 & p1, const Point_2 & p2) const
    {
      if (!m_enabled) return m_object(p1, p2);
      std::cout << "compare_xy" << std::endl
                << "  p1: " << p1 << std::endl
                << "  p2: " << p2 << std::endl;
      Comparison_result cr = m_object(p1, p2);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };

  class Construct_min_vertex_2 {
  private:
    typename Base::Construct_min_vertex_2 m_object;
    bool m_enabled;

  public:
    Construct_min_vertex_2(const Base * base, bool enabled = true) :
      m_object(base->construct_min_vertex_2_object()), m_enabled(enabled) {}

    const Point_2 operator()(const X_monotone_curve_2 & xcv) const
    {
      if (!m_enabled) return m_object(xcv);
      std::cout << "construct_min_vertex" << std::endl
                << "  xcv: " << xcv << std::endl;
      Point_2 p = m_object(xcv);
      std::cout << "  result: " << p << std::endl;
      return p;
    }
  };

  class Construct_max_vertex_2 {
  private:
    typename Base::Construct_max_vertex_2 m_object;
    bool m_enabled;

  public:
    Construct_max_vertex_2(const Base * base, bool enabled = true) :
      m_object(base->construct_max_vertex_2_object()), m_enabled(enabled) {}

    const Point_2 operator()(const X_monotone_curve_2 & xcv) const
    {
      if (!m_enabled) return m_object(xcv);
      std::cout << "construct_max_vertex" << std::endl
                << "  xcv: " << xcv << std::endl;
      Point_2 p = m_object(xcv);
      std::cout << "  result: " << p << std::endl;      
      return p;
    }
  };
  
  class Is_vertical_2 {
  private:
    typename Base::Is_vertical_2 m_object;
    bool m_enabled;

  public:
    Is_vertical_2(const Base * base, bool enabled = true) :
      m_object(base->is_vertical_2_object()), m_enabled(enabled) {}
    
    bool operator()(const X_monotone_curve_2 & xcv) const
    {
      if (!m_enabled) return m_object(xcv);
      std::cout << "is_vertical" << std::endl
                << "  xcv: " << xcv << std::endl;
      bool is_vertical = m_object(xcv);
      std::cout << "  result: " << is_vertical << std::endl;
      return is_vertical;
    }
  };
  
  class Compare_y_at_x_2 {
  private:
    typename Base::Compare_y_at_x_2 m_object;
    bool m_enabled;

  public:
    Compare_y_at_x_2(const Base * base, bool enabled = true) :
      m_object(base->compare_y_at_x_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const Point_2 & p,
                                 const X_monotone_curve_2 & xcv) const
    {
      if (!m_enabled) return m_object(p, xcv);
      std::cout << "compare_y_at_x" << std::endl
                << "  p: " << p << std::endl
                << "  xcv: " << xcv << std::endl;
      Comparison_result cr = m_object(p, xcv);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };
  
  class Equal_2 {
  private:
    typename Base::Equal_2 m_object;
    bool m_enabled_point;
    bool m_enabled_curve;

  public:
    Equal_2(const Base * base,
            bool enabled_point = true, bool enabled_curve = true) :
      m_object(base->equal_2_object()),
      m_enabled_point(enabled_point),
      m_enabled_curve(enabled_curve)
    {}

    bool operator()(const X_monotone_curve_2 & xcv1,
                    const X_monotone_curve_2 & xcv2) const
    {
      if (!m_enabled_curve) return m_object(xcv1, xcv2);
      std::cout << "equal 1" << std::endl
                << "  xcv1: " << xcv1 << std::endl
                << "  xcv1: " << xcv1 << std::endl;
      bool equal = m_object(xcv1, xcv2);
      std::cout << "  result: " << equal << std::endl;
      return equal;
    }

    bool operator()(const Point_2 & p1, const Point_2 & p2) const
    {
      if (!m_enabled_point) return m_object(p1, p2);
      std::cout << "equal 2" << std::endl
                << "  p1: " << p1 << std::endl
                << "  p2: " << p2 << std::endl;
      bool equal = m_object(p1, p2);
      std::cout << "  result: " << equal << std::endl;
      return equal;
    }    
  };

  class Compare_y_at_x_left_2 {
  private:
    typename Base::Compare_y_at_x_left_2 m_object;
    bool m_enabled;

  public:
    Compare_y_at_x_left_2(const Base * base, bool enabled = true) :
      m_object(base->compare_y_at_x_left_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const X_monotone_curve_2 & xcv1,
                                 const X_monotone_curve_2 & xcv2,
                                 const Point_2 & p) const
    {
      if (!m_enabled) return m_object(xcv1, xcv2, p);
      std::cout << "compare_y_at_x_left" << std::endl
                << "  p: " << p << std::endl
                << "  xcv1: " << xcv1 << std::endl
                << "  xcv2: " << xcv2 << std::endl;
      Comparison_result cr = m_object(xcv1, xcv2, p);
      std::cout << "  result:" << cr << std::endl;
      return cr;
    }
  };

  class Compare_y_at_x_right_2 {
  private:
    typename Base::Compare_y_at_x_right_2 m_object;
    bool m_enabled;

  public:
    Compare_y_at_x_right_2(const Base * base, bool enabled = true) :
      m_object(base->compare_y_at_x_right_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const X_monotone_curve_2 & xcv1,
                                 const X_monotone_curve_2 & xcv2,
                                 const Point_2 & p) const
    {
      if (!m_enabled) return m_object(xcv1, xcv2, p);
      std::cout << "compare_y_at_x_right" << std::endl
                << "  p: " << p << std::endl
                << "  xcv1: " << xcv1 << std::endl
                << "  xcv2: " << xcv2 << std::endl;
      Comparison_result cr = m_object(xcv1, xcv2, p);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };
  
  class Make_x_monotone_2 {
  private:
    typename Base::Make_x_monotone_2 m_object;
    bool m_enabled;

  public:
    Make_x_monotone_2(const Base * base, bool enabled = true) :
      m_object(base->make_x_monotone_2_object()), m_enabled(enabled) {}

    template<typename OutputIterator>
    OutputIterator operator()(const Curve_2 & cv, OutputIterator oi) const
    {
      if (!m_enabled) return m_object(cv, oi);
      std::cout << "make_x_monotone" << std::endl
                << "  cv: " << cv << std::endl;        
      std::list<CGAL::Object> container;
      m_object(cv, std::back_inserter(container));
      if (container.empty()) return oi;

      std::list<CGAL::Object>::iterator it;
      unsigned int i = 0;
      for (it = container.begin(); it != container.end(); ++it) {
        X_monotone_curve_2 xcv;
        if (assign (xcv, *it)) {
          std::cout << "  result[" << i++ << "]: xcv: " << xcv << std::endl;
          continue;
        }

        Point_2 p;
        if (assign (p, *it)) {
          std::cout << "  result[" << i++ << "]: p: " << p << std::endl;
          continue;
        }
      }
      
      for (it = container.begin(); it != container.end(); ++it) *oi++ = *it;
      container.clear();
      return oi;
    }
  };

  class Split_2 {
  private:
    typename Base::Split_2 m_object;
    bool m_enabled;

  public:
    Split_2(const Base * base, bool enabled = true) :
      m_object(base->split_2_object()), m_enabled(enabled) {}

    void operator()(const X_monotone_curve_2 & xcv, const Point_2 & p,
                    X_monotone_curve_2 & xcv1, X_monotone_curve_2 & xcv2) const
    {
      if (!m_enabled) {
        m_object(xcv, p, xcv1, xcv2);
        return;
      }
      std::cout << "split: " << std::endl
                << "  xcv: " << xcv << std::endl
                << "  p: " << p << std::endl;
      m_object(xcv, p, xcv1, xcv2);
      std::cout << "  result xcv1: " << xcv1 << std::endl
                << "         xcv2: " << xcv2 << std::endl;
    }
  };

  class Intersect_2 {
  private:
    typename Base::Intersect_2 m_object;
    bool m_enabled;

  public:
    Intersect_2(const Base * base, bool enabled = true) :
      m_object(base->intersect_2_object()), m_enabled(enabled) {}

    template<typename OutputIterator>
    OutputIterator operator()(const X_monotone_curve_2 & xcv1,
                              const X_monotone_curve_2 & xcv2,
                              OutputIterator oi) const
    {
      if (!m_enabled) return m_object(xcv1, xcv2, oi);
      std::cout << "intersect" << std::endl
                << "  xcv1: " << xcv1 << std::endl
                << "  xcv2: " << xcv2 << std::endl;
      std::list<CGAL::Object> container;
      m_object(xcv1, xcv2, std::back_inserter(container));
      if (container.empty()) return oi;

      std::list<CGAL::Object>::iterator it;
      unsigned int i = 0;
      for (it = container.begin(); it != container.end(); ++it) {
        X_monotone_curve_2 xcv;
        if (assign (xcv, *it)) {
          std::cout << "  result[" << i++ << "]: xcv: " << xcv << std::endl;
          continue;
        }

        std::pair<Point_2,unsigned int> point_pair;
        if (assign (point_pair, *it)) {
          std::cout << "  result[" << i++ << "]: p: " << point_pair.first
                    << ", multiplicity: " << point_pair.second << std::endl;
          continue;
        }
      }
      
      for (it = container.begin(); it != container.end(); ++it) *oi++ = *it;
      container.clear();
      return oi;
    }
  };

  class Are_mergeable_2 {
  private:
    typename Base::Are_mergeable_2 m_object;
    bool m_enabled;

  public:
    Are_mergeable_2(const Base * base, bool enabled = true) :
      m_object(base->are_mergeable_2_object()), m_enabled(enabled) {}

    bool operator()(const X_monotone_curve_2 & xcv1,
                    const X_monotone_curve_2 & xcv2) const
    {
      if (!m_enabled) return m_object(xcv1, xcv2);
      std::cout << "are_mergeable" << std::endl
                << "  xcv1: " << xcv1 << std::endl
                << "  xcv2: " << xcv2 << std::endl;
      bool are_mergeable = m_object(xcv1, xcv2);
      std::cout << "  result: " << are_mergeable << std::endl;
      return are_mergeable;
    }
  };

  class Merge_2 {
  private:
    typename Base::Merge_2 m_object;
    bool m_enabled;

  public:
    Merge_2(const Base * base, bool enabled = true) :
      m_object(base->merge_2_object()), m_enabled(enabled) {}

    void operator()(const X_monotone_curve_2 & xcv1,
                    const X_monotone_curve_2 & xcv2,
                    X_monotone_curve_2 & xcv) const
    {
      std::cout << "merge" << std::endl
                << "  xcv1: " << xcv1 << std::endl
                << "  xcv2: " << xcv2 << std::endl;
      return m_object(xcv1, xcv2, xcv);
      std::cout << "  result: " << xcv << std::endl;
    }
  };

  class Construct_opposite_2 {
  private:
    typename Base::Construct_opposite_2 m_object;
    bool m_enabled;

  public:
    Construct_opposite_2(const Base * base, bool enabled = true) :
      m_object(base->construct_opposite_2_object()), m_enabled(enabled) {}

    X_monotone_curve_2 operator()(const X_monotone_curve_2 & xcv)
    {
      if (!m_enabled) return m_object(xcv);
      std::cout << "construct_opposite" << std::endl
                << "  xcv: " << xcv << std::endl;
      X_monotone_curve_2 xcv_out = m_object(xcv);
      std::cout << "  result: " << xcv_out << std::endl;
      return xcv;
    }
  };

  class Compare_endpoints_xy_2 {
  private:
    typename Base::Compare_endpoints_xy_2 m_object;
    bool m_enabled;

  public:
    Compare_endpoints_xy_2(const Base * base, bool enabled = true) :
      m_object(base->compare_endpoints_xy_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const X_monotone_curve_2 & xcv)
    {
      if (!m_enabled) return m_object(xcv);
      std::cout << "compare_endpoints_xy" << std::endl
                << "  xcv: " << xcv << std::endl;
      Comparison_result cr = m_object(xcv);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };

  class Parameter_space_in_x_2 {
  private:
    typename Base::Parameter_space_in_x_2 m_object;
    bool m_enabled;

  public:
    Parameter_space_in_x_2(const Base * base, bool enabled = true) :
      m_object(base->parameter_space_in_x_2_object()), m_enabled(enabled)
    {}
    
    Arr_parameter_space operator()(const X_monotone_curve_2 & xcv,
                             Arr_curve_end ce) const
    {
      if (!m_enabled) return m_object(xcv, ce);
      std::cout << "parameter_space_in_x" << std::endl
                << "  ce: " << ce << ", xcv: " << xcv << std::endl;
      Arr_parameter_space bt = m_object(xcv, ce);
      std::cout << "  result: " << bt << std::endl;
      return bt;
    }
  };

  class Parameter_space_in_y_2 {
  private:
    typename Base::Parameter_space_in_y_2 m_object;
    bool m_enabled;

  public:
    Parameter_space_in_y_2(const Base * base, bool enabled = true) :
      m_object(base->parameter_space_in_y_2_object()), m_enabled(enabled) {}
    
    Arr_parameter_space operator()(const X_monotone_curve_2 & xcv,
                             Arr_curve_end ce) const
    {
      if (!m_enabled) return m_object(xcv, ce);
        std::cout << "parameter_space_in_y" << std::endl
                  << "  ce: " << ce << ", xcv: " << xcv << std::endl;
      Arr_parameter_space bt = m_object(xcv, ce);
      std::cout << "  result: " << bt << std::endl;
      return bt;
    }

    Arr_parameter_space operator()(const Point_2 & p) const
    {
      if (!m_enabled) return m_object(p);
        std::cout << "parameter_space_in_y" << std::endl
                  << "  point: " << p << std::endl;
      Arr_parameter_space bt = m_object(p);
      std::cout << "  result: " << bt << std::endl;
      return bt;
    }
  };

  class Compare_x_near_boundary_2 {
  private:
    typename Base::Compare_x_near_boundary_2 m_object;
    bool m_enabled;
    
  public:
    Compare_x_near_boundary_2(const Base * base, bool enabled = true) :
      m_object(base->compare_x_near_boundary_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const Point_2 & p,
                                 const X_monotone_curve_2 & xcv,
                                 Arr_curve_end ce) const
    {
      if (!m_enabled) return m_object(p, xcv, ce);
      std::cout << "compare_x_near_boundary 1" << std::endl
                << "  p: " << p << std::endl
                << "  ce: " << ce << ", xcv: " << xcv << std::endl;
      Comparison_result cr = m_object(p, xcv, ce);
      std::cout << "  result: " << std::endl;
      return cr;
    }

    Comparison_result operator()(const X_monotone_curve_2 & xcv1,
                                 Arr_curve_end ce1,
                                 const X_monotone_curve_2 & xcv2,
                                 Arr_curve_end ce2) const
    {
      if (!m_enabled) return m_object(xcv1, ce1, xcv2, ce2);
      std::cout << "compare_x_near_boundary 2" << std::endl
                << "  ce1: " << ce1 << ", xcv1: " << xcv1 << std::endl
                << "  ce2: " << ce2 << ", xcv2: " << xcv2 << std::endl;
      Comparison_result cr = m_object(xcv1, ce1, xcv2, ce2);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };

  class Compare_y_near_boundary_2 {
  private:
    typename Base::Compare_y_near_boundary_2 m_object;
    bool m_enabled;
    
  public:
    Compare_y_near_boundary_2(const Base * base, bool enabled = true) :
      m_object(base->compare_y_near_boundary_2_object()), m_enabled(enabled) {}

    Comparison_result operator()(const X_monotone_curve_2 & xcv1,
                                 const X_monotone_curve_2 & xcv2, 
                                 Arr_curve_end ce) const
    {
      if (!m_enabled) return m_object(xcv1, xcv2, ce);
      std::cout << "compare_y_near_boundary" << std::endl
                << "  ce: " << ce << std::endl
                << "  xcv1: " << xcv1 << std::endl
                << "  xcv2: " << xcv2 << std::endl;
      Comparison_result cr = m_object(xcv1, xcv2, ce);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };

  class Compare_x_on_boundary_2 {
  private:
    typename Base::Compare_x_on_boundary_2 m_object;
    bool m_enabled;
    
  public:
    Compare_x_on_boundary_2(const Base * base, bool enabled = true) :
      m_object(base->compare_x_on_boundary_2_object()), m_enabled(enabled) {}
    Comparison_result operator()(const Point_2 & p1, const Point_2 & p2) const
    {
      if (!m_enabled) return m_object(p1, p2);
      std::cout << "compare_x_on_boundary" << std::endl
                << "  p1: " << p1 << std::endl
                << "  p2: " << p2 << std::endl;
      Comparison_result cr = m_object(p1, p2);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };
  
  class Compare_y_on_boundary_2 {
  private:
    typename Base::Compare_y_on_boundary_2 m_object;
    bool m_enabled;
    
  public:
    Compare_y_on_boundary_2(const Base * base, bool enabled = true) :
      m_object(base->compare_y_on_boundary_2_object()),
      m_enabled(enabled)
    {}

    Comparison_result operator()(const Point_2 & p1, const Point_2 & p2) const
    {
      if (!m_enabled) return m_object(p1, p2);
      std::cout << "compare_y_on_boundary" << std::endl
                << "  p1: " << p1 << std::endl
                << "  p2: " << p2 << std::endl;
      Comparison_result cr = m_object(p1, p2);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };

  class Is_on_x_identification_2 {
  private:
    typename Base::Is_on_x_identification_2 m_object;
    bool m_enabled;
    
  public:
    Is_on_x_identification_2(const Base * base, bool enabled = true) :
      m_object(base->is_on_x_identification_2_object()), m_enabled(enabled) {}
    Comparison_result operator()(const Point_2 & p) const
    {
      if (!m_enabled) return m_object(p);
      std::cout << "is_on_x_identification" << std::endl
                << "  p: " << p << std::endl;
      Comparison_result cr = m_object(p);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }

    Comparison_result operator()(const X_monotone_curve_2 & xcv) const
    {
      if (!m_enabled) return m_object(xcv);
      std::cout << "is_on_x_identification" << std::endl
                << "  xcv: " << xcv << std::endl;
      Comparison_result cr = m_object(xcv);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };

  class Is_on_y_identification_2 {
  private:
    typename Base::Is_on_y_identification_2 m_object;
    bool m_enabled;
    
  public:
    Is_on_y_identification_2(const Base * base, bool enabled = true) :
      m_object(base->is_on_y_identification_2_object()), m_enabled(enabled) {}
    Comparison_result operator()(const Point_2 & p) const
    {
      if (!m_enabled) return m_object(p);
      std::cout << "is_on_y_identification" << std::endl
                << "  p: " << p << std::endl;
      Comparison_result cr = m_object(p);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }

    Comparison_result operator()(const X_monotone_curve_2 & xcv) const
    {
      if (!m_enabled) return m_object(xcv);
      std::cout << "is_on_y_identification" << std::endl
                << "  xcv: " << xcv << std::endl;
      Comparison_result cr = m_object(xcv);
      std::cout << "  result: " << cr << std::endl;
      return cr;
    }
  };
  


  Compare_x_2 compare_x_2_object() const
  { return Compare_x_2(this, compare_x_op()); }
  
  Compare_xy_2 compare_xy_2_object() const
  { return Compare_xy_2(this, compare_xy_op()); }

  Construct_min_vertex_2 construct_min_vertex_2_object() const
  { return Construct_min_vertex_2(this, construct_min_vertex_op()); }

  Construct_max_vertex_2 construct_max_vertex_2_object() const
  { return Construct_max_vertex_2(this, construct_max_vertex_op()); }

  Is_vertical_2 is_vertical_2_object() const
  { return Is_vertical_2(this, is_vertical_op()); }
  
  Compare_y_at_x_2 compare_y_at_x_2_object() const
  { return Compare_y_at_x_2(this, compare_y_at_x_op()); }
  
  Equal_2 equal_2_object() const
  { return Equal_2(this, equal_points_op(), equal_curves_op()); }

  Compare_y_at_x_left_2 compare_y_at_x_left_2_object() const
  { return Compare_y_at_x_left_2(this, compare_y_at_x_left_op()); }

  Compare_y_at_x_right_2 compare_y_at_x_right_2_object() const
  { return Compare_y_at_x_right_2(this, compare_y_at_x_right_op()); }
  
  Make_x_monotone_2 make_x_monotone_2_object() const
  { return Make_x_monotone_2(this, make_x_monotone_op()); }

  Split_2 split_2_object() const
  { return Split_2(this, split_op()); }

  Intersect_2 intersect_2_object() const
  { return Intersect_2(this, intersect_op()); }

  Are_mergeable_2 are_mergeable_2_object() const
  { return Are_mergeable_2(this, are_mergeable_op()); }

  Merge_2 merge_2_object() const
  { return Merge_2(this, merge_op()); }

  Construct_opposite_2 construct_opposite_2_object() const
  { return Construct_opposite_2(this, construct_opposite_op()); }

  Compare_endpoints_xy_2 compare_endpoints_xy_2_object() const
  { return Compare_endpoints_xy_2(this, compare_endpoints_xy_op()); }

  Parameter_space_in_x_2 parameter_space_in_x_2_object() const
  { return Parameter_space_in_x_2(this, parameter_space_in_x_op()); }

  Compare_y_near_boundary_2 compare_y_near_boundary_2_object() const
  { return Compare_y_near_boundary_2(this, compare_y_near_boundary_op()); }

  Compare_y_on_boundary_2 compare_y_on_boundary_2_object() const
  {
    return Compare_y_on_boundary_2(this, compare_y_on_boundary_op());
  }
  
  Is_on_x_identification_2 is_on_x_identification_2_object() const 
  { return Is_on_x_identification_2(this, is_on_x_identification_op()); }
  
  Parameter_space_in_y_2 parameter_space_in_y_2_object() const
  { return Parameter_space_in_y_2(this, parameter_space_in_y_op()); }
  
  Compare_x_near_boundary_2 compare_x_near_boundary_2_object() const
  { return Compare_x_near_boundary_2(this, compare_x_near_boundary_op()); }

  Compare_x_on_boundary_2 compare_x_on_boundary_2_object() const
  {
    return Compare_x_on_boundary_2(this, compare_x_on_boundary_op());
  }
  
  Is_on_y_identification_2 is_on_y_identification_2_object() const 
  { return Is_on_y_identification_2(this, is_on_y_identification_op()); }

};

template <class OutputStream>
OutputStream & operator<<(OutputStream & os, Comparison_result cr)
{
  os << ((cr == SMALLER) ? "SMALLER" : (cr == EQUAL) ? "EQUAL" : "LARGER");
  return os;
}

CGAL_END_NAMESPACE

#endif