diff --git a/Linear_cell_complex/include/CGAL/GMap_linear_cell_complex_storages.h b/Linear_cell_complex/include/CGAL/GMap_linear_cell_complex_storages.h new file mode 100644 index 00000000000..5bb50958979 --- /dev/null +++ b/Linear_cell_complex/include/CGAL/GMap_linear_cell_complex_storages.h @@ -0,0 +1,403 @@ +// Copyright (c) 2014 CNRS and LIRIS' Establishments (France). +// All rights reserved. +// +// This file is part of CGAL (www.cgal.org); you can redistribute it and/or +// modify it under the terms of the GNU Lesser General Public License as +// published by the Free Software Foundation; either version 3 of the License, +// or (at your option) any later version. +// +// 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$ +// $Id$ +// +// Author(s) : Guillaume Damiand +// +#ifndef CGAL_GMAP_LINEAR_CELL_COMPLEX_STORAGES_H +#define CGAL_GMAP_LINEAR_CELL_COMPLEX_STORAGES_H 1 + +#include + +#include +#if (BOOST_GCC >= 40900) +_Pragma("GCC diagnostic push") +_Pragma("GCC diagnostic ignored \"-Warray-bounds\"") +#endif + +namespace CGAL { + + /** @file GMap_linear_cell_complex_storages.h + * Definition of storages for dD Linear cell complex for generalized map. + */ + + // Storage of darts with compact container, alpha with handles + // Copy of Generalized_map_storage_1 and add new types related + // to geometry (not possible to inherith because we use Self type + // as template parameter of Dart_wrapper. If we inherit, Self is not + // the correct type). + template + class GMap_linear_cell_complex_storage_1 + { + public: + typedef typename Traits_::Point Point; + typedef typename Traits_::Vector Vector; + typedef typename Traits_::FT FT; + + typedef GMap_linear_cell_complex_storage_1 Self; + typedef CGAL::Tag_false Use_index; + + typedef internal::Combinatorial_map_helper Helper; + + typedef typename Items_::template Dart_wrapper Dart_wrapper; + typedef typename Dart_wrapper::Dart Dart; + typedef typename Alloc_::template rebind::other Dart_allocator; + + typedef Compact_container Dart_container; + + typedef typename Dart_container::iterator Dart_handle; + typedef typename Dart_container::const_iterator Dart_const_handle; + typedef typename Dart_container::size_type size_type; + + typedef CGAL::Void* Null_handle_type; + static const Null_handle_type null_handle; + + typedef Items_ Items; + typedef Alloc_ Alloc; + + template + struct Container_for_attributes : + public Compact_container::other> + {}; + + /// Typedef for attributes + typedef typename Dart_wrapper::Attributes Attributes; + + template + struct Attribute_type: public Helper::template Attribute_type + {}; + template + struct Attribute_handle: public Helper::template Attribute_handle + {}; + template + struct Attribute_const_handle: + public Helper::template Attribute_const_handle + {}; + template + struct Attribute_range: public Helper::template Attribute_range + {}; + template + struct Attribute_const_range: + public Helper::template Attribute_const_range + {}; + + typedef typename Attribute_type<0>::type Vertex_attribute; + typedef typename Attribute_handle<0>::type Vertex_attribute_handle; + typedef typename Attribute_const_handle<0>::type + Vertex_attribute_const_handle; + + typedef typename Attribute_range<0>::type Vertex_attribute_range; + typedef typename Attribute_const_range<0>::type + Vertex_attribute_const_range; + + /// Number of marks + static const size_type NB_MARKS = 32; + + /// The dimension of the generalized map. + static const unsigned int dimension = d_; + + typedef Handle_hash_function Hash_function; + + // Init + void init_storage() + {} + + /** Return if this dart is free for adimension. + * @param dh a dart handle + * @param i the dimension. + * @return true iff dh is linked with NULL for \em adimension. + */ + template + bool is_free(Dart_const_handle dh) const + { + CGAL_assertion( dh!=NULL ); + CGAL_assertion(i <= dimension); + return dh->malpha[i]==dh; + } + bool is_free(Dart_const_handle dh, unsigned int i) const + { + CGAL_assertion( dh!=NULL ); + CGAL_assertion(i <= dimension); + return dh->malpha[i]==dh; + } + + /// Set simultaneously all the marks of this dart to a given value. + void set_dart_marks(Dart_const_handle ADart, + const std::bitset& amarks) const + { + CGAL_assertion( ADart!=NULL ); + ADart->set_marks(amarks); + } + /// Return all the marks of a dart. + std::bitset get_dart_marks(Dart_const_handle ADart) const + { + CGAL_assertion( ADart!=NULL ); + return ADart->get_marks(); + } + /// Return the mark value of dart a given mark number. + bool get_dart_mark(Dart_const_handle ADart, size_type amark) const + { + CGAL_assertion( ADart!=NULL ); + return ADart->get_mark(amark); + } + + /// Set the mark of a given mark number to a given value. + void set_dart_mark(Dart_const_handle ADart, size_type amark, bool avalue) const + { + CGAL_assertion( ADart!=NULL ); + ADart->set_mark(amark, avalue); + } + + /// Flip the mark of a given mark number to a given value. + void flip_dart_mark(Dart_const_handle ADart, size_type amark) const + { + CGAL_assertion( ADart!=NULL ); + ADart->flip_mark(amark); + } + + // Access to alpha maps + Dart_handle get_alpha(Dart_handle ADart, int B1) + { + CGAL_assertion(ADart!=NULL && B1>=0 && B1<=(int)dimension); + return ADart->malpha[B1]; + } + Dart_const_handle get_alpha(Dart_const_handle ADart, int B1) const + { + CGAL_assertion(ADart!=NULL && B1>=0 && B1<=(int)dimension); + return ADart->malpha[B1]; + } + template + Dart_handle get_alpha(Dart_handle ADart) + { + CGAL_assertion(ADart!=NULL && B1>=0 && B1<=(int)dimension); + return ADart->malpha[B1]; + } + template + Dart_const_handle get_alpha(Dart_const_handle ADart) const + { + CGAL_assertion(ADart!=NULL && B1>=0 && B1<=(int)dimension); + return ADart->malpha[B1]; + } + + // return a handle on the i-attribute + template + typename Attribute_handle::type attribute(Dart_handle ADart) + { + CGAL_static_assertion_msg(Helper::template Dimension_index::value>=0, + "attribute called but i-attributes are disabled."); + return CGAL::cpp11::get::value> + (ADart->mattribute_handles); + } + template + typename Attribute_const_handle::type + attribute(Dart_const_handle ADart) const + { + CGAL_static_assertion_msg(Helper::template Dimension_index::value>=0, + "attribute called but i-attributes are disabled."); + return CGAL::cpp11::get::value> + (ADart->mattribute_handles); + } + + // get the attribute given its handle + template + typename Attribute_type::type& + get_attribute(typename Attribute_handle::type ah) + { + CGAL_assertion( ah!=NULL ); + return *ah; + } + template + const typename Attribute_type::type& + get_attribute(typename Attribute_const_handle::type ah) const + { + CGAL_assertion( ah!=NULL ); + return *ah; + } + + Dart & get_dart(Dart_handle ah) + { + CGAL_assertion( ah!=NULL ); + return *ah; + } + const Dart & get_dart(Dart_const_handle ah) const + { + CGAL_assertion( ah!=NULL ); + return *ah; + } + + // Get the dart of the given attribute + template + Dart_handle dart_of_attribute(typename Attribute_handle::type ah) + { + CGAL_assertion( ah!=NULL ); + return ah->dart(); + } + template + Dart_const_handle + dart_of_attribute(typename Attribute_const_handle::type ah) const + { + CGAL_assertion( ah!=NULL ); + return ah->dart(); + } + + // Set the dart of the given attribute + template + void set_dart_of_attribute(typename Attribute_handle::type ah, + Dart_handle adart) + { + CGAL_assertion( ah!=NULL ); + ah->set_dart(adart); + } + + // Get the info of the given attribute + template + typename Attribute_type::type::Info & + info_of_attribute(typename Attribute_handle::type ah) + { + CGAL_assertion( ah!=NULL ); + return ah->info(); + } + template + const typename Attribute_type::type::Info & + info_of_attribute(typename Attribute_const_handle::type ah) const + { + CGAL_assertion( ah!=NULL ); + return ah->info(); + } + + // Get the info of the i-cell attribute associated with the given dart + template + typename Attribute_type::type::Info & info(Dart_handle adart) + { + CGAL_assertion( adart!=NULL ); + CGAL_assertion( attribute(adart)!=NULL ); + return info_of_attribute(attribute(adart)); + } + template + const typename Attribute_type::type::Info & + info(Dart_const_handle adart) const + { + CGAL_assertion( adart!=NULL ); + CGAL_assertion( attribute(adart)!=NULL ); + return info_of_attribute(attribute(adart)); + } + + // Get the dart of the i-cell attribute associated with the given dart + template + Dart_handle & dart(Dart_handle adart) + { + CGAL_assertion( adart!=NULL ); + CGAL_assertion( attribute(adart)!=NULL ); + return dart_of_attribute(attribute(adart)); + } + template + Dart_const_handle dart(Dart_const_handle adart) const + { + CGAL_assertion( adart!=NULL ); + CGAL_assertion( attribute(adart)!=NULL ); + return dart_of_attribute(attribute(adart)); + } + + // Get the dart of the given 0-attribute + Point & point_of_vertex_attribute(typename Attribute_handle<0>::type vh) + { + CGAL_assertion( vh!=NULL ); + return get_attribute<0>(vh).point(); + } + + const Point & point_of_vertex_attribute + (typename Attribute_const_handle<0>::type vh) const + { + CGAL_assertion( vh!=NULL ); + return get_attribute<0>(vh).point(); + } + + void display_dart(Dart_const_handle ADart) const + { std::cout<<&*ADart; } + + template + void display_attribute(typename Attribute_const_handle::type ah) const + { std::cout<<&*ah; } + + protected: + // Set the handle on the i th attribute + template + void basic_set_dart_attribute(Dart_handle dh, + typename Attribute_handle::type ah) + { + CGAL::cpp11::get::value> + (dh->mattribute_handles) = ah; + } + + /** Link a dart with a given dart for a given dimension. + * @param adart the dart to link. + * @param adart2 the dart to link with. + * @param i the dimension. + */ + template + void dart_link_alpha(Dart_handle adart, Dart_handle adart2) + { + CGAL_assertion(i <= dimension); + CGAL_assertion(adart!=NULL && adart2!=NULL); + adart->malpha[i] = adart2; + } + void dart_link_alpha(Dart_handle adart, Dart_handle adart2, unsigned int i) + { + CGAL_assertion(i <= dimension); + CGAL_assertion(adart!=NULL && adart2!=NULL); + adart->malpha[i] = adart2; + } + + /** Unlink a dart for a given dimension. + * @param adart a dart. + * @param i the dimension. + */ + template + void dart_unlink_alpha(Dart_handle adart) + { + CGAL_assertion(adart!=NULL && i <= dimension); + adart->malpha[i] = adart; + } + void dart_unlink_alpha(Dart_handle adart, unsigned int i) + { + CGAL_assertion(adart!=NULL && i <= dimension); + adart->malpha[i] = adart; + } + + protected: + /// Dart container. + Dart_container mdarts; + + /// Tuple of attributes containers + typename Helper::Attribute_containers mattribute_containers; + }; + + /// null_handle + template + const typename GMap_linear_cell_complex_storage_1::Null_handle_type + GMap_linear_cell_complex_storage_1::null_handle = NULL; +} // namespace CGAL + +#if (BOOST_GCC >= 40900) + _Pragma("GCC diagnostic pop") +#endif +#endif // CGAL_GMAP_LINEAR_CELL_COMPLEX_STORAGES_H // +// EOF //