38 #ifndef FCL_BROADPHASE_DETAIL_INTERVALTREENODE_INL_H 
   39 #define FCL_BROADPHASE_DETAIL_INTERVALTREENODE_INL_H 
   62   : stored_interval (new_interval),
 
   63     key(new_interval->low),
 
   64     high(new_interval->high),
 
   82   stored_interval->print();
 
   83   std::cout << 
", k = " << key << 
", h = " << high << 
", mH = " << max_high;
 
   84   std::cout << 
"  l->key = ";
 
   85   if(left == nil) std::cout << 
"nullptr"; 
else std::cout << left->key;
 
   86   std::cout << 
"  r->key = ";
 
   87   if(right == nil) std::cout << 
"nullptr"; 
else std::cout << right->key;
 
   88   std::cout << 
"  p->key = ";
 
   89   if(parent == root) std::cout << 
"nullptr"; 
else std::cout << parent->key;
 
   90   std::cout << 
"  red = " << (int)red << std::endl;