make_degree_set()

res_degree * res_comp::make_degree_set ( int level, int deg )

private

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

{
  int i;
  if (level >= resn.size())
    {
      // Create new res_levels
      for (i = resn.size(); i <= level; i++) resn.push_back(new res_level);
    }
  res_level *lev = resn[level];
 
  deg -= lodegree;
  assert(deg >= 0);  // This would be an internal error
  if (deg >= lev->bin.size())
    {
      // Create new res_degrees
      for (i = lev->bin.size(); i <= deg; i++)
        lev->bin.push_back(new res_degree);
      if (deg + lodegree > hidegree) hidegree = deg + lodegree;
    }
 
  return lev->bin[deg];
}

References hidegree, and lodegree.

Referenced by initialize(), and insert_res_pair().