Changeset 822e655 in git for Singular/PrettyPrinter.h


Ignore:
Timestamp:
Nov 6, 2009, 4:26:51 PM (14 years ago)
Author:
Frank Seelisch <seelisch@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
Children:
3149a50a43e33a9af656fb04834e79a649ffa4d8
Parents:
1e673422a85a7bbfd9b52b229b919da1922c36e1
Message:
new method flush()

git-svn-id: file:///usr/local/Singular/svn/trunk@12254 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/PrettyPrinter.h

    r1e6734 r822e655  
    9393 
    9494  /*!
     95   *  A method for writing all pending output to all defined output files.
     96   *  This works simply by closing all output files and re-opening them in
     97   *  append mode.
     98   */
     99  void flush ();
     100
     101  /*!
    95102   *  A method for including a linefeed in the output to the primary file
    96103   *  (if any) and to the console (if console output has been declared accordingly).
Note: See TracChangeset for help on using the changeset viewer.