Exemplos de contains_ptr em C++ (Cpp)

Exemplo n.º 1

Arquivo: smt_cg_table.cpp Projeto: CHolmes3/z3

 bool cg_table::check_invariant() const {
     table::iterator it  = m_table.begin();
     table::iterator end = m_table.end();
     for (; it != end; ++it) {
         enode * n = *it;
         CTRACE("cg_table", !contains_ptr(n), tout << "#" << n->get_owner_id() << "\n";);
         SASSERT(contains_ptr(n));
     }

Exemplo n.º 2

Arquivo: smt_cg_table.cpp Projeto: levnach/z3

 bool cg_table::check_invariant() const {
     for (enode * n : m_table) {
         CTRACE("cg_table", !contains_ptr(n), tout << "#" << n->get_owner_id() << "\n";);
         SASSERT(contains_ptr(n));
     }