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


C++ svector::append方法代码示例

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


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

示例1:

 join_fn(sieve_relation_plugin & p, const relation_base & r1, const relation_base & r2, unsigned col_cnt, 
             const unsigned * cols1, const unsigned * cols2, relation_join_fn * inner_join_fun)
         : convenient_relation_join_fn(r1.get_signature(), r2.get_signature(), col_cnt, cols1, cols2),
         m_plugin(p),
         m_inner_join_fun(inner_join_fun) {
     bool r1_sieved = r1.get_plugin().is_sieve_relation();
     bool r2_sieved = r2.get_plugin().is_sieve_relation();
     const sieve_relation * sr1 = r1_sieved ? static_cast<const sieve_relation *>(&r1) : 0;
     const sieve_relation * sr2 = r2_sieved ? static_cast<const sieve_relation *>(&r2) : 0;
     if(r1_sieved) {
         m_result_inner_cols.append(sr1->m_inner_cols);
     }
     else {
         m_result_inner_cols.resize(r1.get_signature().size(), true);
     }
     if(r2_sieved) {
         m_result_inner_cols.append(sr2->m_inner_cols);
     }
     else {
         m_result_inner_cols.resize(m_result_inner_cols.size() + r2.get_signature().size(), true);
     }
 }
开发者ID:delcypher,项目名称:z3,代码行数:22,代码来源:dl_sieve_relation.cpp

示例2: get_labels

 virtual void get_labels(svector<symbol> & r) {
     buffer<symbol> tmp;
     ctx().get_relevant_labels(0, tmp);
     r.append(tmp.size(), tmp.c_ptr());            
 }
开发者ID:CharudattaSChitale,项目名称:sygus-comp14,代码行数:5,代码来源:api_parsers.cpp

示例3: get_labels

 virtual void get_labels(svector<symbol> & r) {
     SASSERT(m_context);
     buffer<symbol> tmp;
     m_context->get_relevant_labels(0, tmp);
     r.append(tmp.size(), tmp.c_ptr());
 }
开发者ID:Moondee,项目名称:Artemis,代码行数:6,代码来源:solver.cpp


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