find_one_divisor1()

template<typename Key>

bool ResF4MonomialLookupTableT< Key >::find_one_divisor1 ( mi_node * mi, const_ntuple_monomial exp, Key & result_k ) const

private

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

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

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

Referenced by find_one_divisor_packed(), and find_one_divisor_vp().