Exemplos de table_fact em C++ (Cpp)

Exemplo n.º 1

Arquivo: dl_base.cpp Projeto: Jornason/z3

 void table_base::row_interface::get_fact(table_fact & result) const {
     result.reset();
     unsigned n=size();
     for(unsigned i=0; i<n; i++) {
         result.push_back((*this)[i]);
     }
 }

Exemplo n.º 2

Arquivo: dl_base.cpp Projeto: killbug2004/Snippets

 void group_by(table_fact const& in, table_fact& out) {
     out.reset();
     for (unsigned i = 0; i < m_group_by_cols.size(); ++i) {
         out.push_back(in[m_group_by_cols[i]]);
     }
 }