当前位置: 首页>>代码示例>>C++>>正文


C++ bit_vector::get方法代码示例

本文整理汇总了C++中bit_vector::get方法的典型用法代码示例。如果您正苦于以下问题:C++ bit_vector::get方法的具体用法?C++ bit_vector::get怎么用?C++ bit_vector::get使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在bit_vector的用法示例。


在下文中一共展示了bit_vector::get方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。

示例1: merge

bool doc_manager::merge(doc& d, unsigned idx, subset_ints const& equalities, 
                        bit_vector const& discard_cols) {
    unsigned root = equalities.find(idx);
    idx = root;
    unsigned num_x = 0;
    unsigned root1 = root;
    tbit value = BIT_x;
    do {
        switch (d[idx]) {
        case BIT_0:
            if (value == BIT_1) return false;
            value = BIT_0;
            break;
        case BIT_1:
            if (value == BIT_0) return false;
            value = BIT_1;
            break;
        case BIT_x:
            ++num_x;
            if (!discard_cols.get(idx)) {
                root1 = idx;
            }
            break;
        default:
            UNREACHABLE();
            break;
        }
        idx = equalities.next(idx);
    }
    while (idx != root);

    TRACE("doc", tout << "num_x: " << num_x << " value: " << value << "\n";);
开发者ID:greatmazinger,项目名称:z3,代码行数:32,代码来源:doc.cpp

示例2: all_used

 bool all_used(void) {
     for (unsigned i = 0; i < m_bitset.size() ; i++)
         if (!m_bitset.get(i))
             return false;
     return true;
 }
开发者ID:jackluo923,项目名称:juxta,代码行数:6,代码来源:quasi_macros.cpp


注:本文中的bit_vector::get方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。