summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2014-12-08 15:03:32 +0000
committervrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2014-12-08 15:03:32 +0000
commite8cca67a337b9d4bdbd1a8558ad99862862145f3 (patch)
treefc1fa507ef18629698f7e7e87f5bb1adaae04719
parent807527bc3b79a30c0c86ffc27143ee1d45a84a77 (diff)
cpplint fixes, lcov+cpplint auto unit test
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/cpplint_test@345 636b058d-ea47-450e-bf9e-a15bfbe3eedb
-rw-r--r--CMakeLists.txt14
-rw-r--r--src/CMakeLists.txt2
-rw-r--r--src/Simplex_tree/include/gudhi/Simplex_tree.h1497
-rw-r--r--src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_iterators.h426
-rw-r--r--src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h124
-rw-r--r--src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_siblings.h192
-rw-r--r--src/Simplex_tree/include/gudhi/Simplex_tree/indexing_tag.h56
-rw-r--r--src/Simplex_tree/test/CMakeLists.txt22
8 files changed, 1224 insertions, 1109 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1862ccf8..3aa218fd 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -9,6 +9,8 @@ set(CMAKE_MODULE_PATH "${CMAKE_SOURCE_DIR}/src/cmake/modules/")
message("CMAKE_PREFIX_PATH = ${CMAKE_PREFIX_PATH}")
message("CMAKE_MODULE_PATH = ${CMAKE_MODULE_PATH}")
+enable_testing()
+
if(MSVC)
# Turn off some VC++ warnings
SET (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} /wd4267 /wd4668 /wd4311 /wd4800 /wd4820 /wd4503 /wd4244 /wd4345 /wd4996 /wd4396 /wd4018")
@@ -26,6 +28,18 @@ find_package(GMP)
find_package(GMPXX)
find_package(CGAL)
+# Required programs for unitary tests purpose
+FIND_PROGRAM( LCOV_PATH lcov )
+if (LCOV_PATH)
+ message("lcov found in ${LCOV_PATH}")
+endif()
+
+FIND_PROGRAM( PYTHON_PATH python )
+if (PYTHON_PATH)
+ message("python found in ${PYTHON_PATH}")
+endif()
+
+
if(NOT Boost_FOUND)
message(FATAL_ERROR "NOTICE: This demo requires Boost and will not be compiled.")
else()
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index c2085a40..876d7fa6 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -22,6 +22,8 @@ else()
LINK_DIRECTORIES(${Boost_LIBRARY_DIRS})
include_directories(include/)
+ add_subdirectory(example/Simplex_tree)
+ add_subdirectory(example/Persistent_cohomology)
add_subdirectory(example/Skeleton_blocker)
add_subdirectory(example/Contraction)
endif()
diff --git a/src/Simplex_tree/include/gudhi/Simplex_tree.h b/src/Simplex_tree/include/gudhi/Simplex_tree.h
index 5caa5e25..6430c300 100644
--- a/src/Simplex_tree/include/gudhi/Simplex_tree.h
+++ b/src/Simplex_tree/include/gudhi/Simplex_tree.h
@@ -1,799 +1,845 @@
- /* This file is part of the Gudhi Library. The Gudhi library
- * (Geometric Understanding in Higher Dimensions) is a generic C++
- * library for computational topology.
- *
- * Author(s): Clément Maria
- *
- * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
+/* This file is part of the Gudhi Library. The Gudhi library
+ * (Geometric Understanding in Higher Dimensions) is a generic C++
+ * library for computational topology.
+ *
+ * Author(s): Clément Maria
+ *
+ * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
#ifndef GUDHI_SIMPLEX_TREE_H
#define GUDHI_SIMPLEX_TREE_H
#include <algorithm>
-#include <boost/container/flat_map.hpp>
-#include <boost/iterator/transform_iterator.hpp>
-#include <boost/graph/adjacency_list.hpp>
+#include <utility>
+#include <vector>
#include "gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h"
#include "gudhi/Simplex_tree/Simplex_tree_siblings.h"
#include "gudhi/Simplex_tree/Simplex_tree_iterators.h"
#include "gudhi/Simplex_tree/indexing_tag.h"
+#include <boost/container/flat_map.hpp>
+#include <boost/iterator/transform_iterator.hpp>
+#include <boost/graph/adjacency_list.hpp>
-namespace Gudhi{
+namespace Gudhi {
/** \defgroup simplex_tree Filtered Complexes Package
- *
- * A simplicial complex \f$\mathbf{K}\f$
- * on a set of vertices \f$V = \{1, \cdots ,|V|\}\f$ is a collection of simplices
- * \f$\{\sigma\}\f$,
- * \f$\sigma \subseteq V\f$ such that \f$\tau \subseteq \sigma \in \mathbf{K} \rightarrow \tau \in
- * \mathbf{K}\f$. The
- * dimension \f$n=|\sigma|-1\f$ of \f$\sigma\f$ is its number of elements minus \f$1\f$.
- *
- * A filtration of a simplicial complex is
- * a function \f$f:\mathbf{K} \rightarrow \mathbb{R}\f$ satisfying \f$f(\tau)\leq f(\sigma)\f$ whenever
- * \f$\tau \subseteq \sigma\f$. Ordering the simplices by increasing filtration values
- * (breaking ties so as a simplex appears after its subsimplices of same filtration value)
- * provides an indexing scheme.
- *
-
- <DT>Implementations:</DT>
- There are two implementation of complexes. The first on is the Simplex_tree data structure.
- The simplex tree is an efficient and flexible
- data structure for representing general (filtered) simplicial complexes. The data structure
- is described in \cite boissonnatmariasimplextreealgorithmica
-
- The second one is the Hasse_complex. The Hasse complex is a data structure representing
- explicitly all co-dimension 1 incidence relations in a complex. It is consequently faster
- when accessing the boundary of a simplex, but is less compact and harder to construct from
- scratch.
-
-
- * \author Clément Maria
- * \version 1.0
- * \date 2014
- * \copyright GNU General Public License v3.
- * @{
- */
+ *
+ * A simplicial complex \f$\mathbf{K}\f$
+ * on a set of vertices \f$V = \{1, \cdots ,|V|\}\f$ is a collection of simplices
+ * \f$\{\sigma\}\f$,
+ * \f$\sigma \subseteq V\f$ such that \f$\tau \subseteq \sigma \in \mathbf{K} \rightarrow \tau \in
+ * \mathbf{K}\f$. The
+ * dimension \f$n=|\sigma|-1\f$ of \f$\sigma\f$ is its number of elements minus \f$1\f$.
+ *
+ * A filtration of a simplicial complex is
+ * a function \f$f:\mathbf{K} \rightarrow \mathbb{R}\f$ satisfying \f$f(\tau)\leq f(\sigma)\f$ whenever
+ * \f$\tau \subseteq \sigma\f$. Ordering the simplices by increasing filtration values
+ * (breaking ties so as a simplex appears after its subsimplices of same filtration value)
+ * provides an indexing scheme.
+ *
+
+ <DT>Implementations:</DT>
+ There are two implementation of complexes. The first on is the Simplex_tree data structure.
+ The simplex tree is an efficient and flexible
+ data structure for representing general (filtered) simplicial complexes. The data structure
+ is described in \cite boissonnatmariasimplextreealgorithmica
+
+ The second one is the Hasse_complex. The Hasse complex is a data structure representing
+ explicitly all co-dimension 1 incidence relations in a complex. It is consequently faster
+ when accessing the boundary of a simplex, but is less compact and harder to construct from
+ scratch.
+
+
+ * \author Clément Maria
+ * \version 1.0
+ * \date 2014
+ * \copyright GNU General Public License v3.
+ * @{
+ */
/**
- * \brief Simplex Tree data structure for representing simplicial complexes.
- *
- * \details Every simplex \f$[v_0, \cdots ,v_d]\f$ admits a canonical orientation
- * induced by the order relation on vertices \f$ v_0 < \cdots < v_d \f$.
- *
- * Details may be found in \cite boissonnatmariasimplextreealgorithmica.
- *
- * \implements FilteredComplex
- *
- */
-template < typename IndexingTag = linear_indexing_tag
- , typename FiltrationValue = double
- , typename SimplexKey = int //must be a signed integer type
- , typename VertexHandle = int //must be a signed integer type, int convertible to it
+ * \brief Simplex Tree data structure for representing simplicial complexes.
+ *
+ * \details Every simplex \f$[v_0, \cdots ,v_d]\f$ admits a canonical orientation
+ * induced by the order relation on vertices \f$ v_0 < \cdots < v_d \f$.
+ *
+ * Details may be found in \cite boissonnatmariasimplextreealgorithmica.
+ *
+ * \implements FilteredComplex
+ *
+ */
+template<typename IndexingTag = linear_indexing_tag,
+ typename FiltrationValue = double, typename SimplexKey = int // must be a signed integer type
+ , typename VertexHandle = int // must be a signed integer type, int convertible to it
// , bool ContiguousVertexHandles = true //true is Vertex_handles are exactly the set [0;n)
- >
-class Simplex_tree
-{
-
-public:
- typedef IndexingTag Indexing_tag;
-/** \brief Type for the value of the filtration function.
- *
- * Must be comparable with <. */
- typedef FiltrationValue Filtration_value;
-/** \brief Key associated to each simplex.
- *
- * Must be a signed integer type. */
- typedef SimplexKey Simplex_key;
-/** \brief Type for the vertex handle.
- *
- * Must be a signed integer type. It admits a total order <. */
- typedef VertexHandle Vertex_handle;
-
-
- /* Type of node in the simplex tree. */
- typedef Simplex_tree_node_explicit_storage < Simplex_tree > Node;
+>
+class Simplex_tree {
+ public:
+ typedef IndexingTag Indexing_tag;
+ /** \brief Type for the value of the filtration function.
+ *
+ * Must be comparable with <. */
+ typedef FiltrationValue Filtration_value;
+ /** \brief Key associated to each simplex.
+ *
+ * Must be a signed integer type. */
+ typedef SimplexKey Simplex_key;
+ /** \brief Type for the vertex handle.
+ *
+ * Must be a signed integer type. It admits a total order <. */
+ typedef VertexHandle Vertex_handle;
+
+ /* Type of node in the simplex tree. */
+ typedef Simplex_tree_node_explicit_storage<Simplex_tree> Node;
/* Type of dictionary Vertex_handle -> Node for traversing the simplex tree. */
- typedef typename boost::container::flat_map< Vertex_handle
- , Node > Dictionary;
-
-
- friend class Simplex_tree_node_explicit_storage < Simplex_tree < FiltrationValue
- , SimplexKey
- , VertexHandle > >;
- friend class Simplex_tree_siblings < Simplex_tree < FiltrationValue
- , SimplexKey
- , VertexHandle >
- , Dictionary > ;
- friend class Simplex_tree_simplex_vertex_iterator < Simplex_tree < FiltrationValue
- , SimplexKey
- , VertexHandle > >;
- friend class Simplex_tree_boundary_simplex_iterator < Simplex_tree < FiltrationValue
- , SimplexKey
- , VertexHandle > >;
- friend class Simplex_tree_complex_simplex_iterator < Simplex_tree < FiltrationValue
- , SimplexKey
- , VertexHandle > >;
- friend class Simplex_tree_skeleton_simplex_iterator < Simplex_tree < FiltrationValue
- , SimplexKey
- , VertexHandle > >;
- template < class T1, class T2 > friend class Persistent_cohomology;
+ typedef typename boost::container::flat_map<Vertex_handle, Node> Dictionary;
+
+ friend class Simplex_tree_node_explicit_storage<
+ Simplex_tree<FiltrationValue, SimplexKey, VertexHandle> > ;
+ friend class Simplex_tree_siblings<
+ Simplex_tree<FiltrationValue, SimplexKey, VertexHandle>, Dictionary> ;
+ friend class Simplex_tree_simplex_vertex_iterator<
+ Simplex_tree<FiltrationValue, SimplexKey, VertexHandle> > ;
+ friend class Simplex_tree_boundary_simplex_iterator<
+ Simplex_tree<FiltrationValue, SimplexKey, VertexHandle> > ;
+ friend class Simplex_tree_complex_simplex_iterator<
+ Simplex_tree<FiltrationValue, SimplexKey, VertexHandle> > ;
+ friend class Simplex_tree_skeleton_simplex_iterator<
+ Simplex_tree<FiltrationValue, SimplexKey, VertexHandle> > ;
+ template<class T1, class T2> friend class Persistent_cohomology;
/* \brief Set of nodes sharing a same parent in the simplex tree. */
- typedef Simplex_tree_siblings < Simplex_tree
- , Dictionary > Siblings;
-public:
-/** \brief Handle type to a simplex contained in the simplicial complex represented
- * byt he simplex tree. */
- typedef typename Dictionary::iterator Simplex_handle;
-private:
- typedef typename Dictionary::iterator Dictionary_it;
- typedef typename Dictionary_it::value_type Dit_value_t;
+ typedef Simplex_tree_siblings<Simplex_tree, Dictionary> Siblings;
+
+ public:
+ /** \brief Handle type to a simplex contained in the simplicial complex represented
+ * byt he simplex tree. */
+ typedef typename Dictionary::iterator Simplex_handle;
+
+ private:
+ typedef typename Dictionary::iterator Dictionary_it;
+ typedef typename Dictionary_it::value_type Dit_value_t;
struct return_first {
- Vertex_handle operator()(const Dit_value_t& p_sh) const {return p_sh.first;}
+ Vertex_handle operator()(const Dit_value_t& p_sh) const {
+ return p_sh.first;
+ }
};
-public:
-/** \name Range and iterator types
- *
- * The naming convention is Container_content_(iterator/range). A Container_content_range is
- * essentially an object on which the methods begin() and end() can be called. They both return
- * an object of type Container_content_iterator, and allow the traversal of the range
- * [ begin();end() ).
- * @{ */
+
+ public:
+ /** \name Range and iterator types
+ *
+ * The naming convention is Container_content_(iterator/range). A Container_content_range is
+ * essentially an object on which the methods begin() and end() can be called. They both return
+ * an object of type Container_content_iterator, and allow the traversal of the range
+ * [ begin();end() ).
+ * @{ */
/** \brief Iterator over the vertices of the simplicial complex.
- *
- * 'value_type' is Vertex_handle. */
- typedef boost::transform_iterator < return_first, Dictionary_it > Complex_vertex_iterator ;
+ *
+ * 'value_type' is Vertex_handle. */
+ typedef boost::transform_iterator<return_first, Dictionary_it> Complex_vertex_iterator;
/** \brief Range over the vertices of the simplicial complex. */
- typedef boost::iterator_range < Complex_vertex_iterator > Complex_vertex_range ;
+ typedef boost::iterator_range<Complex_vertex_iterator> Complex_vertex_range;
/** \brief Iterator over the vertices of a simplex.
- *
- * 'value_type' is Vertex_handle. */
- typedef Simplex_tree_simplex_vertex_iterator < Simplex_tree > Simplex_vertex_iterator ;
+ *
+ * 'value_type' is Vertex_handle. */
+ typedef Simplex_tree_simplex_vertex_iterator<Simplex_tree> Simplex_vertex_iterator;
/** \brief Range over the vertices of a simplex. */
- typedef boost::iterator_range < Simplex_vertex_iterator > Simplex_vertex_range ;
+ typedef boost::iterator_range<Simplex_vertex_iterator> Simplex_vertex_range;
/** \brief Iterator over the simplices of the boundary of a simplex.
- *
- * 'value_type' is Simplex_handle. */
- typedef Simplex_tree_boundary_simplex_iterator < Simplex_tree > Boundary_simplex_iterator ;
+ *
+ * 'value_type' is Simplex_handle. */
+ typedef Simplex_tree_boundary_simplex_iterator<Simplex_tree> Boundary_simplex_iterator;
/** \brief Range over the simplices of the boundary of a simplex. */
- typedef boost::iterator_range < Boundary_simplex_iterator > Boundary_simplex_range ;
+ typedef boost::iterator_range<Boundary_simplex_iterator> Boundary_simplex_range;
/** \brief Iterator over the simplices of the simplicial complex.
- *
- * 'value_type' is Simplex_handle. */
- typedef Simplex_tree_complex_simplex_iterator < Simplex_tree > Complex_simplex_iterator ;
+ *
+ * 'value_type' is Simplex_handle. */
+ typedef Simplex_tree_complex_simplex_iterator<Simplex_tree> Complex_simplex_iterator;
/** \brief Range over the simplices of the simplicial complex. */
- typedef boost::iterator_range < Complex_simplex_iterator > Complex_simplex_range ;
+ typedef boost::iterator_range<Complex_simplex_iterator> Complex_simplex_range;
/** \brief Iterator over the simplices of the skeleton of the simplicial complex, for a given
- * dimension.
- *
- * 'value_type' is Simplex_handle. */
- typedef Simplex_tree_skeleton_simplex_iterator < Simplex_tree > Skeleton_simplex_iterator ;
+ * dimension.
+ *
+ * 'value_type' is Simplex_handle. */
+ typedef Simplex_tree_skeleton_simplex_iterator<Simplex_tree> Skeleton_simplex_iterator;
/** \brief Range over the simplices of the skeleton of the simplicial complex, for a given
- * dimension. */
- typedef boost::iterator_range < Skeleton_simplex_iterator > Skeleton_simplex_range ;
+ * dimension. */
+ typedef boost::iterator_range<Skeleton_simplex_iterator> Skeleton_simplex_range;
/** \brief Iterator over the simplices of the simplicial complex, ordered by the filtration.
- *
- * 'value_type' is Simplex_handle. */
- typedef typename std::vector < Simplex_handle >::iterator Filtration_simplex_iterator;
- /** \brief Range over the simplices of the simplicial complex, ordered by the filtration. */
- typedef boost::iterator_range < Filtration_simplex_iterator > Filtration_simplex_range ;
-
-/* @} */ //end name range and iterator types
-
-
-/** \name Range and iterator methods
- * @{ */
-
-/** \brief Returns a range over the vertices of the simplicial complex.
- *
- * The order is increasing according to < on Vertex_handles.*/
-Complex_vertex_range complex_vertex_range()
-{ return Complex_vertex_range( boost::make_transform_iterator(root_.members_.begin(),return_first())
- , boost::make_transform_iterator(root_.members_.end(),return_first())); }
-/** \brief Returns a range over the simplices of the simplicial complex.
- *
- * In the Simplex_tree, the tree is traverse in a depth-first fashion.
- * Consequently, simplices are ordered according to lexicographic order on the list of
- * Vertex_handles of a simplex, read in increasing < order for Vertex_handles. */
- Complex_simplex_range complex_simplex_range()
- { return Complex_simplex_range ( Complex_simplex_iterator(this),
- Complex_simplex_iterator() ); }
-/** \brief Returns a range over the simplices of the dim-skeleton of the simplicial complex.
- *
- * The \f$d\f$-skeleton of a simplicial complex \f$\mathbf{K}\f$ is the simplicial complex containing the
- * simplices of \f$\mathbf{K}\f$ of dimension at most \f$d\f$.
- *
- * @param[in] dim The maximal dimension of the simplices in the skeleton.
- *
- * The simplices are ordered according to lexicographic order on the list of
- * Vertex_handles of a simplex, read in increasing < order for Vertex_handles. */
- Skeleton_simplex_range skeleton_simplex_range(int dim)
- { return Skeleton_simplex_range ( Skeleton_simplex_iterator(this,dim)
- , Skeleton_simplex_iterator() ); }
-/** \brief Returns a range over the simplices of the simplicial complex,
- * in the order of the filtration.
- *
- * The filtration is a monotonic function \f$ f: \mathbf{K} \rightarrow \mathbb{R} \f$, i.e. if two simplices
- * \f$\tau\f$ and \f$\sigma\f$ satisfy \f$\tau \subseteq \sigma\f$ then
- * \f$f(\tau) \leq f(\sigma)\f$.
- *
- * The method returns simplices ordered according to increasing filtration values. Ties are
- * resolved by considering inclusion relation (subsimplices appear before their cofaces). If two
- * simplices have same filtration value but are not comparable w.r.t. inclusion, lexicographic
- * order is used.
- *
- * The filtration must be valid. If the filtration has not been initialized yet, the
- * method initializes it (i.e. order the simplices). */
- Filtration_simplex_range filtration_simplex_range(linear_indexing_tag)
- { if(filtration_vect_.empty()) { initialize_filtration(); }
- return Filtration_simplex_range ( filtration_vect_.begin()
- , filtration_vect_.end()); }
+ *
+ * 'value_type' is Simplex_handle. */
+ typedef typename std::vector<Simplex_handle>::iterator Filtration_simplex_iterator;
+ /** \brief Range over the simplices of the simplicial complex, ordered by the filtration. */
+ typedef boost::iterator_range<Filtration_simplex_iterator> Filtration_simplex_range;
+
+ /* @} */ // end name range and iterator types
+ /** \name Range and iterator methods
+ * @{ */
+
+ /** \brief Returns a range over the vertices of the simplicial complex.
+ *
+ * The order is increasing according to < on Vertex_handles.*/
+ Complex_vertex_range complex_vertex_range() {
+ return Complex_vertex_range(
+ boost::make_transform_iterator(root_.members_.begin(), return_first()),
+ boost::make_transform_iterator(root_.members_.end(), return_first()));
+ }
+
+ /** \brief Returns a range over the simplices of the simplicial complex.
+ *
+ * In the Simplex_tree, the tree is traverse in a depth-first fashion.
+ * Consequently, simplices are ordered according to lexicographic order on the list of
+ * Vertex_handles of a simplex, read in increasing < order for Vertex_handles. */
+ Complex_simplex_range complex_simplex_range() {
+ return Complex_simplex_range(Complex_simplex_iterator(this),
+ Complex_simplex_iterator());
+ }
+
+ /** \brief Returns a range over the simplices of the dim-skeleton of the simplicial complex.
+ *
+ * The \f$d\f$-skeleton of a simplicial complex \f$\mathbf{K}\f$ is the simplicial complex containing the
+ * simplices of \f$\mathbf{K}\f$ of dimension at most \f$d\f$.
+ *
+ * @param[in] dim The maximal dimension of the simplices in the skeleton.
+ *
+ * The simplices are ordered according to lexicographic order on the list of
+ * Vertex_handles of a simplex, read in increasing < order for Vertex_handles. */
+ Skeleton_simplex_range skeleton_simplex_range(int dim) {
+ return Skeleton_simplex_range(Skeleton_simplex_iterator(this, dim),
+ Skeleton_simplex_iterator());
+ }
+
+ /** \brief Returns a range over the simplices of the simplicial complex,
+ * in the order of the filtration.
+ *
+ * The filtration is a monotonic function \f$ f: \mathbf{K} \rightarrow \mathbb{R} \f$, i.e. if two simplices
+ * \f$\tau\f$ and \f$\sigma\f$ satisfy \f$\tau \subseteq \sigma\f$ then
+ * \f$f(\tau) \leq f(\sigma)\f$.
+ *
+ * The method returns simplices ordered according to increasing filtration values. Ties are
+ * resolved by considering inclusion relation (subsimplices appear before their cofaces). If two
+ * simplices have same filtration value but are not comparable w.r.t. inclusion, lexicographic
+ * order is used.
+ *
+ * The filtration must be valid. If the filtration has not been initialized yet, the
+ * method initializes it (i.e. order the simplices). */
+ Filtration_simplex_range filtration_simplex_range(linear_indexing_tag) {
+ if (filtration_vect_.empty()) {
+ initialize_filtration();
+ }
+ return Filtration_simplex_range(filtration_vect_.begin(),
+ filtration_vect_.end());
+ }
Filtration_simplex_range filtration_simplex_range() {
return filtration_simplex_range(Indexing_tag());
}
-/** \brief Returns a range over the vertices of a simplex.
- *
- * The order in which the vertices are visited is the decreasing order for < on Vertex_handles,
- * which is consequenlty
- * equal to \f$(-1)^{\text{dim} \sigma}\f$ the canonical orientation on the simplex.
- */
- Simplex_vertex_range simplex_vertex_range(Simplex_handle sh)
- { return Simplex_vertex_range ( Simplex_vertex_iterator(this,sh),
- Simplex_vertex_iterator(this));}
-
-/** \brief Returns a range over the simplices of the boundary of a simplex.
- *
- * The boundary of a simplex is the set of codimension \f$1\f$ subsimplices of the simplex.
- * If the simplex is \f$[v_0, \cdots ,v_d]\f$, with canonical orientation
- * induced by \f$ v_0 < \cdots < v_d \f$, the iterator enumerates the
- * simplices of the boundary in the order:
- * \f$[v_0,\cdots,\widehat{v_i},\cdots,v_d]\f$ for \f$i\f$ from \f$0\f$ to \f$d\f$,
- * where \f$\widehat{v_i}\f$ means that the vertex \f$v_i\f$ is omitted.
- *
- * We note that the alternate sum of the simplices given by the iterator
- * gives \f$(-1)^{\text{dim} \sigma}\f$ the chains corresponding to the boundary
- * of the simplex.
- *
- * @param[in] sh Simplex for which the boundary is computed. */
- Boundary_simplex_range boundary_simplex_range(Simplex_handle sh)
- { return Boundary_simplex_range ( Boundary_simplex_iterator(this,sh),
- Boundary_simplex_iterator(this) ); }
-
-/** @} */ //end range and iterator methods
-
-
-/** \name Constructor/Destructor
- * @{ */
-
-/** \brief Constructs an empty simplex tree. */
- Simplex_tree ()
- : null_vertex_(-1)
- , threshold_(0)
- , num_simplices_(0)
- , root_(NULL,null_vertex_)
- , filtration_vect_()
- , dimension_(-1) {}
-
-/** \brief Destructor; deallocates the whole tree structure. */
-~Simplex_tree()
-{
- for(auto sh = root_.members().begin(); sh != root_.members().end(); ++sh)
- {
- if(has_children(sh)) { rec_delete(sh->second.children()); }
- }
-}
-/** @} */ // end constructor/destructor
-private:
-/** Recursive deletion. */
-void rec_delete(Siblings * sib)
-{
- for(auto sh = sib->members().begin(); sh != sib->members().end(); ++sh)
- { if(has_children(sh)) { rec_delete(sh->second.children()); } }
- delete sib;
-}
+ /** \brief Returns a range over the vertices of a simplex.
+ *
+ * The order in which the vertices are visited is the decreasing order for < on Vertex_handles,
+ * which is consequenlty
+ * equal to \f$(-1)^{\text{dim} \sigma}\f$ the canonical orientation on the simplex.
+ */
+ Simplex_vertex_range simplex_vertex_range(Simplex_handle sh) {
+ return Simplex_vertex_range(Simplex_vertex_iterator(this, sh),
+ Simplex_vertex_iterator(this));
+ }
+ /** \brief Returns a range over the simplices of the boundary of a simplex.
+ *
+ * The boundary of a simplex is the set of codimension \f$1\f$ subsimplices of the simplex.
+ * If the simplex is \f$[v_0, \cdots ,v_d]\f$, with canonical orientation
+ * induced by \f$ v_0 < \cdots < v_d \f$, the iterator enumerates the
+ * simplices of the boundary in the order:
+ * \f$[v_0,\cdots,\widehat{v_i},\cdots,v_d]\f$ for \f$i\f$ from \f$0\f$ to \f$d\f$,
+ * where \f$\widehat{v_i}\f$ means that the vertex \f$v_i\f$ is omitted.
+ *
+ * We note that the alternate sum of the simplices given by the iterator
+ * gives \f$(-1)^{\text{dim} \sigma}\f$ the chains corresponding to the boundary
+ * of the simplex.
+ *
+ * @param[in] sh Simplex for which the boundary is computed. */
+ Boundary_simplex_range boundary_simplex_range(Simplex_handle sh) {
+ return Boundary_simplex_range(Boundary_simplex_iterator(this, sh),
+ Boundary_simplex_iterator(this));
+ }
-public:
-/** \brief Returns the key associated to a simplex.
- *
- * The filtration must be initialized. */
-Simplex_key key ( Simplex_handle sh ) { return sh->second.key(); }
-/** \brief Returns the simplex associated to a key.
- *
- * The filtration must be initialized. */
-Simplex_handle simplex ( Simplex_key key ) { return filtration_vect_[key]; }
-/** \brief Returns the filtration value of a simplex.
- *
- * Called on the null_simplex, returns INFINITY. */
-Filtration_value filtration(Simplex_handle sh)
-{
- if(sh != null_simplex()) { return sh->second.filtration(); }
- else { return INFINITY; }//filtration(); }
-}
-/** \brief Returns an upper bound of the filtration values of the simplices. */
-Filtration_value filtration()
-{ return threshold_; }
-/** \brief Returns a Simplex_handle different from all Simplex_handles
- * associated to the simplices in the simplicial complex.
- *
- * One can call filtration(null_simplex()). */
-Simplex_handle null_simplex() { return Dictionary_it(NULL); }
-/** \brief Returns a key different for all keys associated to the
- * simplices of the simplicial complex. */
-Simplex_key null_key() { return -1; }
-/** \brief Returns a Vertex_handle different from all Vertex_handles associated
- * to the vertices of the simplicial complex. */
-Vertex_handle null_vertex() { return null_vertex_; }
-/** \brief Returns the number of vertices in the complex. */
-size_t num_vertices() { return root_.members_.size(); }
-/** \brief Returns the number of simplices in the complex.
- *
- * Does not count the empty simplex. */
-size_t num_simplices() { return num_simplices_; }
-
-/** \brief Returns the dimension of a simplex.
- *
- * Must be different from null_simplex().*/
-int dimension(Simplex_handle sh)
-{ Siblings * curr_sib = self_siblings(sh);
- int dim = 0;
- while(curr_sib != NULL) { ++dim; curr_sib = curr_sib->oncles(); }
- return dim-1;
-}
-/** \brief Returns an upper bound on the dimension of the simplicial complex. */
-int dimension()
-{ return dimension_; }
-
-/** \brief Returns true iff the node in the simplex tree pointed by
- * sh has children.*/
-bool has_children(Simplex_handle sh)
-{ return (sh->second.children()->parent() == sh->first); }
-
-/** \brief Given a range of Vertex_handles, returns the Simplex_handle
- * of the simplex in the simplicial complex containing the corresponding
- * vertices. Return null_simplex() if the simplex is not in the complex.
- *
- * The type RandomAccessVertexRange must be a range for which .begin() and
- * .end() return random access iterators, with <CODE>value_type</CODE>
- * <CODE>Vertex_handle</CODE>.
- */
-template <class RandomAccessVertexRange >
-Simplex_handle find(RandomAccessVertexRange & s)
-{
- if(s.begin() == s.end()) std::cerr << "Empty simplex \n";
-
- sort(s.begin(),s.end());
-
- Siblings * tmp_sib = &root_;
- Dictionary_it tmp_dit;
- Vertex_handle last = s[s.size()-1];
- for(auto v : s) {
- tmp_dit = tmp_sib->members_.find(v);
- if(tmp_dit == tmp_sib->members_.end()) { return null_simplex(); }
- if( !has_children(tmp_dit) && v != last) { return null_simplex(); }
- tmp_sib = tmp_dit->second.children();
- }
- return tmp_dit;
-}
+ /** @} */ // end range and iterator methods
+ /** \name Constructor/Destructor
+ * @{ */
+
+ /** \brief Constructs an empty simplex tree. */
+ Simplex_tree()
+ : null_vertex_(-1),
+ threshold_(0),
+ num_simplices_(0),
+ root_(NULL, null_vertex_),
+ filtration_vect_(),
+ dimension_(-1) {
+ }
+
+ /** \brief Destructor; deallocates the whole tree structure. */
+ ~Simplex_tree() {
+ for (auto sh = root_.members().begin(); sh != root_.members().end(); ++sh) {
+ if (has_children(sh)) {
+ rec_delete(sh->second.children());
+ }
+ }
+ }
+ /** @} */ // end constructor/destructor
+ private:
+ /** Recursive deletion. */
+ void rec_delete(Siblings * sib) {
+ for (auto sh = sib->members().begin(); sh != sib->members().end(); ++sh) {
+ if (has_children(sh)) {
+ rec_delete(sh->second.children());
+ }
+ }
+ delete sib;
+ }
+
+ public:
+ /** \brief Returns the key associated to a simplex.
+ *
+ * The filtration must be initialized. */
+ Simplex_key key(Simplex_handle sh) {
+ return sh->second.key();
+ }
+ /** \brief Returns the simplex associated to a key.
+ *
+ * The filtration must be initialized. */
+ Simplex_handle simplex(Simplex_key key) {
+ return filtration_vect_[key];
+ }
+ /** \brief Returns the filtration value of a simplex.
+ *
+ * Called on the null_simplex, returns INFINITY. */
+ Filtration_value filtration(Simplex_handle sh) {
+ if (sh != null_simplex()) {
+ return sh->second.filtration();
+ } else {
+ return INFINITY;
+ } // filtration(); }
+ }
+ /** \brief Returns an upper bound of the filtration values of the simplices. */
+ Filtration_value filtration() {
+ return threshold_;
+ }
+ /** \brief Returns a Simplex_handle different from all Simplex_handles
+ * associated to the simplices in the simplicial complex.
+ *
+ * One can call filtration(null_simplex()). */
+ Simplex_handle null_simplex() {
+ return Dictionary_it(NULL);
+ }
+ /** \brief Returns a key different for all keys associated to the
+ * simplices of the simplicial complex. */
+ Simplex_key null_key() {
+ return -1;
+ }
+ /** \brief Returns a Vertex_handle different from all Vertex_handles associated
+ * to the vertices of the simplicial complex. */
+ Vertex_handle null_vertex() {
+ return null_vertex_;
+ }
+ /** \brief Returns the number of vertices in the complex. */
+ size_t num_vertices() {
+ return root_.members_.size();
+ }
+ /** \brief Returns the number of simplices in the complex.
+ *
+ * Does not count the empty simplex. */
+ size_t num_simplices() {
+ return num_simplices_;
+ }
+
+ /** \brief Returns the dimension of a simplex.
+ *
+ * Must be different from null_simplex().*/
+ int dimension(Simplex_handle sh) {
+ Siblings * curr_sib = self_siblings(sh);
+ int dim = 0;
+ while (curr_sib != NULL) {
+ ++dim;
+ curr_sib = curr_sib->oncles();
+ }
+ return dim - 1;
+ }
+ /** \brief Returns an upper bound on the dimension of the simplicial complex. */
+ int dimension() {
+ return dimension_;
+ }
+
+ /** \brief Returns true iff the node in the simplex tree pointed by
+ * sh has children.*/
+ bool has_children(Simplex_handle sh) {
+ return (sh->second.children()->parent() == sh->first);
+ }
-/** \brief Returns the Simplex_handle corresponding to the 0-simplex
- * representing the vertex with Vertex_handle v. */
-Simplex_handle find_vertex(Vertex_handle v)
-{ return root_.members_.begin()+v; }
+ /** \brief Given a range of Vertex_handles, returns the Simplex_handle
+ * of the simplex in the simplicial complex containing the corresponding
+ * vertices. Return null_simplex() if the simplex is not in the complex.
+ *
+ * The type RandomAccessVertexRange must be a range for which .begin() and
+ * .end() return random access iterators, with <CODE>value_type</CODE>
+ * <CODE>Vertex_handle</CODE>.
+ */
+ template<class RandomAccessVertexRange>
+ Simplex_handle find(RandomAccessVertexRange & s) {
+ if (s.begin() == s.end())
+ std::cerr << "Empty simplex \n";
+
+ sort(s.begin(), s.end());
+
+ Siblings * tmp_sib = &root_;
+ Dictionary_it tmp_dit;
+ Vertex_handle last = s[s.size() - 1];
+ for (auto v : s) {
+ tmp_dit = tmp_sib->members_.find(v);
+ if (tmp_dit == tmp_sib->members_.end()) {
+ return null_simplex();
+ }
+ if (!has_children(tmp_dit) && v != last) {
+ return null_simplex();
+ }
+ tmp_sib = tmp_dit->second.children();
+ }
+ return tmp_dit;
+ }
+
+ /** \brief Returns the Simplex_handle corresponding to the 0-simplex
+ * representing the vertex with Vertex_handle v. */
+ Simplex_handle find_vertex(Vertex_handle v) {
+ return root_.members_.begin() + v;
+ }
//{ return root_.members_.find(v); }
+ /** \brief Insert a simplex, represented by a range of Vertex_handles, in the simplicial complex.
+ *
+ * @param[in] simplex range of Vertex_handles, representing the vertices of the new simplex
+ * @param[in] filtration the filtration value assigned to the new simplex.
+ * The return type is a pair. If the new simplex is inserted successfully (i.e. it was not in the
+ * simplicial complex yet) the bool is set to true and the Simplex_handle is the handle assigned
+ * to the new simplex.
+ * If the insertion fails (the simplex is already there), the bool is set to false. If the insertion
+ * fails and the simplex already in the complex has a filtration value strictly bigger than 'filtration',
+ * we assign this simplex with the new value 'filtration', and set the Simplex_handle filed of the
+ * output pair to the Simplex_handle of the simplex. Otherwise, we set the Simplex_handle part to
+ * null_simplex.
+ *
+ * All subsimplices do not necessary need to be already in the simplex tree to proceed to an
+ * insertion. However, the property of being a simplicial complex will be violated. This allows
+ * us to insert a stream of simplices contained in a simplicial complex without considering any
+ * order on them.
+ *
+ * The filtration value
+ * assigned to the new simplex must preserve the monotonicity of the filtration.
+ *
+ * The type RandomAccessVertexRange must be a range for which .begin() and
+ * .end() return random access iterators, with 'value_type' Vertex_handle. */
+ template<class RandomAccessVertexRange>
+ std::pair<Simplex_handle, bool> insert(RandomAccessVertexRange & simplex,
+ Filtration_value filtration) {
+ if (simplex.empty()) {
+ return std::pair<Simplex_handle, bool>(null_simplex(), true);
+ }
+
+ sort(simplex.begin(), simplex.end()); // must be sorted in increasing order
-/** \brief Insert a simplex, represented by a range of Vertex_handles, in the simplicial complex.
- *
- * @param[in] simplex range of Vertex_handles, representing the vertices of the new simplex
- * @param[in] filtration the filtration value assigned to the new simplex.
- * The return type is a pair. If the new simplex is inserted successfully (i.e. it was not in the
- * simplicial complex yet) the bool is set to true and the Simplex_handle is the handle assigned
- * to the new simplex.
- * If the insertion fails (the simplex is already there), the bool is set to false. If the insertion
- * fails and the simplex already in the complex has a filtration value strictly bigger than 'filtration',
- * we assign this simplex with the new value 'filtration', and set the Simplex_handle filed of the
- * output pair to the Simplex_handle of the simplex. Otherwise, we set the Simplex_handle part to
- * null_simplex.
- *
- * All subsimplices do not necessary need to be already in the simplex tree to proceed to an
- * insertion. However, the property of being a simplicial complex will be violated. This allows
- * us to insert a stream of simplices contained in a simplicial complex without considering any
- * order on them.
- *
- * The filtration value
- * assigned to the new simplex must preserve the monotonicity of the filtration.
- *
- * The type RandomAccessVertexRange must be a range for which .begin() and
- * .end() return random access iterators, with 'value_type' Vertex_handle. */
-template <class RandomAccessVertexRange >
-std::pair< Simplex_handle, bool >
-insert ( RandomAccessVertexRange & simplex
- , Filtration_value filtration )
-{
- if(simplex.empty()) { return std::pair< Simplex_handle, bool >(null_simplex(),true); }
-
- sort(simplex.begin(),simplex.end()); //must be sorted in increasing order
-
- Siblings * curr_sib = &root_;
- std::pair< Simplex_handle, bool > res_insert;
- typename RandomAccessVertexRange::iterator vi;
- for( vi = simplex.begin(); vi != simplex.end()-1; ++vi )
- {
- res_insert = curr_sib->members_.emplace(*vi, Node(curr_sib,filtration));
- if(!(has_children(res_insert.first)))
- { res_insert.first->second.assign_children( new Siblings(curr_sib, *vi)); }
- curr_sib = res_insert.first->second.children();
- }
- res_insert = curr_sib->members_.emplace(*vi, Node(curr_sib,filtration));
- if(!res_insert.second) //if already in the complex
- {
- if(res_insert.first->second.filtration() > filtration) //if filtration value modified
- {
+ Siblings * curr_sib = &root_;
+ std::pair<Simplex_handle, bool> res_insert;
+ typename RandomAccessVertexRange::iterator vi;
+ for (vi = simplex.begin(); vi != simplex.end() - 1; ++vi) {
+ res_insert = curr_sib->members_.emplace(*vi, Node(curr_sib, filtration));
+ if (!(has_children(res_insert.first))) {
+ res_insert.first->second.assign_children(new Siblings(curr_sib, *vi));
+ }
+ curr_sib = res_insert.first->second.children();
+ }
+ res_insert = curr_sib->members_.emplace(*vi, Node(curr_sib, filtration));
+ if (!res_insert.second) { // if already in the complex
+ if (res_insert.first->second.filtration() > filtration) { // if filtration value modified
res_insert.first->second.assign_filtration(filtration);
return res_insert;
}
- return std::pair< Simplex_handle, bool > (null_simplex(),false);// if filtration value unchanged
+ return std::pair<Simplex_handle, bool>(null_simplex(), false); // if filtration value unchanged
}
- //otherwise the insertion has succeeded
- return res_insert;
-}
+ // otherwise the insertion has succeeded
+ return res_insert;
+ }
-/** \brief Assign a value 'key' to the key of the simplex
- * represented by the Simplex_handle 'sh'. */
-void assign_key(Simplex_handle sh, Simplex_key key)
-{ sh->second.assign_key(key);}
+ /** \brief Assign a value 'key' to the key of the simplex
+ * represented by the Simplex_handle 'sh'. */
+ void assign_key(Simplex_handle sh, Simplex_key key) {
+ sh->second.assign_key(key);
+ }
-public:
-/** Returns the two Simplex_handle corresponding to the endpoints of
- * and edge. sh must point to a 1-dimensional simplex. This is an
- * optimized version of the boundary computation. */
-std::pair<Simplex_handle,Simplex_handle> endpoints(Simplex_handle sh)
-{ return std::pair<Simplex_handle,Simplex_handle>(root_.members_.find(sh->first)
- , root_.members_.find(self_siblings(sh)->parent()) ); }
+ public:
+ /** Returns the two Simplex_handle corresponding to the endpoints of
+ * and edge. sh must point to a 1-dimensional simplex. This is an
+ * optimized version of the boundary computation. */
+ std::pair<Simplex_handle, Simplex_handle> endpoints(Simplex_handle sh) {
+ return std::pair<Simplex_handle, Simplex_handle>(
+ root_.members_.find(sh->first),
+ root_.members_.find(self_siblings(sh)->parent()));
+ }
-/** Returns the Siblings containing a simplex.*/
-Siblings * self_siblings(Simplex_handle sh)
-{ if(sh->second.children()->parent() == sh->first) return sh->second.children()->oncles();
- else return sh->second.children(); }
+ /** Returns the Siblings containing a simplex.*/
+ Siblings * self_siblings(Simplex_handle sh) {
+ if (sh->second.children()->parent() == sh->first)
+ return sh->second.children()->oncles();
+ else
+ return sh->second.children();
+ }
// void display_simplex(Simplex_handle sh)
// {
-// std::cout << " " << "[" << filtration(sh) << "] ";
-// for( auto vertex : simplex_vertex_range(sh) )
-// { std::cout << vertex << " "; }
+// std::cout << " " << "[" << filtration(sh) << "] ";
+// for( auto vertex : simplex_vertex_range(sh) )
+// { std::cout << vertex << " "; }
// }
- // void print(Simplex_handle sh, std::ostream& os = std::cout)
- // { for(auto v : simplex_vertex_range(sh)) {os << v << " ";}
- // os << std::endl; }
-
-public:
-/** Returns a pointer to the root nodes of the simplex tree. */
-Siblings * root() { return &root_; }
-
-
-
-
-public:
-/** Set an upper bound for the filtration values. */
-void set_filtration(Filtration_value fil)
-{ threshold_ = fil; }
-/** Set a number of simplices for the simplicial complex. */
-void set_num_simplices(size_t num_simplices)
-{ num_simplices_ = num_simplices; }
-/** Set a dimension for the simplicial complex. */
-void set_dimension(int dimension)
-{ dimension_ = dimension; }
-
-public:
-/** \brief Initializes the filtrations, i.e. sort the
- * simplices according to their order in the filtration and initializes all Simplex_keys.
- *
- * After calling this method, filtration_simplex_range() becomes valid, and each simplex is
- * assigned a Simplex_key corresponding to its order in the filtration (from 0 to m-1 for a
- * simplicial complex with m simplices).
- *
- * The use of a depth-first traversal of the simplex tree, provided by
- * complex_simplex_range(), combined with
- * a stable sort is meant to optimize the order of simplices with same
- * filtration value. The heuristic consists in inserting the cofaces of a
- * simplex as soon as possible.
- *
- * Will be automatically called when calling filtration_simplex_range()
- * if the filtration has never been initialized yet. */
-void initialize_filtration()
-{
- filtration_vect_.clear();
- filtration_vect_.reserve(num_simplices());
- for(auto cpx_it = complex_simplex_range().begin();
- cpx_it != complex_simplex_range().end(); ++cpx_it) { filtration_vect_.push_back(*cpx_it); }
-
-//the stable sort ensures the ordering heuristic
- std::stable_sort(filtration_vect_.begin(),filtration_vect_.end(),is_before_in_filtration(this));
-}
+ // void print(Simplex_handle sh, std::ostream& os = std::cout)
+ // { for(auto v : simplex_vertex_range(sh)) {os << v << " ";}
+ // os << std::endl; }
-private:
-/** \brief Returns true iff the list of vertices of sh1
- * is smaller than the list of vertices of sh2 w.r.t.
- * lexicographic order on the lists read in reverse.
- *
- * It defines a StrictWeakOrdering on simplices. The Simplex_vertex_iterators
- * must traverse the Vertex_handle in decreasing order. Reverse lexicographic order satisfy
- * the property that a subsimplex of a simplex is always strictly smaller with this order. */
-bool reverse_lexicographic_order(Simplex_handle sh1, Simplex_handle sh2)
-{
- Simplex_vertex_range rg1 = simplex_vertex_range(sh1);
- Simplex_vertex_range rg2 = simplex_vertex_range(sh2);
- Simplex_vertex_iterator it1 = rg1.begin();
- Simplex_vertex_iterator it2 = rg2.begin();
- while(it1 != rg1.end() && it2 != rg2.end())
- {
- if(*it1 == *it2) {++it1; ++it2;}
- else { return *it1 < *it2; }
- }
- return ( (it1 == rg1.end()) && (it2 != rg2.end()) );
-}
-/** \brief StrictWeakOrdering, for the simplices, defined by the filtration.
- *
- * It corresponds to the partial order
- * induced by the filtration values, with ties resolved using reverse lexicographic order.
- * Reverse lexicographic order has the property to always consider the subsimplex of a simplex
- * to be smaller. The filtration function must be monotonic. */
-struct is_before_in_filtration {
- is_before_in_filtration(Simplex_tree * st) : st_(st) {}
-
- bool operator()( const Simplex_handle sh1,
- const Simplex_handle sh2 ) const
- {
- if(st_->filtration(sh1) != st_->filtration(sh2))
- { return st_->filtration(sh1) < st_->filtration(sh2); }
-
- return st_->reverse_lexicographic_order(sh1,sh2); //is sh1 a proper subface of sh2
- }
-
- Simplex_tree * st_;
-};
+ public:
+ /** Returns a pointer to the root nodes of the simplex tree. */
+ Siblings * root() {
+ return &root_;
+ }
-public:
-/** \brief Inserts a 1-skeleton in an empty Simplex_tree.
- *
- * The Simplex_tree must contain no simplex when the method is
- * called.
- *
- * Inserts all vertices and edges given by a OneSkeletonGraph.
- * OneSkeletonGraph must be a model of boost::AdjacencyGraph,
- * boost::EdgeListGraph and boost::PropertyGraph.
- *
- * The vertex filtration value is accessible through the property tag
- * vertex_filtration_t.
- * The edge filtration value is accessible through the property tag
- * edge_filtration_t.
- *
- * boost::graph_traits<OneSkeletonGraph>::vertex_descriptor
- * must be Vertex_handle.
- * boost::graph_traits<OneSkeletonGraph>::directed_category
- * must be undirected_tag. */
- template< class OneSkeletonGraph >
- void insert_graph( OneSkeletonGraph & skel_graph )
- {
- assert(num_simplices() == 0); //the simplex tree must be empty
-
- if(boost::num_vertices(skel_graph) == 0) { return; }
- if(num_edges(skel_graph) == 0) { dimension_ = 0; }
- else { dimension_ = 1; }
-
- num_simplices_ = boost::num_vertices(skel_graph) + boost::num_edges(skel_graph);
- root_.members_.reserve(boost::num_vertices(skel_graph));
-
- typename boost::graph_traits<OneSkeletonGraph>::vertex_iterator v_it, v_it_end;
- for(tie(v_it,v_it_end) = boost::vertices(skel_graph);
- v_it != v_it_end; ++v_it)
- {
- root_.members_.emplace_hint( root_.members_.end()
- , *v_it
- , Node(&root_
- ,boost::get( vertex_filtration_t()
- , skel_graph
- , *v_it) ) );
- }
- typename boost::graph_traits<OneSkeletonGraph>::edge_iterator e_it, e_it_end;
- for(tie(e_it,e_it_end) = boost::edges(skel_graph);
- e_it != e_it_end; ++e_it)
- {
- auto u = source( *e_it, skel_graph ); auto v = target( *e_it, skel_graph );
- if( u < v ) // count edges only once { std::swap(u,v); } // u < v
- {
- auto sh = find_vertex(u);
- if(! has_children(sh) ) { sh->second.assign_children(new Siblings(&root_,sh->first)); }
-
- sh->second.children()->members().emplace ( v
- , Node( sh->second.children()
- , boost::get( edge_filtration_t()
- , skel_graph
- , *e_it) ));
+ public:
+ /** Set an upper bound for the filtration values. */
+ void set_filtration(Filtration_value fil) {
+ threshold_ = fil;
+ }
+ /** Set a number of simplices for the simplicial complex. */
+ void set_num_simplices(size_t num_simplices) {
+ num_simplices_ = num_simplices;
+ }
+ /** Set a dimension for the simplicial complex. */
+ void set_dimension(int dimension) {
+ dimension_ = dimension;
+ }
+
+ public:
+ /** \brief Initializes the filtrations, i.e. sort the
+ * simplices according to their order in the filtration and initializes all Simplex_keys.
+ *
+ * After calling this method, filtration_simplex_range() becomes valid, and each simplex is
+ * assigned a Simplex_key corresponding to its order in the filtration (from 0 to m-1 for a
+ * simplicial complex with m simplices).
+ *
+ * The use of a depth-first traversal of the simplex tree, provided by
+ * complex_simplex_range(), combined with
+ * a stable sort is meant to optimize the order of simplices with same
+ * filtration value. The heuristic consists in inserting the cofaces of a
+ * simplex as soon as possible.
+ *
+ * Will be automatically called when calling filtration_simplex_range()
+ * if the filtration has never been initialized yet. */
+ void initialize_filtration() {
+ filtration_vect_.clear();
+ filtration_vect_.reserve(num_simplices());
+ for (auto cpx_it = complex_simplex_range().begin();
+ cpx_it != complex_simplex_range().end(); ++cpx_it) {
+ filtration_vect_.push_back(*cpx_it);
}
+
+ // the stable sort ensures the ordering heuristic
+ std::stable_sort(filtration_vect_.begin(), filtration_vect_.end(),
+ is_before_in_filtration(this));
}
-}
-/** \brief Expands the Simplex_tree containing only its one skeleton
- * until dimension max_dim.
- *
- * The expanded simplicial complex until dimension \f$d\f$
- * attached to a graph \f$G\f$ is the maximal simplicial complex of
- * dimension at most \f$d\f$ admitting the graph \f$G\f$ as \f$1\f$-skeleton.
- * The filtration value assigned to a simplex is the maximal filtration
- * value of one of its edges.
- *
- * The Simplex_tree must contain no simplex of dimension bigger than
- * 1 when calling the method. */
-void expansion(int max_dim)
-{
- dimension_ = max_dim;
- for(Dictionary_it root_it = root_.members_.begin();
- root_it != root_.members_.end(); ++root_it)
- {
- if(has_children(root_it))
- { siblings_expansion(root_it->second.children(), max_dim-1); }
- }
- dimension_ = max_dim - dimension_;
-}
-private:
-/** \brief Recursive expansion of the simplex tree.*/
-void siblings_expansion ( Siblings * siblings, //must contain elements
- int k)
-{
- if(dimension_ > k) { dimension_ = k; }
- if(k == 0) return;
- Dictionary_it next = siblings->members().begin(); ++next;
-
- static std::vector< std::pair<Vertex_handle , Node> > inter; // static, not thread-safe.
- for(Dictionary_it s_h = siblings->members().begin();
- s_h != siblings->members().end(); ++s_h,++next)
- {
- Simplex_handle root_sh = find_vertex(s_h->first);
- if(has_children(root_sh))
- {
- intersection(inter, //output intersection
- next, //begin
- siblings->members().end(),//end
- root_sh->second.children()->members().begin(),
- root_sh->second.children()->members().end(),
- s_h->second.filtration());
- if(inter.size() != 0)
- { this->num_simplices_ += inter.size();
- Siblings * new_sib = new Siblings(siblings, //oncles
- s_h->first, //parent
- inter); //boost::container::ordered_unique_range_t
- inter.clear();
- s_h->second.assign_children(new_sib);
- siblings_expansion(new_sib,k-1);
+
+ private:
+ /** \brief Returns true iff the list of vertices of sh1
+ * is smaller than the list of vertices of sh2 w.r.t.
+ * lexicographic order on the lists read in reverse.
+ *
+ * It defines a StrictWeakOrdering on simplices. The Simplex_vertex_iterators
+ * must traverse the Vertex_handle in decreasing order. Reverse lexicographic order satisfy
+ * the property that a subsimplex of a simplex is always strictly smaller with this order. */
+ bool reverse_lexicographic_order(Simplex_handle sh1, Simplex_handle sh2) {
+ Simplex_vertex_range rg1 = simplex_vertex_range(sh1);
+ Simplex_vertex_range rg2 = simplex_vertex_range(sh2);
+ Simplex_vertex_iterator it1 = rg1.begin();
+ Simplex_vertex_iterator it2 = rg2.begin();
+ while (it1 != rg1.end() && it2 != rg2.end()) {
+ if (*it1 == *it2) {
+ ++it1;
+ ++it2;
+ } else {
+ return *it1 < *it2;
}
- else { s_h->second.assign_children(siblings); //ensure the children property
- inter.clear();}
}
+ return ((it1 == rg1.end()) && (it2 != rg2.end()));
}
-}
-/** \brief Intersects Dictionary 1 [begin1;end1) with Dictionary 2 [begin2,end2)
- * and assigns the maximal possible Filtration_value to the Nodes. */
-void intersection ( std::vector< std::pair< Vertex_handle, Node > > & intersection
- , Dictionary_it begin1
- , Dictionary_it end1
- , Dictionary_it begin2
- , Dictionary_it end2
- , Filtration_value filtration )
-{
- if(begin1 == end1 || begin2 == end2) return;// 0;
- while( true )
- {
- if( begin1->first == begin2->first )
- {
- intersection.push_back(std::pair< Vertex_handle, Node >( begin1->first,
- Node( NULL
- , maximum( begin1->second.filtration()
- , begin2->second.filtration()
- , filtration )
- )
- )
- );
- ++begin1; ++begin2;
- if( begin1 == end1 || begin2 == end2 ) return;
+ /** \brief StrictWeakOrdering, for the simplices, defined by the filtration.
+ *
+ * It corresponds to the partial order
+ * induced by the filtration values, with ties resolved using reverse lexicographic order.
+ * Reverse lexicographic order has the property to always consider the subsimplex of a simplex
+ * to be smaller. The filtration function must be monotonic. */
+ struct is_before_in_filtration {
+ is_before_in_filtration(Simplex_tree * st)
+ : st_(st) {
}
- else
- {
- if( begin1->first < begin2->first )
- { ++begin1; if(begin1 == end1) return; }
- else { ++begin2; if(begin2 == end2) return;}
+
+ bool operator()(const Simplex_handle sh1, const Simplex_handle sh2) const {
+ if (st_->filtration(sh1) != st_->filtration(sh2)) {
+ return st_->filtration(sh1) < st_->filtration(sh2);
+ }
+
+ return st_->reverse_lexicographic_order(sh1, sh2); // is sh1 a proper subface of sh2
+ }
+
+ Simplex_tree * st_;
+ };
+
+ public:
+ /** \brief Inserts a 1-skeleton in an empty Simplex_tree.
+ *
+ * The Simplex_tree must contain no simplex when the method is
+ * called.
+ *
+ * Inserts all vertices and edges given by a OneSkeletonGraph.
+ * OneSkeletonGraph must be a model of boost::AdjacencyGraph,
+ * boost::EdgeListGraph and boost::PropertyGraph.
+ *
+ * The vertex filtration value is accessible through the property tag
+ * vertex_filtration_t.
+ * The edge filtration value is accessible through the property tag
+ * edge_filtration_t.
+ *
+ * boost::graph_traits<OneSkeletonGraph>::vertex_descriptor
+ * must be Vertex_handle.
+ * boost::graph_traits<OneSkeletonGraph>::directed_category
+ * must be undirected_tag. */
+ template<class OneSkeletonGraph>
+ void insert_graph(OneSkeletonGraph & skel_graph) {
+ assert(num_simplices() == 0); // the simplex tree must be empty
+
+ if (boost::num_vertices(skel_graph) == 0) {
+ return;
+ }
+ if (num_edges(skel_graph) == 0) {
+ dimension_ = 0;
+ } else {
+ dimension_ = 1;
+ }
+
+ num_simplices_ = boost::num_vertices(skel_graph)
+ + boost::num_edges(skel_graph);
+ root_.members_.reserve(boost::num_vertices(skel_graph));
+
+ typename boost::graph_traits<OneSkeletonGraph>::vertex_iterator v_it,
+ v_it_end;
+ for (tie(v_it, v_it_end) = boost::vertices(skel_graph); v_it != v_it_end;
+ ++v_it) {
+ root_.members_.emplace_hint(
+ root_.members_.end(), *v_it,
+ Node(&root_, boost::get(vertex_filtration_t(), skel_graph, *v_it)));
+ }
+ typename boost::graph_traits<OneSkeletonGraph>::edge_iterator e_it,
+ e_it_end;
+ for (tie(e_it, e_it_end) = boost::edges(skel_graph); e_it != e_it_end;
+ ++e_it) {
+ auto u = source(*e_it, skel_graph);
+ auto v = target(*e_it, skel_graph);
+ if (u < v) { // count edges only once { std::swap(u,v); } // u < v
+ auto sh = find_vertex(u);
+ if (!has_children(sh)) {
+ sh->second.assign_children(new Siblings(&root_, sh->first));
+ }
+
+ sh->second.children()->members().emplace(
+ v,
+ Node(sh->second.children(),
+ boost::get(edge_filtration_t(), skel_graph, *e_it)));
+ }
}
}
-}
-/** Maximum over 3 values.*/
-Filtration_value maximum( Filtration_value a,
- Filtration_value b,
- Filtration_value c )
-{ Filtration_value max = ( a < b ) ? b : a;
- return ( ( max < c ) ? c : max ); }
-
-public:
-/** \brief Write the hasse diagram of the simplicial complex in os.
- *
- * Each row in the file correspond to a simplex. A line is written:
- * dim idx_1 ... idx_k fil where dim is the dimension of the simplex,
- * idx_1 ... idx_k are the row index (starting from 0) of the simplices of the boundary
- * of the simplex, and fil is its filtration value. */
-void print_hasse(std::ostream & os)
-{
- os << num_simplices() << " " << std::endl;
- for(auto sh : filtration_simplex_range(Indexing_tag()))
- {
- os << dimension(sh) << " ";
- for(auto b_sh : boundary_simplex_range(sh)) { os << key(b_sh) << " "; }
- os << filtration(sh) << " \n";
+ /** \brief Expands the Simplex_tree containing only its one skeleton
+ * until dimension max_dim.
+ *
+ * The expanded simplicial complex until dimension \f$d\f$
+ * attached to a graph \f$G\f$ is the maximal simplicial complex of
+ * dimension at most \f$d\f$ admitting the graph \f$G\f$ as \f$1\f$-skeleton.
+ * The filtration value assigned to a simplex is the maximal filtration
+ * value of one of its edges.
+ *
+ * The Simplex_tree must contain no simplex of dimension bigger than
+ * 1 when calling the method. */
+ void expansion(int max_dim) {
+ dimension_ = max_dim;
+ for (Dictionary_it root_it = root_.members_.begin();
+ root_it != root_.members_.end(); ++root_it) {
+ if (has_children(root_it)) {
+ siblings_expansion(root_it->second.children(), max_dim - 1);
+ }
+ }
+ dimension_ = max_dim - dimension_;
+ }
+
+ private:
+ /** \brief Recursive expansion of the simplex tree.*/
+ void siblings_expansion(Siblings * siblings, // must contain elements
+ int k) {
+ if (dimension_ > k) {
+ dimension_ = k;
+ }
+ if (k == 0)
+ return;
+ Dictionary_it next = siblings->members().begin();
+ ++next;
+
+ static std::vector<std::pair<Vertex_handle, Node> > inter; // static, not thread-safe.
+ for (Dictionary_it s_h = siblings->members().begin();
+ s_h != siblings->members().end(); ++s_h, ++next) {
+ Simplex_handle root_sh = find_vertex(s_h->first);
+ if (has_children(root_sh)) {
+ intersection(
+ inter, // output intersection
+ next, // begin
+ siblings->members().end(), // end
+ root_sh->second.children()->members().begin(),
+ root_sh->second.children()->members().end(),
+ s_h->second.filtration());
+ if (inter.size() != 0) {
+ this->num_simplices_ += inter.size();
+ Siblings * new_sib = new Siblings(siblings, // oncles
+ s_h->first, // parent
+ inter); // boost::container::ordered_unique_range_t
+ inter.clear();
+ s_h->second.assign_children(new_sib);
+ siblings_expansion(new_sib, k - 1);
+ } else {
+ s_h->second.assign_children(siblings); // ensure the children property
+ inter.clear();
+ }
+ }
+ }
+ }
+ /** \brief Intersects Dictionary 1 [begin1;end1) with Dictionary 2 [begin2,end2)
+ * and assigns the maximal possible Filtration_value to the Nodes. */
+ void intersection(std::vector<std::pair<Vertex_handle, Node> > & intersection,
+ Dictionary_it begin1, Dictionary_it end1,
+ Dictionary_it begin2, Dictionary_it end2,
+ Filtration_value filtration) {
+ if (begin1 == end1 || begin2 == end2)
+ return; // 0;
+ while (true) {
+ if (begin1->first == begin2->first) {
+ intersection.push_back(
+ std::pair<Vertex_handle, Node>(
+ begin1->first,
+ Node(
+ NULL,
+ maximum(begin1->second.filtration(),
+ begin2->second.filtration(), filtration))));
+ ++begin1;
+ ++begin2;
+ if (begin1 == end1 || begin2 == end2)
+ return;
+ } else {
+ if (begin1->first < begin2->first) {
+ ++begin1;
+ if (begin1 == end1)
+ return;
+ } else {
+ ++begin2;
+ if (begin2 == end2)
+ return;
+ }
+ }
+ }
+ }
+ /** Maximum over 3 values.*/
+ Filtration_value maximum(Filtration_value a, Filtration_value b,
+ Filtration_value c) {
+ Filtration_value max = (a < b) ? b : a;
+ return ((max < c) ? c : max);
}
-}
-private:
+ public:
+ /** \brief Write the hasse diagram of the simplicial complex in os.
+ *
+ * Each row in the file correspond to a simplex. A line is written:
+ * dim idx_1 ... idx_k fil where dim is the dimension of the simplex,
+ * idx_1 ... idx_k are the row index (starting from 0) of the simplices of the boundary
+ * of the simplex, and fil is its filtration value. */
+ void print_hasse(std::ostream & os) {
+ os << num_simplices() << " " << std::endl;
+ for (auto sh : filtration_simplex_range(Indexing_tag())) {
+ os << dimension(sh) << " ";
+ for (auto b_sh : boundary_simplex_range(sh)) {
+ os << key(b_sh) << " ";
+ }
+ os << filtration(sh) << " \n";
+ }
+ }
+
+ private:
Vertex_handle null_vertex_;
-/** \brief Upper bound on the filtration values of the simplices.*/
- Filtration_value threshold_ ;
-/** \brief Total number of simplices in the complex, without the empty simplex.*/
- size_t num_simplices_ ;
-/** \brief Set of simplex tree Nodes representing the vertices.*/
- Siblings root_ ;
-/** \brief Simplices ordered according to a filtration.*/
- std::vector< Simplex_handle > filtration_vect_ ;
-/** \brief Upper bound on the dimension of the simplicial complex.*/
- int dimension_ ;
+ /** \brief Upper bound on the filtration values of the simplices.*/
+ Filtration_value threshold_;
+ /** \brief Total number of simplices in the complex, without the empty simplex.*/
+ size_t num_simplices_;
+ /** \brief Set of simplex tree Nodes representing the vertices.*/
+ Siblings root_;
+ /** \brief Simplices ordered according to a filtration.*/
+ std::vector<Simplex_handle> filtration_vect_;
+ /** \brief Upper bound on the dimension of the simplicial complex.*/
+ int dimension_;
};
// Print a Simplex_tree in os.
-template< typename T1, typename T2, typename T3 >
-std::ostream& operator<< ( std::ostream & os
- , Simplex_tree< T1, T2, T3 > & st )
-{
- for(auto sh : st.filtration_simplex_range())
- {
- os << st.dimension(sh) << " ";
- for(auto v : st.simplex_vertex_range(sh))
- { os << v << " ";}
- os << st.filtration(sh) << "\n";// TODO: VR - why adding the key ?? not read ?? << " " << st.key(sh) << " \n";
+template<typename T1, typename T2, typename T3>
+std::ostream& operator<<(std::ostream & os, Simplex_tree<T1, T2, T3> & st) {
+ for (auto sh : st.filtration_simplex_range()) {
+ os << st.dimension(sh) << " ";
+ for (auto v : st.simplex_vertex_range(sh)) {
+ os << v << " ";
}
+ os << st.filtration(sh) << "\n"; // TODO(VR): why adding the key ?? not read ?? << " " << st.key(sh) << " \n";
+ }
return os;
}
-template< typename T1, typename T2, typename T3 >
-std::istream& operator>> ( std::istream & is
- , Simplex_tree< T1, T2, T3 > & st )
-{
- //assert(st.num_simplices() == 0);
-
- std::vector< typename Simplex_tree<T1,T2,T3>::Vertex_handle > simplex;
- typename Simplex_tree<T1,T2,T3>::Filtration_value fil;
- typename Simplex_tree<T1,T2,T3>::Filtration_value max_fil = 0;
- int max_dim = -1;
- size_t num_simplices = 0;
- while(read_simplex( is, simplex, fil )) //read all simplices in the file as a list of vertices
- {
+template<typename T1, typename T2, typename T3>
+std::istream& operator>>(std::istream & is, Simplex_tree<T1, T2, T3> & st) {
+ // assert(st.num_simplices() == 0);
+
+ std::vector<typename Simplex_tree<T1, T2, T3>::Vertex_handle> simplex;
+ typename Simplex_tree<T1, T2, T3>::Filtration_value fil;
+ typename Simplex_tree<T1, T2, T3>::Filtration_value max_fil = 0;
+ int max_dim = -1;
+ size_t num_simplices = 0;
+ while (read_simplex(is, simplex, fil)) { // read all simplices in the file as a list of vertices
++num_simplices;
- int dim = (int)simplex.size() - 1; // Warning : simplex_size needs to be casted in int - Can be 0
- if(max_dim < dim) { max_dim = dim;}
- if(max_fil < fil) { max_fil = fil;}
- st.insert(simplex,fil); //insert every simplex in the simplex tree
+ int dim = (int) simplex.size() - 1; // Warning : simplex_size needs to be casted in int - Can be 0
+ if (max_dim < dim) {
+ max_dim = dim;
+ }
+ if (max_fil < fil) {
+ max_fil = fil;
+ }
+ st.insert(simplex, fil); // insert every simplex in the simplex tree
simplex.clear();
}
st.set_num_simplices(num_simplices);
@@ -803,8 +849,7 @@ std::istream& operator>> ( std::istream & is
return is;
}
-/** @} */ //end defgroup simplex_tree
-
-} // namespace GUDHI
+/** @} */ // end defgroup simplex_tree
+} // namespace Gudhi
-#endif // GUDHI_FLAG_SIMPLEX_TREE_H
+#endif // GUDHI_SIMPLEX_TREE_H
diff --git a/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_iterators.h b/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_iterators.h
index 6441a80a..54d4d296 100644
--- a/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_iterators.h
+++ b/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_iterators.h
@@ -1,287 +1,305 @@
- /* This file is part of the Gudhi Library. The Gudhi library
- * (Geometric Understanding in Higher Dimensions) is a generic C++
- * library for computational topology.
- *
- * Author(s): Clément Maria
- *
- * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
+/* This file is part of the Gudhi Library. The Gudhi library
+ * (Geometric Understanding in Higher Dimensions) is a generic C++
+ * library for computational topology.
+ *
+ * Author(s): Clément Maria
+ *
+ * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
#ifndef SIMPLEX_TREE_ITERATORS_H
#define SIMPLEX_TREE_ITERATORS_H
-#include "boost/iterator/iterator_facade.hpp"
+#include <vector>
+#include <boost/iterator/iterator_facade.hpp>
-namespace Gudhi{
+namespace Gudhi {
/* \addtogroup simplex_tree
- * Iterators and range types for the Simplex_tree.
- * @{
- */
+ * Iterators and range types for the Simplex_tree.
+ * @{
+ */
/* \brief Iterator over the vertices of a simplex
- * in a SimplexTree.
- *
- * Forward iterator, 'value_type' is SimplexTree::Vertex_handle.*/
-template < class SimplexTree >
-class Simplex_tree_simplex_vertex_iterator
-: public boost::iterator_facade < Simplex_tree_simplex_vertex_iterator < SimplexTree >
- , typename SimplexTree::Vertex_handle const
- , boost::forward_traversal_tag
- , typename SimplexTree::Vertex_handle const
- >
-{
-public:
+ * in a SimplexTree.
+ *
+ * Forward iterator, 'value_type' is SimplexTree::Vertex_handle.*/
+template<class SimplexTree>
+class Simplex_tree_simplex_vertex_iterator : public boost::iterator_facade<
+ Simplex_tree_simplex_vertex_iterator<SimplexTree>,
+ typename SimplexTree::Vertex_handle const, boost::forward_traversal_tag,
+ typename SimplexTree::Vertex_handle const> {
+ public:
typedef typename SimplexTree::Simplex_handle Simplex_handle;
- typedef typename SimplexTree::Siblings Siblings;
- typedef typename SimplexTree::Vertex_handle Vertex_handle;
+ typedef typename SimplexTree::Siblings Siblings;
+ typedef typename SimplexTree::Vertex_handle Vertex_handle;
- Simplex_tree_simplex_vertex_iterator (SimplexTree * st) : //any end() iterator
- sib_(NULL), v_(st->null_vertex()) {}
+ Simplex_tree_simplex_vertex_iterator(SimplexTree * st)
+ : // any end() iterator
+ sib_(NULL),
+ v_(st->null_vertex()) {
+ }
- Simplex_tree_simplex_vertex_iterator( SimplexTree * st,
- Simplex_handle sh) :
- sib_(st->self_siblings(sh)),
- v_(sh->first) {}
+ Simplex_tree_simplex_vertex_iterator(SimplexTree * st, Simplex_handle sh)
+ : sib_(st->self_siblings(sh)),
+ v_(sh->first) {
+ }
-private:
+ private:
friend class boost::iterator_core_access;
- bool equal (Simplex_tree_simplex_vertex_iterator const &other) const
- { return sib_ == other.sib_ && v_ == other.v_; }
+ bool equal(Simplex_tree_simplex_vertex_iterator const &other) const {
+ return sib_ == other.sib_ && v_ == other.v_;
+ }
- Vertex_handle const& dereference() const { return v_; }
+ Vertex_handle const& dereference() const {
+ return v_;
+ }
- void increment () { v_ = sib_->parent(); sib_ = sib_->oncles();}
+ void increment() {
+ v_ = sib_->parent();
+ sib_ = sib_->oncles();
+ }
- Siblings * sib_;
- Vertex_handle v_;
+ Siblings * sib_;
+ Vertex_handle v_;
};
/*---------------------------------------------------------------------------*/
/* \brief Iterator over the simplices of the boundary of a
- * simplex.
- *
- * Forward iterator, value_type is SimplexTree::Simplex_handle.*/
-template < class SimplexTree >
-class Simplex_tree_boundary_simplex_iterator
-: public boost::iterator_facade < Simplex_tree_boundary_simplex_iterator< SimplexTree >
- , typename SimplexTree::Simplex_handle const
- , boost::forward_traversal_tag
- >
-{
-public:
- typedef typename SimplexTree::Simplex_handle Simplex_handle;
- typedef typename SimplexTree::Vertex_handle Vertex_handle;
- typedef typename SimplexTree::Siblings Siblings;
+ * simplex.
+ *
+ * Forward iterator, value_type is SimplexTree::Simplex_handle.*/
+template<class SimplexTree>
+class Simplex_tree_boundary_simplex_iterator : public boost::iterator_facade<
+ Simplex_tree_boundary_simplex_iterator<SimplexTree>,
+ typename SimplexTree::Simplex_handle const, boost::forward_traversal_tag> {
+ public:
+ typedef typename SimplexTree::Simplex_handle Simplex_handle;
+ typedef typename SimplexTree::Vertex_handle Vertex_handle;
+ typedef typename SimplexTree::Siblings Siblings;
// any end() iterator
- Simplex_tree_boundary_simplex_iterator(SimplexTree * st) :
- last_(st->null_vertex()), sib_(NULL) {}
-
- Simplex_tree_boundary_simplex_iterator ( SimplexTree * st,
- Simplex_handle sh ) :
- suffix_(), st_(st)
- {
- last_ = sh->first;
+ Simplex_tree_boundary_simplex_iterator(SimplexTree * st)
+ : last_(st->null_vertex()),
+ sib_(NULL) {
+ }
+
+ Simplex_tree_boundary_simplex_iterator(SimplexTree * st, Simplex_handle sh)
+ : suffix_(),
+ st_(st) {
+ last_ = sh->first;
Siblings * sib = st->self_siblings(sh);
- next_ = sib->parent();
- sib_ = sib->oncles(); /* \todo check if NULL*/
- if(sib_ != NULL) { sh_ = sib_->find(next_); }
- else { last_ = st->null_vertex(); } // vertex: == end()
+ next_ = sib->parent();
+ sib_ = sib->oncles(); /* \todo check if NULL*/
+ if (sib_ != NULL) {
+ sh_ = sib_->find(next_);
+ } else {
+ last_ = st->null_vertex();
+ } // vertex: == end()
}
-private:
+ private:
friend class boost::iterator_core_access;
// valid when iterating along the SAME boundary.
- bool equal (Simplex_tree_boundary_simplex_iterator const& other) const
- { return (sib_ == other.sib_ && last_ == other.last_);}
+ bool equal(Simplex_tree_boundary_simplex_iterator const& other) const {
+ return (sib_ == other.sib_ && last_ == other.last_);
+ }
+
+ Simplex_handle const& dereference() const {
+ return sh_;
+ }
- Simplex_handle const& dereference () const { return sh_; }
+ void increment() {
+ if (sib_ == NULL) {
+ last_ = st_->null_vertex();
+ return;
+ }
- void increment()
- {
- if(sib_ == NULL) { last_ = st_->null_vertex(); return; }
-
Siblings * for_sib = sib_;
- for(typename std::vector< Vertex_handle >::reverse_iterator rit = suffix_.rbegin();
- rit != suffix_.rend(); ++rit)
- {
+ for (typename std::vector<Vertex_handle>::reverse_iterator rit = suffix_
+ .rbegin(); rit != suffix_.rend(); ++rit) {
sh_ = for_sib->find(*rit);
- for_sib = sh_->second.children();
- }
- sh_ = for_sib->find(last_); //sh_ points to the right simplex now
+ for_sib = sh_->second.children();
+ }
+ sh_ = for_sib->find(last_); // sh_ points to the right simplex now
suffix_.push_back(next_);
next_ = sib_->parent();
sib_ = sib_->oncles();
}
- Vertex_handle last_ ; //last vertex of the simplex
- Vertex_handle next_ ; //next vertex to push in suffix_
- std::vector< Vertex_handle > suffix_ ;
- Siblings * sib_ ; //where the next search will start from
- Simplex_handle sh_ ; //current Simplex_handle in the boundary
- SimplexTree * st_ ; //simplex containing the simplicial complex
+ Vertex_handle last_; // last vertex of the simplex
+ Vertex_handle next_; // next vertex to push in suffix_
+ std::vector<Vertex_handle> suffix_;
+ Siblings * sib_; // where the next search will start from
+ Simplex_handle sh_; // current Simplex_handle in the boundary
+ SimplexTree * st_; // simplex containing the simplicial complex
};
/*---------------------------------------------------------------------------*/
/* \brief Iterator over the simplices of a simplicial complex.
- *
- * Forward iterator, value_type is SimplexTree::Simplex_handle.*/
-template < class SimplexTree >
-class Simplex_tree_complex_simplex_iterator
-: public boost::iterator_facade < Simplex_tree_complex_simplex_iterator< SimplexTree >
- , typename SimplexTree::Simplex_handle const
- , boost::forward_traversal_tag
- >
-{
-public:
+ *
+ * Forward iterator, value_type is SimplexTree::Simplex_handle.*/
+template<class SimplexTree>
+class Simplex_tree_complex_simplex_iterator : public boost::iterator_facade<
+ Simplex_tree_complex_simplex_iterator<SimplexTree>,
+ typename SimplexTree::Simplex_handle const, boost::forward_traversal_tag> {
+ public:
typedef typename SimplexTree::Simplex_handle Simplex_handle;
- typedef typename SimplexTree::Siblings Siblings;
- typedef typename SimplexTree::Vertex_handle Vertex_handle;
-
-//any end() iterator
- Simplex_tree_complex_simplex_iterator() : st_(NULL) {}
-
- Simplex_tree_complex_simplex_iterator(SimplexTree * st) :
- st_(st)
- {
- if(st == NULL || st->root() == NULL || st->root()->members().empty()) { st_ = NULL; }
- else
- {
- sh_ = st->root()->members().begin();
- sib_ = st->root();
- while(st->has_children(sh_))
- { sib_ = sh_->second.children();
- sh_ = sib_->members().begin(); }
+ typedef typename SimplexTree::Siblings Siblings;
+ typedef typename SimplexTree::Vertex_handle Vertex_handle;
+
+// any end() iterator
+ Simplex_tree_complex_simplex_iterator()
+ : st_(NULL) {
+ }
+
+ Simplex_tree_complex_simplex_iterator(SimplexTree * st)
+ : st_(st) {
+ if (st == NULL || st->root() == NULL || st->root()->members().empty()) {
+ st_ = NULL;
+ } else {
+ sh_ = st->root()->members().begin();
+ sib_ = st->root();
+ while (st->has_children(sh_)) {
+ sib_ = sh_->second.children();
+ sh_ = sib_->members().begin();
+ }
}
}
-private:
+ private:
friend class boost::iterator_core_access;
// valid when iterating along the SAME boundary.
- bool equal (Simplex_tree_complex_simplex_iterator const& other) const
- {
- if(other.st_ == NULL) { return (st_ == NULL); }
- if(st_ == NULL) { return false; }
+ bool equal(Simplex_tree_complex_simplex_iterator const& other) const {
+ if (other.st_ == NULL) {
+ return (st_ == NULL);
+ }
+ if (st_ == NULL) {
+ return false;
+ }
return (&(sh_->second) == &(other.sh_->second));
}
- Simplex_handle const& dereference () const { return sh_; }
+ Simplex_handle const& dereference() const {
+ return sh_;
+ }
// Depth first traversal.
- void increment ()
- {
+ void increment() {
++sh_;
- if(sh_ == sib_->members().end())
- {
- if(sib_->oncles() == NULL) { st_ = NULL; return; } //reach the end
+ if (sh_ == sib_->members().end()) {
+ if (sib_->oncles() == NULL) {
+ st_ = NULL;
+ return;
+ } // reach the end
sh_ = sib_->oncles()->members().find(sib_->parent());
- sib_ = sib_->oncles();
- return;
+ sib_ = sib_->oncles();
+ return;
}
- while(st_->has_children(sh_))
- {
- sib_ = sh_->second.children();
- sh_ = sib_->members().begin();
+ while (st_->has_children(sh_)) {
+ sib_ = sh_->second.children();
+ sh_ = sib_->members().begin();
}
}
- Simplex_handle sh_;
- Siblings * sib_;
- SimplexTree * st_;
+ Simplex_handle sh_;
+ Siblings * sib_;
+ SimplexTree * st_;
};
/* \brief Iterator over the simplices of the skeleton of a given
- * dimension of the simplicial complex.
- *
- * Forward iterator, value_type is SimplexTree::Simplex_handle.*/
-template < class SimplexTree >
-class Simplex_tree_skeleton_simplex_iterator
-: public boost::iterator_facade < Simplex_tree_skeleton_simplex_iterator< SimplexTree >
- , typename SimplexTree::Simplex_handle const
- , boost::forward_traversal_tag
- >
-{
-public:
+ * dimension of the simplicial complex.
+ *
+ * Forward iterator, value_type is SimplexTree::Simplex_handle.*/
+template<class SimplexTree>
+class Simplex_tree_skeleton_simplex_iterator : public boost::iterator_facade<
+ Simplex_tree_skeleton_simplex_iterator<SimplexTree>,
+ typename SimplexTree::Simplex_handle const, boost::forward_traversal_tag> {
+ public:
typedef typename SimplexTree::Simplex_handle Simplex_handle;
- typedef typename SimplexTree::Siblings Siblings;
- typedef typename SimplexTree::Vertex_handle Vertex_handle;
-
-//any end() iterator
- Simplex_tree_skeleton_simplex_iterator() : st_(NULL) {}
-
- Simplex_tree_skeleton_simplex_iterator( SimplexTree * st
- , int dim_skel )
- : st_(st)
- , dim_skel_(dim_skel)
- , curr_dim_(0)
- {
- if(st == NULL || st->root() == NULL || st->root()->members().empty()) { st_ = NULL; }
- else
- {
- sh_ = st->root()->members().begin();
- sib_ = st->root();
- while(st->has_children(sh_) && curr_dim_ < dim_skel_)
- { sib_ = sh_->second.children();
+ typedef typename SimplexTree::Siblings Siblings;
+ typedef typename SimplexTree::Vertex_handle Vertex_handle;
+
+// any end() iterator
+ Simplex_tree_skeleton_simplex_iterator()
+ : st_(NULL) {
+ }
+
+ Simplex_tree_skeleton_simplex_iterator(SimplexTree * st, int dim_skel)
+ : st_(st),
+ dim_skel_(dim_skel),
+ curr_dim_(0) {
+ if (st == NULL || st->root() == NULL || st->root()->members().empty()) {
+ st_ = NULL;
+ } else {
+ sh_ = st->root()->members().begin();
+ sib_ = st->root();
+ while (st->has_children(sh_) && curr_dim_ < dim_skel_) {
+ sib_ = sh_->second.children();
sh_ = sib_->members().begin();
- ++curr_dim_; }
+ ++curr_dim_;
+ }
}
}
-private:
+ private:
friend class boost::iterator_core_access;
// valid when iterating along the SAME boundary.
- bool equal (Simplex_tree_skeleton_simplex_iterator const& other) const
- {
- if(other.st_ == NULL) { return (st_ == NULL); }
- if(st_ == NULL) { return false; }
+ bool equal(Simplex_tree_skeleton_simplex_iterator const& other) const {
+ if (other.st_ == NULL) {
+ return (st_ == NULL);
+ }
+ if (st_ == NULL) {
+ return false;
+ }
return (&(sh_->second) == &(other.sh_->second));
}
- Simplex_handle const& dereference () const { return sh_; }
+ Simplex_handle const& dereference() const {
+ return sh_;
+ }
// Depth first traversal of the skeleton.
- void increment ()
- {
+ void increment() {
++sh_;
- if(sh_ == sib_->members().end())
- {
- if(sib_->oncles() == NULL) { st_ = NULL; return; } //reach the end
+ if (sh_ == sib_->members().end()) {
+ if (sib_->oncles() == NULL) {
+ st_ = NULL;
+ return;
+ } // reach the end
sh_ = sib_->oncles()->members().find(sib_->parent());
sib_ = sib_->oncles();
- --curr_dim_;
- return;
+ --curr_dim_;
+ return;
}
- while(st_->has_children(sh_) && curr_dim_ < dim_skel_)
- {
- sib_ = sh_->second.children();
- sh_ = sib_->members().begin();
- ++curr_dim_;
+ while (st_->has_children(sh_) && curr_dim_ < dim_skel_) {
+ sib_ = sh_->second.children();
+ sh_ = sib_->members().begin();
+ ++curr_dim_;
}
}
- Simplex_handle sh_;
- Siblings * sib_;
- SimplexTree * st_;
- int dim_skel_;
- int curr_dim_;
+ Simplex_handle sh_;
+ Siblings * sib_;
+ SimplexTree * st_;
+ int dim_skel_;
+ int curr_dim_;
};
-/* @} */ //end addtogroup simplex_tree
-
-} // namespace GUDHI
+/* @} */ // end addtogroup simplex_tree
+} // namespace Gudhi
-#endif // SIMPLEX_TREE_ITERATORS_H
+#endif // SIMPLEX_TREE_ITERATORS_H
diff --git a/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h b/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h
index 91f4ef75..27120f00 100644
--- a/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h
+++ b/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h
@@ -1,24 +1,24 @@
- /* This file is part of the Gudhi Library. The Gudhi library
- * (Geometric Understanding in Higher Dimensions) is a generic C++
- * library for computational topology.
- *
- * Author(s): Clément Maria
- *
- * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
+/* This file is part of the Gudhi Library. The Gudhi library
+ * (Geometric Understanding in Higher Dimensions) is a generic C++
+ * library for computational topology.
+ *
+ * Author(s): Clément Maria
+ *
+ * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
#ifndef GUDHI_SIMPLEX_TREE_NODE_EXPLICIT_STORAGE_H
#define GUDHI_SIMPLEX_TREE_NODE_EXPLICIT_STORAGE_H
@@ -26,12 +26,12 @@
#include <vector>
#include <iostream>
-namespace Gudhi{
+namespace Gudhi {
/* \addtogroup simplex_tree
- * Represents a node of a Simplex_tree.
- * @{
- */
+ * Represents a node of a Simplex_tree.
+ * @{
+ */
/*
* \brief Node of a simplex tree with filtration value
@@ -39,31 +39,34 @@ namespace Gudhi{
*
* It stores explicitely its own filtration value and its own Simplex_key.
*/
-template < class SimplexTree >
+template<class SimplexTree>
class Simplex_tree_node_explicit_storage {
- public:
+ public:
// friend SimplexTree;
- typedef typename SimplexTree::Siblings Siblings;
+ typedef typename SimplexTree::Siblings Siblings;
typedef typename SimplexTree::Filtration_value Filtration_value;
- typedef typename SimplexTree::Simplex_key Simplex_key;
+ typedef typename SimplexTree::Simplex_key Simplex_key;
//private:
//friend class Simplex_tree;
// Default constructor.
- Simplex_tree_node_explicit_storage() :
- children_(NULL),
- simplex_key_(-1),
- filtration_(0) {}
+ Simplex_tree_node_explicit_storage()
+ : children_(NULL),
+ simplex_key_(-1),
+ filtration_(0) {
+ }
Simplex_tree_node_explicit_storage(Siblings * sib,
- Filtration_value filtration) :
- children_(sib),
- simplex_key_(-1),
- filtration_(filtration) {}
+ Filtration_value filtration)
+ : children_(sib),
+ simplex_key_(-1),
+ filtration_(filtration) {
+ }
-
- void assign_key(Simplex_key key) { simplex_key_ = key; }
+ void assign_key(Simplex_key key) {
+ simplex_key_ = key;
+ }
/*
* Return true if the node has children,
@@ -75,30 +78,39 @@ class Simplex_tree_node_explicit_storage {
/*
* Assign a children to the node
*/
- void assign_children (Siblings * children) { children_ = children; }
+ void assign_children(Siblings * children) {
+ children_ = children;
+ }
/*
*
*/
- void assign_filtration(double filtration_value) { filtration_ = filtration_value; }
-
- Filtration_value filtration() { return filtration_; }
+ void assign_filtration(double filtration_value) {
+ filtration_ = filtration_value;
+ }
+
+ Filtration_value filtration() {
+ return filtration_;
+ }
/* Careful -> has_children() must be true*/
- Siblings * children() { return children_; }
-
- Simplex_key key() { return simplex_key_; }
-
-private:
- Siblings * children_;
-
+ Siblings * children() {
+ return children_;
+ }
+
+ Simplex_key key() {
+ return simplex_key_;
+ }
+
+ private:
+ Siblings * children_;
+
// Data attached to simplex, explicit storage
- Simplex_key simplex_key_;
- Filtration_value filtration_; //value in the filtration
-
-};
+ Simplex_key simplex_key_;
+ Filtration_value filtration_; //value in the filtration
-/* @} */ //end addtogroup simplex_tree
+};
-} // namespace GUDHI
+/* @} */ // end addtogroup simplex_tree
+}// namespace Gudhi
#endif // GUDHI_SIMPLEX_TREE_NODE_EXPLICIT_STORAGE_H
diff --git a/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_siblings.h b/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_siblings.h
index 6db0d80a..9ad2b751 100644
--- a/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_siblings.h
+++ b/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_siblings.h
@@ -1,24 +1,24 @@
- /* This file is part of the Gudhi Library. The Gudhi library
- * (Geometric Understanding in Higher Dimensions) is a generic C++
- * library for computational topology.
- *
- * Author(s): Clément Maria
- *
- * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
+/* This file is part of the Gudhi Library. The Gudhi library
+ * (Geometric Understanding in Higher Dimensions) is a generic C++
+ * library for computational topology.
+ *
+ * Author(s): Clément Maria
+ *
+ * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
#ifndef GUDHI_SIMPLEX_TREE_SIBLINGS
#define GUDHI_SIMPLEX_TREE_SIBLINGS
@@ -26,62 +26,59 @@
#include "boost/container/flat_map.hpp"
#include "Simplex_tree_node_explicit_storage.h"
-namespace Gudhi{
+namespace Gudhi {
/* \addtogroup simplex_tree
- * Represents a set of node of a Simplex_tree that share the same parent.
- * @{
- */
+ * Represents a set of node of a Simplex_tree that share the same parent.
+ * @{
+ */
/* \brief Data structure to store a set of nodes in a SimplexTree sharing
* the same parent node.*/
-template < class SimplexTree
- , class MapContainer >
+template<class SimplexTree, class MapContainer>
class Simplex_tree_siblings {
// private:
// friend SimplexTree;
-public:
- template < class T > friend class Simplex_tree_simplex_vertex_iterator ;
- template < class T > friend class Simplex_tree_boundary_simplex_iterator;
- template < class T > friend class Simplex_tree_complex_simplex_iterator ;
- template < class T > friend class Simplex_tree_skeleton_simplex_iterator;
-
- typedef typename SimplexTree::Vertex_handle Vertex_handle;
- typedef typename SimplexTree::Filtration_value Filtration_value;
- typedef typename SimplexTree::Node Node;
- typedef MapContainer Dictionary;
- typedef typename MapContainer::iterator Dictionary_it;
+ public:
+ template<class T> friend class Simplex_tree_simplex_vertex_iterator;
+ template<class T> friend class Simplex_tree_boundary_simplex_iterator;
+ template<class T> friend class Simplex_tree_complex_simplex_iterator;
+ template<class T> friend class Simplex_tree_skeleton_simplex_iterator;
+
+ typedef typename SimplexTree::Vertex_handle Vertex_handle;
+ typedef typename SimplexTree::Filtration_value Filtration_value;
+ typedef typename SimplexTree::Node Node;
+ typedef MapContainer Dictionary;
+ typedef typename MapContainer::iterator Dictionary_it;
/* Default constructor.*/
- Simplex_tree_siblings()
- : oncles_(NULL)
- , parent_(-1)
- , members_() {}
-
+ Simplex_tree_siblings()
+ : oncles_(NULL),
+ parent_(-1),
+ members_() {
+ }
+
/* Constructor with values.*/
- Simplex_tree_siblings(Simplex_tree_siblings * oncles,
- Vertex_handle parent )
- : oncles_(oncles)
- , parent_(parent)
- , members_() {}
-
+ Simplex_tree_siblings(Simplex_tree_siblings * oncles, Vertex_handle parent)
+ : oncles_(oncles),
+ parent_(parent),
+ members_() {
+ }
+
/* \brief Constructor with initialized set of members.
- *
- * 'members' must be sorted and unique.*/
- Simplex_tree_siblings(Simplex_tree_siblings * oncles,
- Vertex_handle parent,
- std::vector< std::pair< Vertex_handle, Node > > & members)
- : oncles_ ( oncles )
- , parent_ ( parent )
- , members_ ( boost::container::ordered_unique_range
- , members.begin()
- , members.end() )
- {
- for(auto map_it = members_.begin();
- map_it != members_.end(); map_it++)
- { map_it->second.assign_children(this); }
+ *
+ * 'members' must be sorted and unique.*/
+ Simplex_tree_siblings(Simplex_tree_siblings * oncles, Vertex_handle parent,
+ std::vector<std::pair<Vertex_handle, Node> > & members)
+ : oncles_(oncles),
+ parent_(parent),
+ members_(boost::container::ordered_unique_range, members.begin(),
+ members.end()) {
+ for (auto map_it = members_.begin(); map_it != members_.end(); map_it++) {
+ map_it->second.assign_children(this);
+ }
}
-
+
/*
* \brief Inserts a Node in the set of siblings nodes.
*
@@ -89,41 +86,46 @@ public:
* between input filtration_value and the value already
* present in the node.
*/
- void insert ( Vertex_handle v
- , Filtration_value filtration_value )
- {
+ void insert(Vertex_handle v, Filtration_value filtration_value) {
typename Dictionary::iterator sh = members_.find(v);
- if(sh != members_.end() && sh->second.filtration() > filtration_value)
- { sh->second.assign_filtration(filtration_value);
- return; }
- if(sh == members_.end())
- { members_.insert(std::pair< Vertex_handle, Node >( v, Node(this,filtration_value) ));
- return; }
+ if (sh != members_.end() && sh->second.filtration() > filtration_value) {
+ sh->second.assign_filtration(filtration_value);
+ return;
+ }
+ if (sh == members_.end()) {
+ members_.insert(
+ std::pair<Vertex_handle, Node>(v, Node(this, filtration_value)));
+ return;
+ }
}
- typename Dictionary::iterator find( Vertex_handle v )
- { return members_.find(v); }
-
- Simplex_tree_siblings * oncles()
- { return oncles_; }
-
- Vertex_handle parent()
- { return parent_; }
-
- Dictionary & members()
- { return members_; }
-
- size_t size() { return members_.size(); }
-
-
- Simplex_tree_siblings * oncles_ ;
- Vertex_handle parent_ ;
- Dictionary members_ ;
-
-};
+ typename Dictionary::iterator find(Vertex_handle v) {
+ return members_.find(v);
+ }
-/* @} */ //end addtogroup simplex_tree
+ Simplex_tree_siblings * oncles() {
+ return oncles_;
+ }
+
+ Vertex_handle parent() {
+ return parent_;
+ }
+
+ Dictionary & members() {
+ return members_;
+ }
+
+ size_t size() {
+ return members_.size();
+ }
+
+ Simplex_tree_siblings * oncles_;
+ Vertex_handle parent_;
+ Dictionary members_;
+
+};
-} // namespace GUDHI
+/* @} */ //end addtogroup simplex_tree
+}// namespace Gudhi
#endif // GUDHI_SIMPLEX_TREE_SIBLINGS
diff --git a/src/Simplex_tree/include/gudhi/Simplex_tree/indexing_tag.h b/src/Simplex_tree/include/gudhi/Simplex_tree/indexing_tag.h
index 165d166d..680458a5 100644
--- a/src/Simplex_tree/include/gudhi/Simplex_tree/indexing_tag.h
+++ b/src/Simplex_tree/include/gudhi/Simplex_tree/indexing_tag.h
@@ -1,34 +1,34 @@
- /* This file is part of the Gudhi Library. The Gudhi library
- * (Geometric Understanding in Higher Dimensions) is a generic C++
- * library for computational topology.
- *
- * Author(s): Clément Maria
- *
- * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
+/* This file is part of the Gudhi Library. The Gudhi library
+ * (Geometric Understanding in Higher Dimensions) is a generic C++
+ * library for computational topology.
+ *
+ * Author(s): Clément Maria
+ *
+ * Copyright (C) 2014 INRIA Sophia Antipolis-Méditerranée (France)
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
-namespace Gudhi{
+namespace Gudhi {
/** \brief Tag for a linear ordering of simplices.
- *
- * \implements IndexingTag
- */
- struct linear_indexing_tag {};
+ *
+ * \implements IndexingTag
+ */
+struct linear_indexing_tag {
+};
/* \brief Tag for a zigzag ordering of simplices. */
// struct zigzag_indexing_tag {};
-
-} // namespace GUDHI
+}// namespace Gudhi
diff --git a/src/Simplex_tree/test/CMakeLists.txt b/src/Simplex_tree/test/CMakeLists.txt
index a15ac04e..eeb066d4 100644
--- a/src/Simplex_tree/test/CMakeLists.txt
+++ b/src/Simplex_tree/test/CMakeLists.txt
@@ -5,7 +5,29 @@ project(GUDHITestSimplexTree)
find_package(Boost 1.45.0 COMPONENTS system unit_test_framework)
message("Boost_lib = ${Boost_LIBRARIES}")
+if(NOT MSVC)
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} --coverage")
+ set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} --coverage")
+ set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} --coverage")
+endif()
+
include_directories(${Boost_INCLUDE_DIRS})
add_executable ( TestSimplexTree UnitTestSimplexTree.cpp )
target_link_libraries(TestSimplexTree ${Boost_LIBRARIES})
+# Unitary tests
+add_test(TestSimplexTree ${CMAKE_CURRENT_BINARY_DIR}/TestSimplexTree)
+
+if (LCOV_PATH)
+ # Lcov code coverage of unitary test
+ add_test(TestSimplexTreeCov ${CMAKE_SOURCE_DIR}/scripts/check_code_coverage.sh ${CMAKE_SOURCE_DIR}/src/Simplex_tree)
+endif()
+
+if (PYTHON_PATH)
+ # Cpplint tests on coding style
+ add_test(CpplintSimplexTree ${CMAKE_SOURCE_DIR}/scripts/check_google_style.sh ${CMAKE_SOURCE_DIR}/src/Simplex_tree/include/gudhi/Simplex_tree.h)
+ add_test(CpplintSimplexTreeIndexingTag ${CMAKE_SOURCE_DIR}/scripts/check_google_style.sh ${CMAKE_SOURCE_DIR}/src/Simplex_tree/include/gudhi/Simplex_tree/indexing_tag.h)
+ add_test(CpplintSimplexTreeIterator ${CMAKE_SOURCE_DIR}/scripts/check_google_style.sh ${CMAKE_SOURCE_DIR}/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_iterators.h)
+ add_test(CpplintSimplexTreeNode ${CMAKE_SOURCE_DIR}/scripts/check_google_style.sh ${CMAKE_SOURCE_DIR}/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_node_explicit_storage.h)
+ add_test(CpplintSimplexTreeSiblings ${CMAKE_SOURCE_DIR}/scripts/check_google_style.sh ${CMAKE_SOURCE_DIR}/src/Simplex_tree/include/gudhi/Simplex_tree/Simplex_tree_siblings.h)
+endif() \ No newline at end of file