FullAndLinearIndex.h

Go to the documentation of this file.

 
/*
 * This file is part of Algorithms library toolkit.
 * Copyright (C) 2017 Jan Travnicek (jan.travnicek@fit.cvut.cz)
 
 * Algorithms library toolkit 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.
 
 * Algorithms library toolkit 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 Algorithms library toolkit.  If not, see <http://www.gnu.org/licenses/>.
 */
 
#pragma once
 
#include <alib/string>
 
#include <common/ranked_symbol.hpp>
 
#include <indexes/stringology/PositionHeap.h>
 
#include <alphabet/common/SymbolNormalize.h>
 
namespace indexes {
 
namespace arbology {
 
class GeneralAlphabet;
 
template < class SymbolType = DefaultSymbolType, template < typename > class StringIndex = indexes::stringology::PositionHeap >
class FullAndLinearIndex final {
    StringIndex < common::ranked_symbol < SymbolType > > m_StringIndex;
 
    ext::vector < int > m_JumpTable;
 
public:
    explicit FullAndLinearIndex ( StringIndex < common::ranked_symbol < SymbolType > > stringIndex, ext::vector < int > jumpTable );
 
    const StringIndex < common::ranked_symbol < SymbolType > > & getStringIndex ( ) const &;
 
    StringIndex < common::ranked_symbol < SymbolType > > && getStringIndex ( ) &&;
 
    const ext::vector < int > & getJumps ( ) const &;
 
    ext::vector < int > && getJumps ( ) &&;
 
    const ext::set < common::ranked_symbol < SymbolType > > & getAlphabet ( ) const & {
        return m_StringIndex.getAlphabet ( );
    }
 
    ext::set < common::ranked_symbol < SymbolType > > && getAlphabet ( ) && {
        return std::move ( m_StringIndex ).getAlphabet ( );
    }
 
    void setStringIndex ( StringIndex < common::ranked_symbol < SymbolType > > stringIndex );
 
    bool removeSymbolFromAlphabet ( const common::ranked_symbol < SymbolType > & symbol ) {
        return m_StringIndex.removeSymbolFromAlphabet ( symbol );
    }
 
    auto operator <=> ( const FullAndLinearIndex & other ) const {
        return std::tie ( getStringIndex ( ), getJumps ( ) ) <=> std::tie ( other.getStringIndex ( ), other.getJumps ( ) );
    }
 
    bool operator == ( const FullAndLinearIndex & other ) const {
        return std::tie ( getStringIndex ( ), getJumps ( ) ) == std::tie ( other.getStringIndex ( ), other.getJumps ( ) );
    }
 
    friend ext::ostream & operator << ( ext::ostream & out, const FullAndLinearIndex & instance ) {
        return out << "(FullAndLinearIndex " << instance.m_StringIndex << ", " << instance.m_JumpTable << ")";
    }
};
 
} /* namespace arbology */
 
} /* namespace indexes */
 
namespace indexes {
 
namespace arbology {
 
template < class SymbolType, template < typename > class StringIndex >
FullAndLinearIndex < SymbolType, StringIndex >::FullAndLinearIndex ( StringIndex < common::ranked_symbol < SymbolType > > stringIndex, ext::vector < int > jumpTable ) : m_StringIndex ( std::move ( stringIndex ) ), m_JumpTable ( std::move ( jumpTable ) ) {
}
 
template < class SymbolType, template < typename > class StringIndex >
const StringIndex < common::ranked_symbol < SymbolType > > & FullAndLinearIndex < SymbolType, StringIndex >::getStringIndex ( ) const & {
    return m_StringIndex;
}
 
template < class SymbolType, template < typename > class StringIndex >
StringIndex < common::ranked_symbol < SymbolType > > && FullAndLinearIndex < SymbolType, StringIndex >::getStringIndex ( ) && {
    return std::move ( m_StringIndex );
}
 
template < class SymbolType, template < typename > class StringIndex >
const ext::vector < int > & FullAndLinearIndex < SymbolType, StringIndex >::getJumps ( ) const & {
    return m_JumpTable;
}
 
template < class SymbolType, template < typename > class StringIndex >
ext::vector < int > && FullAndLinearIndex < SymbolType, StringIndex >::getJumps ( ) && {
    return std::move ( m_JumpTable );
}
 
template < class SymbolType, template < typename > class StringIndex >
void FullAndLinearIndex < SymbolType, StringIndex >::setStringIndex ( StringIndex < common::ranked_symbol < SymbolType > > stringIndex ) {
    this->m_StringIndex = std::move ( stringIndex );
}
 
} /* namespace arbology */
 
} /* namespace indexes */
 
namespace core {
 
template < class SymbolType, template < typename > class StringIndex >
struct normalize < indexes::arbology::FullAndLinearIndex < SymbolType, StringIndex > > {
    static indexes::arbology::FullAndLinearIndex < > eval ( indexes::arbology::FullAndLinearIndex < SymbolType, StringIndex > && value ) {
        StringIndex < common::ranked_symbol < > > stringIndex = core::normalize < StringIndex < common::ranked_symbol < SymbolType > > >::eval ( std::move ( value ).getStringIndex ( ) );
 
        return indexes::arbology::FullAndLinearIndex < > ( std::move ( stringIndex ), std::move ( value ).getJumps ( ) );
    }
};
 
} /* namespace core */