C++ (Cpp) contains_ptrの例

コード例 #1

ファイル: smt_cg_table.cpp プロジェクト: 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));
     }

コード例 #2

ファイル: smt_cg_table.cpp プロジェクト: 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));
     }