debugCheckOrderAll()

bool SchreyerFrame::debugCheckOrderAll

(

)

const

Definition at line 691 of file res-schreyer-frame.cpp.

{
  std::cout
      << "checking that all input and constructed polynomials are in order...";
  bool result = true;
  for (auto i = 1; i < maxLevel(); ++i)
    if (!debugCheckOrder(i)) result = false;
  if (result) std::cout << "ok" << std::endl;
  return result;
}

References debugCheckOrder(), maxLevel(), and result().

Referenced by start_computation().