123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380 |
- /*
- Copyright 2008 Intel Corporation
- Use, modification and distribution are subject to the Boost Software License,
- Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
- http://www.boost.org/LICENSE_1_0.txt).
- */
- #ifndef BOOST_POLYGON_POLYGON_45_SET_VIEW_HPP
- #define BOOST_POLYGON_POLYGON_45_SET_VIEW_HPP
- namespace boost { namespace polygon{
- template <typename ltype, typename rtype, int op_type>
- class polygon_45_set_view;
- template <typename ltype, typename rtype, int op_type>
- struct polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> > {
- typedef typename polygon_45_set_view<ltype, rtype, op_type>::coordinate_type coordinate_type;
- typedef typename polygon_45_set_view<ltype, rtype, op_type>::iterator_type iterator_type;
- typedef typename polygon_45_set_view<ltype, rtype, op_type>::operator_arg_type operator_arg_type;
- static inline iterator_type begin(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set);
- static inline iterator_type end(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set);
- template <typename input_iterator_type>
- static inline void set(polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set,
- input_iterator_type input_begin, input_iterator_type input_end);
- static inline bool clean(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set);
- };
- template <typename value_type, typename ltype, typename rtype, int op_type>
- struct compute_45_set_value {
- static
- void value(value_type& output_, const ltype& lvalue_, const rtype& rvalue_) {
- output_.set(polygon_45_set_traits<ltype>::begin(lvalue_),
- polygon_45_set_traits<ltype>::end(lvalue_));
- value_type rinput_;
- rinput_.set(polygon_45_set_traits<rtype>::begin(rvalue_),
- polygon_45_set_traits<rtype>::end(rvalue_));
- #ifdef BOOST_POLYGON_MSVC
- #pragma warning (push)
- #pragma warning (disable: 4127)
- #endif
- if(op_type == 0)
- output_ |= rinput_;
- else if(op_type == 1)
- output_ &= rinput_;
- else if(op_type == 2)
- output_ ^= rinput_;
- else
- output_ -= rinput_;
- #ifdef BOOST_POLYGON_MSVC
- #pragma warning (pop)
- #endif
- }
- };
- template <typename value_type, typename ltype, typename rcoord, int op_type>
- struct compute_45_set_value<value_type, ltype, polygon_45_set_data<rcoord>, op_type> {
- static
- void value(value_type& output_, const ltype& lvalue_, const polygon_45_set_data<rcoord>& rvalue_) {
- output_.set(polygon_45_set_traits<ltype>::begin(lvalue_),
- polygon_45_set_traits<ltype>::end(lvalue_));
- #ifdef BOOST_POLYGON_MSVC
- #pragma warning (push)
- #pragma warning (disable: 4127)
- #endif
- if(op_type == 0)
- output_ |= rvalue_;
- else if(op_type == 1)
- output_ &= rvalue_;
- else if(op_type == 2)
- output_ ^= rvalue_;
- else
- output_ -= rvalue_;
- #ifdef BOOST_POLYGON_MSVC
- #pragma warning (pop)
- #endif
- }
- };
- template <typename ltype, typename rtype, int op_type>
- class polygon_45_set_view {
- public:
- typedef typename polygon_45_set_traits<ltype>::coordinate_type coordinate_type;
- typedef polygon_45_set_data<coordinate_type> value_type;
- typedef typename value_type::iterator_type iterator_type;
- typedef polygon_45_set_view operator_arg_type;
- private:
- const ltype& lvalue_;
- const rtype& rvalue_;
- mutable value_type output_;
- mutable bool evaluated_;
- polygon_45_set_view& operator=(const polygon_45_set_view&);
- public:
- polygon_45_set_view(const ltype& lvalue,
- const rtype& rvalue ) :
- lvalue_(lvalue), rvalue_(rvalue), output_(), evaluated_(false) {}
- // get iterator to begin vertex data
- public:
- const value_type& value() const {
- if(!evaluated_) {
- evaluated_ = true;
- compute_45_set_value<value_type, ltype, rtype, op_type>::value(output_, lvalue_, rvalue_);
- }
- return output_;
- }
- public:
- iterator_type begin() const { return value().begin(); }
- iterator_type end() const { return value().end(); }
- bool dirty() const { return value().dirty(); } //result of a boolean is clean
- bool sorted() const { return value().sorted(); } //result of a boolean is sorted
- // template <typename input_iterator_type>
- // void set(input_iterator_type input_begin, input_iterator_type input_end,
- // orientation_2d orient) const {
- // orient_ = orient;
- // output_.clear();
- // output_.insert(output_.end(), input_begin, input_end);
- // polygon_sort(output_.begin(), output_.end());
- // }
- };
- template <typename ltype, typename rtype, int op_type>
- typename polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::iterator_type
- polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::
- begin(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set) {
- return polygon_45_set.begin();
- }
- template <typename ltype, typename rtype, int op_type>
- typename polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::iterator_type
- polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::
- end(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set) {
- return polygon_45_set.end();
- }
- template <typename ltype, typename rtype, int op_type>
- bool polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::
- clean(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set) {
- return polygon_45_set.value().clean(); }
- template <typename geometry_type_1, typename geometry_type_2, int op_type>
- geometry_type_1& self_assignment_boolean_op_45(geometry_type_1& lvalue_, const geometry_type_2& rvalue_) {
- typedef geometry_type_1 ltype;
- typedef geometry_type_2 rtype;
- typedef typename polygon_45_set_traits<ltype>::coordinate_type coordinate_type;
- typedef polygon_45_set_data<coordinate_type> value_type;
- value_type output_;
- value_type rinput_;
- output_.set(polygon_45_set_traits<ltype>::begin(lvalue_),
- polygon_45_set_traits<ltype>::end(lvalue_));
- rinput_.set(polygon_45_set_traits<rtype>::begin(rvalue_),
- polygon_45_set_traits<rtype>::end(rvalue_));
- #ifdef BOOST_POLYGON_MSVC
- #pragma warning (push)
- #pragma warning (disable: 4127)
- #endif
- if(op_type == 0)
- output_ |= rinput_;
- else if(op_type == 1)
- output_ &= rinput_;
- else if(op_type == 2)
- output_ ^= rinput_;
- else
- output_ -= rinput_;
- #ifdef BOOST_POLYGON_MSVC
- #pragma warning (pop)
- #endif
- polygon_45_set_mutable_traits<geometry_type_1>::set(lvalue_, output_.begin(), output_.end());
- return lvalue_;
- }
- template <typename concept_type>
- struct fracture_holes_option_by_type {
- static const bool value = true;
- };
- template <>
- struct fracture_holes_option_by_type<polygon_45_with_holes_concept> {
- static const bool value = false;
- };
- template <>
- struct fracture_holes_option_by_type<polygon_with_holes_concept> {
- static const bool value = false;
- };
- template <typename ltype, typename rtype, int op_type>
- struct geometry_concept<polygon_45_set_view<ltype, rtype, op_type> > { typedef polygon_45_set_concept type; };
- namespace operators {
- struct y_ps45_b : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_4< y_ps45_b,
- typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
- typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
- polygon_45_set_view<geometry_type_1, geometry_type_2, 0> >::type
- operator|(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return polygon_45_set_view<geometry_type_1, geometry_type_2, 0>
- (lvalue, rvalue);
- }
- struct y_ps45_p : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_4< y_ps45_p,
- typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_1>::type>::type,
- typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- typename gtl_if<typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type>::type,
- polygon_45_set_view<geometry_type_1, geometry_type_2, 0> >::type
- operator+(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return polygon_45_set_view<geometry_type_1, geometry_type_2, 0>
- (lvalue, rvalue);
- }
- struct y_ps45_s : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_4< y_ps45_s, typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
- typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
- polygon_45_set_view<geometry_type_1, geometry_type_2, 1> >::type
- operator*(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return polygon_45_set_view<geometry_type_1, geometry_type_2, 1>
- (lvalue, rvalue);
- }
- struct y_ps45_a : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_4< y_ps45_a, typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
- typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
- polygon_45_set_view<geometry_type_1, geometry_type_2, 1> >::type
- operator&(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return polygon_45_set_view<geometry_type_1, geometry_type_2, 1>
- (lvalue, rvalue);
- }
- struct y_ps45_x : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_4< y_ps45_x, typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
- typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
- polygon_45_set_view<geometry_type_1, geometry_type_2, 2> >::type
- operator^(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return polygon_45_set_view<geometry_type_1, geometry_type_2, 2>
- (lvalue, rvalue);
- }
- struct y_ps45_m : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_4< y_ps45_m,
- typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_1>::type>::type,
- typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- typename gtl_if<typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type>::type,
- polygon_45_set_view<geometry_type_1, geometry_type_2, 3> >::type
- operator-(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return polygon_45_set_view<geometry_type_1, geometry_type_2, 3>
- (lvalue, rvalue);
- }
- struct y_ps45_pe : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_4<y_ps45_pe, typename is_mutable_polygon_45_set_type<geometry_type_1>::type, gtl_yes,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- geometry_type_1>::type &
- operator+=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 0>(lvalue, rvalue);
- }
- struct y_ps45_be : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_3<y_ps45_be, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- geometry_type_1>::type &
- operator|=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 0>(lvalue, rvalue);
- }
- struct y_ps45_se : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_3< y_ps45_se,
- typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- geometry_type_1>::type &
- operator*=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 1>(lvalue, rvalue);
- }
- struct y_ps45_ae : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_3<y_ps45_ae, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- geometry_type_1>::type &
- operator&=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 1>(lvalue, rvalue);
- }
- struct y_ps45_xe : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if<
- typename gtl_and_3<y_ps45_xe, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- geometry_type_1>::type &
- operator^=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 2>(lvalue, rvalue);
- }
- struct y_ps45_me : gtl_yes {};
- template <typename geometry_type_1, typename geometry_type_2>
- typename enable_if< typename gtl_and_3<y_ps45_me, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
- typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
- geometry_type_1>::type &
- operator-=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
- return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 3>(lvalue, rvalue);
- }
- struct y_ps45_rpe : gtl_yes {};
- template <typename geometry_type_1, typename coordinate_type_1>
- typename enable_if< typename gtl_and_3< y_ps45_rpe, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
- typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
- coordinate_concept>::type>::type,
- geometry_type_1>::type &
- operator+=(geometry_type_1& lvalue, coordinate_type_1 rvalue) {
- return resize(lvalue, rvalue);
- }
- struct y_ps45_rme : gtl_yes {};
- template <typename geometry_type_1, typename coordinate_type_1>
- typename enable_if< typename gtl_and_3<y_ps45_rme, typename gtl_if<typename is_mutable_polygon_45_set_type<geometry_type_1>::type>::type,
- typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
- coordinate_concept>::type>::type,
- geometry_type_1>::type &
- operator-=(geometry_type_1& lvalue, coordinate_type_1 rvalue) {
- return resize(lvalue, -rvalue);
- }
- struct y_ps45_rp : gtl_yes {};
- template <typename geometry_type_1, typename coordinate_type_1>
- typename enable_if< typename gtl_and_3<y_ps45_rp, typename gtl_if<typename is_mutable_polygon_45_set_type<geometry_type_1>::type>::type,
- typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
- coordinate_concept>::type>
- ::type, geometry_type_1>::type
- operator+(const geometry_type_1& lvalue, coordinate_type_1 rvalue) {
- geometry_type_1 retval(lvalue);
- retval += rvalue;
- return retval;
- }
- struct y_ps45_rm : gtl_yes {};
- template <typename geometry_type_1, typename coordinate_type_1>
- typename enable_if< typename gtl_and_3<y_ps45_rm, typename gtl_if<typename is_mutable_polygon_45_set_type<geometry_type_1>::type>::type,
- typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
- coordinate_concept>::type>
- ::type, geometry_type_1>::type
- operator-(const geometry_type_1& lvalue, coordinate_type_1 rvalue) {
- geometry_type_1 retval(lvalue);
- retval -= rvalue;
- return retval;
- }
- }
- }
- }
- #endif
|