Program Listing for File RIndex.h
↰ Return to documentation for file (ADS/compression/RIndex.h)
/*--------------------------------------------------------------------------*/
/*------------------------------ File RIndex.h -----------------------------*/
/*--------------------------------------------------------------------------*/
/*--------------------------------------------------------------------------*/
/*----------------------------- DEFINITIONS --------------------------------*/
/*--------------------------------------------------------------------------*/
#ifndef __ADS_RIndex
#define __ADS_RIndex
/* self-identification: #endif constant */
/*--------------------------------------------------------------------------*/
/*------------------------------ INCLUDES ----------------------------------*/
/*--------------------------------------------------------------------------*/
#include "ADS/Contract.h"
#include "ADS/compression/BurrowsWheeler.h"
#include "ADS/succinct/BitVector.h"
#include "ADS/succinct/EliasFano.h"
#include "ADS/succinct/HuffmanWaveletTree.h"
#include <algorithm>
#include <array>
#include <bit>
#include <cstddef>
#include <cstdint>
#include <string>
#include <string_view>
#include <utility>
#include <vector>
/*--------------------------------------------------------------------------*/
/*--------------------------- NAMESPACE ------------------------------------*/
/*--------------------------------------------------------------------------*/
namespace ADS {
/*--------------------------------------------------------------------------*/
/*------------------------------ CLASS RIndex ------------------------------*/
/*--------------------------------------------------------------------------*/
class RIndex {
/*--------------------------------------------------------------------------*/
public:
RIndex( void ) : RIndex( std::string_view() ) {}
explicit RIndex( std::string_view s );
[[nodiscard]] std::size_t size( void ) const { return( f_n ); }
[[nodiscard]] std::size_t runs( void ) const { return( f_start.size() ); }
[[nodiscard]] std::pair< std::size_t , std::size_t > range(
std::string_view P ) const;
[[nodiscard]] std::size_t count( std::string_view P ) const;
[[nodiscard]] std::vector< std::size_t > locate( std::string_view P ) const;
[[nodiscard]] std::size_t sizeInBits( void ) const;
/*--------------------------------------------------------------------------*/
private:
[[nodiscard]] std::size_t rank( std::uint32_t c , std::size_t i ) const;
[[nodiscard]] std::size_t phi( std::size_t x ) const;
[[nodiscard]] static std::size_t get( const BitVector & v , int w ,
std::size_t i ) {
return( std::size_t( v.get( i * std::size_t( w ) , w ) ) );
}
std::size_t f_n = 0;
int f_w = 1;
EliasFano f_start;
HuffmanWaveletTree< CompactRankSelect > f_head;
EliasFano f_F;
std::array< std::size_t , 258 > f_R{};
std::array< std::size_t , 258 > f_C{};
BitVector f_end;
EliasFano f_key;
BitVector f_phi;
int f_wr = 1;
#if ADS_CONTRACTS >= 3
std::string f_text;
#endif
}; // end( class RIndex )
/*--------------------------------------------------------------------------*/
} // end( namespace ADS )
/*--------------------------------------------------------------------------*/
/*-------------------------- IMPLEMENTATION --------------------------------*/
/*--------------------------------------------------------------------------*/
#include "ADS/compression/impl/RIndex.tpp"
/*--------------------------------------------------------------------------*/
#endif /* RIndex.h included */
/*--------------------------------------------------------------------------*/
/*---------------------------- End File RIndex.h ---------------------------*/
/*--------------------------------------------------------------------------*/