do_node()

template<typename Key>

void ResF4MonomialLookupTableT< Key >::do_node ( mi_node * p, int indent, int disp ) const

private

Definition at line 400 of file res-f4-monlookup.cpp.

{
  buffer o;
  int i;
  assert(p->left != NULL);
  assert(p->right != NULL);
  assert(p->left->right == p);
  assert(p->right->left == p);
  if (disp)
    {
      for (i = 1; i <= indent; i++) o << ' ';
      o << p->var << ' ' << p->exp;
    }
  if (p->tag == mi_node::leaf)
    {
      nleaves++;
      if (disp) o << ' ' << p->key();
    }
  else if (p == p->header)
    nlists++;
  else
    nnodes++;
  emit_line(o.str());
}

References emit_line(), ResF4MonomialLookupTableT< Key >::mi_node::leaf, nleaves, nlists, nnodes, p, and buffer::str().

Referenced by do_tree().