primary_degrees_of_vars_positive()

bool Monoid::primary_degrees_of_vars_positive

(

)

const

Definition at line 298 of file monoid.cpp.

{
  for (int i = 0; i < mVariableCount; i++)
    if (mHeftDegrees[i] <= 0) return false;
  return true;
}

References mHeftDegrees, and mVariableCount.

Referenced by ResolutionComputation::choose_res(), and F4ResComputation::createF4Res.