polygon_45_set_view.hpp 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380
  1. /*
  2. Copyright 2008 Intel Corporation
  3. Use, modification and distribution are subject to the Boost Software License,
  4. Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  5. http://www.boost.org/LICENSE_1_0.txt).
  6. */
  7. #ifndef BOOST_POLYGON_POLYGON_45_SET_VIEW_HPP
  8. #define BOOST_POLYGON_POLYGON_45_SET_VIEW_HPP
  9. namespace boost { namespace polygon{
  10. template <typename ltype, typename rtype, int op_type>
  11. class polygon_45_set_view;
  12. template <typename ltype, typename rtype, int op_type>
  13. struct polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> > {
  14. typedef typename polygon_45_set_view<ltype, rtype, op_type>::coordinate_type coordinate_type;
  15. typedef typename polygon_45_set_view<ltype, rtype, op_type>::iterator_type iterator_type;
  16. typedef typename polygon_45_set_view<ltype, rtype, op_type>::operator_arg_type operator_arg_type;
  17. static inline iterator_type begin(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set);
  18. static inline iterator_type end(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set);
  19. template <typename input_iterator_type>
  20. static inline void set(polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set,
  21. input_iterator_type input_begin, input_iterator_type input_end);
  22. static inline bool clean(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set);
  23. };
  24. template <typename value_type, typename ltype, typename rtype, int op_type>
  25. struct compute_45_set_value {
  26. static
  27. void value(value_type& output_, const ltype& lvalue_, const rtype& rvalue_) {
  28. output_.set(polygon_45_set_traits<ltype>::begin(lvalue_),
  29. polygon_45_set_traits<ltype>::end(lvalue_));
  30. value_type rinput_;
  31. rinput_.set(polygon_45_set_traits<rtype>::begin(rvalue_),
  32. polygon_45_set_traits<rtype>::end(rvalue_));
  33. #ifdef BOOST_POLYGON_MSVC
  34. #pragma warning (push)
  35. #pragma warning (disable: 4127)
  36. #endif
  37. if(op_type == 0)
  38. output_ |= rinput_;
  39. else if(op_type == 1)
  40. output_ &= rinput_;
  41. else if(op_type == 2)
  42. output_ ^= rinput_;
  43. else
  44. output_ -= rinput_;
  45. #ifdef BOOST_POLYGON_MSVC
  46. #pragma warning (pop)
  47. #endif
  48. }
  49. };
  50. template <typename value_type, typename ltype, typename rcoord, int op_type>
  51. struct compute_45_set_value<value_type, ltype, polygon_45_set_data<rcoord>, op_type> {
  52. static
  53. void value(value_type& output_, const ltype& lvalue_, const polygon_45_set_data<rcoord>& rvalue_) {
  54. output_.set(polygon_45_set_traits<ltype>::begin(lvalue_),
  55. polygon_45_set_traits<ltype>::end(lvalue_));
  56. #ifdef BOOST_POLYGON_MSVC
  57. #pragma warning (push)
  58. #pragma warning (disable: 4127)
  59. #endif
  60. if(op_type == 0)
  61. output_ |= rvalue_;
  62. else if(op_type == 1)
  63. output_ &= rvalue_;
  64. else if(op_type == 2)
  65. output_ ^= rvalue_;
  66. else
  67. output_ -= rvalue_;
  68. #ifdef BOOST_POLYGON_MSVC
  69. #pragma warning (pop)
  70. #endif
  71. }
  72. };
  73. template <typename ltype, typename rtype, int op_type>
  74. class polygon_45_set_view {
  75. public:
  76. typedef typename polygon_45_set_traits<ltype>::coordinate_type coordinate_type;
  77. typedef polygon_45_set_data<coordinate_type> value_type;
  78. typedef typename value_type::iterator_type iterator_type;
  79. typedef polygon_45_set_view operator_arg_type;
  80. private:
  81. const ltype& lvalue_;
  82. const rtype& rvalue_;
  83. mutable value_type output_;
  84. mutable bool evaluated_;
  85. polygon_45_set_view& operator=(const polygon_45_set_view&);
  86. public:
  87. polygon_45_set_view(const ltype& lvalue,
  88. const rtype& rvalue ) :
  89. lvalue_(lvalue), rvalue_(rvalue), output_(), evaluated_(false) {}
  90. // get iterator to begin vertex data
  91. public:
  92. const value_type& value() const {
  93. if(!evaluated_) {
  94. evaluated_ = true;
  95. compute_45_set_value<value_type, ltype, rtype, op_type>::value(output_, lvalue_, rvalue_);
  96. }
  97. return output_;
  98. }
  99. public:
  100. iterator_type begin() const { return value().begin(); }
  101. iterator_type end() const { return value().end(); }
  102. bool dirty() const { return value().dirty(); } //result of a boolean is clean
  103. bool sorted() const { return value().sorted(); } //result of a boolean is sorted
  104. // template <typename input_iterator_type>
  105. // void set(input_iterator_type input_begin, input_iterator_type input_end,
  106. // orientation_2d orient) const {
  107. // orient_ = orient;
  108. // output_.clear();
  109. // output_.insert(output_.end(), input_begin, input_end);
  110. // polygon_sort(output_.begin(), output_.end());
  111. // }
  112. };
  113. template <typename ltype, typename rtype, int op_type>
  114. typename polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::iterator_type
  115. polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::
  116. begin(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set) {
  117. return polygon_45_set.begin();
  118. }
  119. template <typename ltype, typename rtype, int op_type>
  120. typename polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::iterator_type
  121. polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::
  122. end(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set) {
  123. return polygon_45_set.end();
  124. }
  125. template <typename ltype, typename rtype, int op_type>
  126. bool polygon_45_set_traits<polygon_45_set_view<ltype, rtype, op_type> >::
  127. clean(const polygon_45_set_view<ltype, rtype, op_type>& polygon_45_set) {
  128. return polygon_45_set.value().clean(); }
  129. template <typename geometry_type_1, typename geometry_type_2, int op_type>
  130. geometry_type_1& self_assignment_boolean_op_45(geometry_type_1& lvalue_, const geometry_type_2& rvalue_) {
  131. typedef geometry_type_1 ltype;
  132. typedef geometry_type_2 rtype;
  133. typedef typename polygon_45_set_traits<ltype>::coordinate_type coordinate_type;
  134. typedef polygon_45_set_data<coordinate_type> value_type;
  135. value_type output_;
  136. value_type rinput_;
  137. output_.set(polygon_45_set_traits<ltype>::begin(lvalue_),
  138. polygon_45_set_traits<ltype>::end(lvalue_));
  139. rinput_.set(polygon_45_set_traits<rtype>::begin(rvalue_),
  140. polygon_45_set_traits<rtype>::end(rvalue_));
  141. #ifdef BOOST_POLYGON_MSVC
  142. #pragma warning (push)
  143. #pragma warning (disable: 4127)
  144. #endif
  145. if(op_type == 0)
  146. output_ |= rinput_;
  147. else if(op_type == 1)
  148. output_ &= rinput_;
  149. else if(op_type == 2)
  150. output_ ^= rinput_;
  151. else
  152. output_ -= rinput_;
  153. #ifdef BOOST_POLYGON_MSVC
  154. #pragma warning (pop)
  155. #endif
  156. polygon_45_set_mutable_traits<geometry_type_1>::set(lvalue_, output_.begin(), output_.end());
  157. return lvalue_;
  158. }
  159. template <typename concept_type>
  160. struct fracture_holes_option_by_type {
  161. static const bool value = true;
  162. };
  163. template <>
  164. struct fracture_holes_option_by_type<polygon_45_with_holes_concept> {
  165. static const bool value = false;
  166. };
  167. template <>
  168. struct fracture_holes_option_by_type<polygon_with_holes_concept> {
  169. static const bool value = false;
  170. };
  171. template <typename ltype, typename rtype, int op_type>
  172. struct geometry_concept<polygon_45_set_view<ltype, rtype, op_type> > { typedef polygon_45_set_concept type; };
  173. namespace operators {
  174. struct y_ps45_b : gtl_yes {};
  175. template <typename geometry_type_1, typename geometry_type_2>
  176. typename enable_if< typename gtl_and_4< y_ps45_b,
  177. typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
  178. typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
  179. typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
  180. polygon_45_set_view<geometry_type_1, geometry_type_2, 0> >::type
  181. operator|(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  182. return polygon_45_set_view<geometry_type_1, geometry_type_2, 0>
  183. (lvalue, rvalue);
  184. }
  185. struct y_ps45_p : gtl_yes {};
  186. template <typename geometry_type_1, typename geometry_type_2>
  187. typename enable_if< typename gtl_and_4< y_ps45_p,
  188. typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_1>::type>::type,
  189. typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  190. typename gtl_if<typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type>::type,
  191. polygon_45_set_view<geometry_type_1, geometry_type_2, 0> >::type
  192. operator+(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  193. return polygon_45_set_view<geometry_type_1, geometry_type_2, 0>
  194. (lvalue, rvalue);
  195. }
  196. struct y_ps45_s : gtl_yes {};
  197. template <typename geometry_type_1, typename geometry_type_2>
  198. typename enable_if< typename gtl_and_4< y_ps45_s, typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
  199. typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
  200. typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
  201. polygon_45_set_view<geometry_type_1, geometry_type_2, 1> >::type
  202. operator*(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  203. return polygon_45_set_view<geometry_type_1, geometry_type_2, 1>
  204. (lvalue, rvalue);
  205. }
  206. struct y_ps45_a : gtl_yes {};
  207. template <typename geometry_type_1, typename geometry_type_2>
  208. typename enable_if< typename gtl_and_4< y_ps45_a, typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
  209. typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
  210. typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
  211. polygon_45_set_view<geometry_type_1, geometry_type_2, 1> >::type
  212. operator&(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  213. return polygon_45_set_view<geometry_type_1, geometry_type_2, 1>
  214. (lvalue, rvalue);
  215. }
  216. struct y_ps45_x : gtl_yes {};
  217. template <typename geometry_type_1, typename geometry_type_2>
  218. typename enable_if< typename gtl_and_4< y_ps45_x, typename is_polygon_45_or_90_set_type<geometry_type_1>::type,
  219. typename is_polygon_45_or_90_set_type<geometry_type_2>::type,
  220. typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type,
  221. polygon_45_set_view<geometry_type_1, geometry_type_2, 2> >::type
  222. operator^(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  223. return polygon_45_set_view<geometry_type_1, geometry_type_2, 2>
  224. (lvalue, rvalue);
  225. }
  226. struct y_ps45_m : gtl_yes {};
  227. template <typename geometry_type_1, typename geometry_type_2>
  228. typename enable_if< typename gtl_and_4< y_ps45_m,
  229. typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_1>::type>::type,
  230. typename gtl_if<typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  231. typename gtl_if<typename is_either_polygon_45_set_type<geometry_type_1, geometry_type_2>::type>::type>::type,
  232. polygon_45_set_view<geometry_type_1, geometry_type_2, 3> >::type
  233. operator-(const geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  234. return polygon_45_set_view<geometry_type_1, geometry_type_2, 3>
  235. (lvalue, rvalue);
  236. }
  237. struct y_ps45_pe : gtl_yes {};
  238. template <typename geometry_type_1, typename geometry_type_2>
  239. typename enable_if< typename gtl_and_4<y_ps45_pe, typename is_mutable_polygon_45_set_type<geometry_type_1>::type, gtl_yes,
  240. typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  241. geometry_type_1>::type &
  242. operator+=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  243. return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 0>(lvalue, rvalue);
  244. }
  245. struct y_ps45_be : gtl_yes {};
  246. template <typename geometry_type_1, typename geometry_type_2>
  247. typename enable_if< typename gtl_and_3<y_ps45_be, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
  248. typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  249. geometry_type_1>::type &
  250. operator|=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  251. return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 0>(lvalue, rvalue);
  252. }
  253. struct y_ps45_se : gtl_yes {};
  254. template <typename geometry_type_1, typename geometry_type_2>
  255. typename enable_if< typename gtl_and_3< y_ps45_se,
  256. typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
  257. typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  258. geometry_type_1>::type &
  259. operator*=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  260. return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 1>(lvalue, rvalue);
  261. }
  262. struct y_ps45_ae : gtl_yes {};
  263. template <typename geometry_type_1, typename geometry_type_2>
  264. typename enable_if< typename gtl_and_3<y_ps45_ae, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
  265. typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  266. geometry_type_1>::type &
  267. operator&=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  268. return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 1>(lvalue, rvalue);
  269. }
  270. struct y_ps45_xe : gtl_yes {};
  271. template <typename geometry_type_1, typename geometry_type_2>
  272. typename enable_if<
  273. typename gtl_and_3<y_ps45_xe, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
  274. typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  275. geometry_type_1>::type &
  276. operator^=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  277. return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 2>(lvalue, rvalue);
  278. }
  279. struct y_ps45_me : gtl_yes {};
  280. template <typename geometry_type_1, typename geometry_type_2>
  281. typename enable_if< typename gtl_and_3<y_ps45_me, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
  282. typename is_polygon_45_or_90_set_type<geometry_type_2>::type>::type,
  283. geometry_type_1>::type &
  284. operator-=(geometry_type_1& lvalue, const geometry_type_2& rvalue) {
  285. return self_assignment_boolean_op_45<geometry_type_1, geometry_type_2, 3>(lvalue, rvalue);
  286. }
  287. struct y_ps45_rpe : gtl_yes {};
  288. template <typename geometry_type_1, typename coordinate_type_1>
  289. typename enable_if< typename gtl_and_3< y_ps45_rpe, typename is_mutable_polygon_45_set_type<geometry_type_1>::type,
  290. typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
  291. coordinate_concept>::type>::type,
  292. geometry_type_1>::type &
  293. operator+=(geometry_type_1& lvalue, coordinate_type_1 rvalue) {
  294. return resize(lvalue, rvalue);
  295. }
  296. struct y_ps45_rme : gtl_yes {};
  297. template <typename geometry_type_1, typename coordinate_type_1>
  298. 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,
  299. typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
  300. coordinate_concept>::type>::type,
  301. geometry_type_1>::type &
  302. operator-=(geometry_type_1& lvalue, coordinate_type_1 rvalue) {
  303. return resize(lvalue, -rvalue);
  304. }
  305. struct y_ps45_rp : gtl_yes {};
  306. template <typename geometry_type_1, typename coordinate_type_1>
  307. 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,
  308. typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
  309. coordinate_concept>::type>
  310. ::type, geometry_type_1>::type
  311. operator+(const geometry_type_1& lvalue, coordinate_type_1 rvalue) {
  312. geometry_type_1 retval(lvalue);
  313. retval += rvalue;
  314. return retval;
  315. }
  316. struct y_ps45_rm : gtl_yes {};
  317. template <typename geometry_type_1, typename coordinate_type_1>
  318. 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,
  319. typename gtl_same_type<typename geometry_concept<coordinate_type_1>::type,
  320. coordinate_concept>::type>
  321. ::type, geometry_type_1>::type
  322. operator-(const geometry_type_1& lvalue, coordinate_type_1 rvalue) {
  323. geometry_type_1 retval(lvalue);
  324. retval -= rvalue;
  325. return retval;
  326. }
  327. }
  328. }
  329. }
  330. #endif