C++ (Cpp) round_word_dimの例

コード例 #1

ファイル: binary_relation.cpp プロジェクト: imclab/pomagma

BinaryRelation::BinaryRelation (
        const Carrier & carrier,
        BinaryRelation && other)
    : m_lines(carrier, std::move(other.m_lines))
{
    POMAGMA_DEBUG("resizing BinaryRelation with "
            << round_word_dim() << " words");
}

コード例 #2

ファイル: binary_relation.cpp プロジェクト: fritzo/pomagma

void BinaryRelation::_remove_Rx(Ob i, const DenseSet& js) {
    // slower version
    // for (auto j = js.iter(); j.ok(); j.next()) {
    //    _remove_Rx(i, *j);
    //}

    // faster version
    Word mask = ~(Word(1) << (i % BITS_PER_WORD));
    size_t offset = i / BITS_PER_WORD;
    Word* lines = m_lines.Rx() + offset;
    for (auto j = js.iter(); j.ok(); j.next()) {
        lines[*j * round_word_dim()] &= mask;
    }
}

コード例 #3

ファイル: binary_relation.cpp プロジェクト: fritzo/pomagma

void BinaryRelation::_remove_Lx(const DenseSet& is, Ob j) {
    // slower version
    // for (auto i = is.iter(); i.ok(); i.next()) {
    //    _remove_Lx(*i, j);
    //}

    // faster version
    Word mask = ~(Word(1) << (j % BITS_PER_WORD));
    size_t offset = j / BITS_PER_WORD;
    Word* lines = m_lines.Lx() + offset;
    for (auto i = is.iter(); i.ok(); i.next()) {
        lines[*i * round_word_dim()] &= mask;
    }
}

コード例 #4

ファイル: binary_relation.cpp プロジェクト: imclab/pomagma

BinaryRelation::BinaryRelation (const Carrier & carrier)
    : m_lines(carrier)
{
    POMAGMA_DEBUG("creating BinaryRelation with "
            << round_word_dim() << " words");
}