model_server/smt/src/smt_txt.cxx
// Print node (for debugging purposes)
Print node (for debugging purposes)
Print node ( for debugging purposes )
void smtTree::print(ostream& s, int ) const
  {
  s << "avmn "<< (boolean)arn << (boolean) vrn << (boolean) ndm << 
	(boolean)is_macro ;
  if(ref_ast)
     s << ' ' << ref_ast;
  s <<" tp " << (int)type << "/" << (int)extype <<
       ' ' << smt_token_name(type);
  if(type != extype)
       s << "/" << smt_token_name(extype);
  s <<  " tn=(" << tnfirst << "," << tnmax << ")[" << tbeg << "," <<
       tlth << "]{" << (unsigned)newlines << "," << (unsigned)spaces << "}: `";
  pnode(this, s);
  s << "'";
  }
void smtTree :: print ( ostream & s , int ) const { s << " " << ( boolean ) arn << ( boolean ) vrn << ( boolean ) ndm << ( boolean ) is_macro ; if ( ref_ast ) s << ' ' << ref_ast ; s << " " << ( int ) type << " " << ( int ) extype << ' ' << smt_token_name ( type ) ; if ( type != extype ) s << " " << smt_token_name ( extype ) ; s << " " << tnfirst << " " << tnmax << " " << tbeg << " " << tlth << " " << ( unsigned ) newlines << " " << ( unsigned ) spaces << " " ; pnode ( this , s ) ; s << " " ; }
Print node (for debugging purposes)
Print node ( for debugging purposes )