persistence_matrix_options.h

Go to the documentation of this file.

/*    This file is part of the Gudhi Library - https://gudhi.inria.fr/ - which is released under MIT.
 *    See file LICENSE or go to https://gudhi.inria.fr/licensing/ for full license details.
 *    Author(s):       Hannah Schreiber
 *
 *    Copyright (C) 2022 Inria
 *
 *    Modification(s):
 *      - YYYY/MM Author: Description of the modification
 */

 
#ifndef PM_OPTIONS_INCLUDED
#define PM_OPTIONS_INCLUDED
 
#include <cstdint>  // std::uint8_t
 
#include <gudhi/Fields/Zp_field_operators.h>
 
namespace Gudhi {
namespace persistence_matrix {

enum class Column_types : std::uint8_t {
  LIST,           
  SET,            
  HEAP,           
  VECTOR,         
  NAIVE_VECTOR,   
  SMALL_VECTOR,   
  UNORDERED_SET,  
  INTRUSIVE_LIST, 
  INTRUSIVE_SET   
};

enum class Column_indexation_types : std::uint8_t {
  CONTAINER, 
  POSITION,  
  IDENTIFIER 
};

template <Column_types col_type = Column_types::INTRUSIVE_SET,
          bool is_z2_only = true,
          class FieldOperators = persistence_fields::Zp_field_operators<> >
struct Default_options {
  using Field_coeff_operators = FieldOperators;
  using Dimension = int;
  using Index = unsigned int;
 
  static const bool is_z2 = is_z2_only;
  static const Column_types column_type = col_type;
 
  static const Column_indexation_types column_indexation_type = Column_indexation_types::CONTAINER;
 
  static const bool has_column_compression = false;
  static const bool has_column_and_row_swaps = false;
 
  static const bool has_map_column_container = false;
  static const bool has_removable_columns = false;
 
  static const bool has_row_access = false;
  static const bool has_intrusive_rows = true;
  static const bool has_removable_rows = false;
 
  static const bool is_of_boundary_type = true;
 
  static const bool has_matrix_maximal_dimension_access = false;
  static const bool has_column_pairings = false;
  static const bool has_vine_update = false;
  static const bool can_retrieve_representative_cycles = false;
};
 
// TODO: The following structures are the one used by the other modules or debug tests.
//  They will probably be removed once the module was properly integrated.

template <Column_types column_type = Column_types::INTRUSIVE_LIST>
struct Zigzag_options : Default_options<column_type, true> {
  static const bool has_row_access = true;
  static const bool has_column_pairings = false;
  static const bool has_vine_update = true;
  static const bool is_of_boundary_type = false;
  static const bool has_map_column_container = true;
  static const bool has_removable_columns = true;
  static const bool has_removable_rows = true;
};

template <Column_types col_type = Column_types::INTRUSIVE_SET>
struct Representative_cycles_options : Default_options<col_type, true> {
  static const bool has_column_pairings = true;
  static const bool can_retrieve_representative_cycles = true;
};

template <Column_types column_type = Column_types::INTRUSIVE_SET>
struct Multi_persistence_options : Default_options<column_type, true> {
  static const bool has_column_pairings = true;
  static const bool has_vine_update = true;
};

template <Column_types column_type = Column_types::INTRUSIVE_LIST,
          bool is_z2_only = true,
          class FieldOperators = persistence_fields::Zp_field_operators<> >
struct Cohomology_persistence_options : Default_options<column_type, is_z2_only, FieldOperators> {
  static const bool has_row_access = true;
  static const bool has_column_compression = true;
  static const bool has_removable_rows = true;
};

template <typename T>
class RangeTraits
{
 private:
  static auto check_begin(...) -> std::false_type;
  template <typename U>
  static auto check_begin(const U& x) -> decltype(x.begin(), std::true_type{});
 
  static auto check_size(...) -> std::false_type;
  template <typename U>
  static auto check_size(const U& x) -> decltype(x.size(), std::true_type{});
 
 public:
  static constexpr bool has_begin = decltype(check_begin(std::declval<T>()))::value;
  static constexpr bool has_size = decltype(check_size(std::declval<T>()))::value;
};
 
}  // namespace persistence_matrix
}  // namespace Gudhi
 
#endif  // PM_OPTIONS_INCLUDED