model_server/smt/src/smt_txt.cxx
// Print header (for debugging purposes)
Print header (for debugging purposes)
Print header ( for debugging purposes )
void smtHeader::print(ostream& s, int ) const
  {
   Initialize(smtHeader::print);
  smtHeaderPtr This = checked_cast(smtHeader,this);  
  s << "avsdtf " << (boolean)arn << (boolean)vrn << (boolean)sam << 
	(boolean)drn << 
	(boolean)tok << (boolean)foreign
             << " file \"" << This->get_filename() << "\"";
  }
void smtHeader :: print ( ostream & s , int ) const { Initialize ( smtHeader :: print ) ; smtHeaderPtr This = checked_cast ( smtHeader , this ) ; s << " " << ( boolean ) arn << ( boolean ) vrn << ( boolean ) sam << ( boolean ) drn << ( boolean ) tok << ( boolean ) foreign << " \" " << This -> get_filename ( ) << " \" " ; }
Print header (for debugging purposes)
Print header ( for debugging purposes )
// get_filename() isn't const, sigh...