backtrack()

bool KBasis::backtrack ( int & curr )

inlineprivate

Definition at line 253 of file matrix-kbasis.cpp.

{
  // if we are the end, decrease the last entry to 0
  if (curr == mVariables.size() - 1)
    {
      kb_exp_weight -= var_wts[curr] * kb_exp[mVariables[curr]];
      kb_exp[mVariables[curr]] = 0;
      do {
          curr--;
      } while (curr >= 0 && kb_exp[mVariables[curr]] == 0);
    }
  if (curr < 0) return false;
  kb_exp[mVariables[curr]]--;
  kb_exp_weight -= var_wts[curr];
  curr++;
  return true;
}

References kb_exp, kb_exp_weight, mVariables, and var_wts.

Referenced by basis0_full(), and basis0_singly_graded().