find_all_divisors1()

template<typename Key>

void ResF4MonomialLookupTableT< Key >::find_all_divisors1 ( mi_node * mi, const_ntuple_monomial exp, VECTOR(Key) & result_k ) const

private

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

{
  mi_node *p = mi;
 
  for (;;)
    {
      p = p->right;
 
      if (p == p->header)
        {
          if ((p = p->down()) == nullptr) return;
          continue;
        }
 
      if (p->exp > exp[p->var])
        {
          if ((p = p->header->down()) == nullptr) return;
          continue;
        }
 
      if (p->tag == mi_node::leaf)
        {
          result_k.push_back(p->key());
        }
      else
        p = p->down();
    }
}

References ResF4MonomialLookupTableT< Key >::mi_node::leaf, and p.

Referenced by find_all_divisors_packed(), and find_all_divisors_vp().