stop_conditions_ok()

bool res_comp::stop_conditions_ok ( )

virtual

Implements ResolutionComputation.

Definition at line 879 of file res-a1.cpp.

{
  if (stop_.length_limit != nullptr && stop_.length_limit->len > 0)
    {
      if (length_limit < stop_.length_limit->array[0])
        {
          ERROR("resolution: cannot increase maximum level");
          return false;
        }
      else
        length_limit = stop_.length_limit->array[0];
    }
 
  return true;
}

References ERROR, length_limit, and Computation::stop_.