debug_check() [1/2]

template<typename Key>

void ResF4MonomialLookupTableT< Key >::debug_check ( ) const

private

Definition at line 510 of file res-f4-monlookup.cpp.

{
  int nfound = 0;
  for (typename VECTOR(mi_node *)::const_iterator i = mis.begin();
       i != mis.end();
       i++)
    {
      if (*i != NULL) nfound += debug_check(*i, nullptr);
    }
  assert(count / 2 == nfound);
}

References count, debug_check(), and VECTOR.