lemon/lgf_writer.h
changeset 796 9cc6e98c487d
parent 598 a3402913cffe
parent 584 33c6b6e755cd
child 877 141f9c0db4a3
equal deleted inserted replaced
31:78f30c7c15f0 32:55fd21a873b3
   534 
   534 
   535     DigraphWriter& operator=(const DigraphWriter&);
   535     DigraphWriter& operator=(const DigraphWriter&);
   536 
   536 
   537   public:
   537   public:
   538 
   538 
   539     /// \name Writing rules
   539     /// \name Writing Rules
   540     /// @{
   540     /// @{
   541 
   541 
   542     /// \brief Node map writing rule
   542     /// \brief Node map writing rule
   543     ///
   543     ///
   544     /// Add a node map writing rule to the writer.
   544     /// Add a node map writing rule to the writer.
   637         new _writer_bits::ValueStorage<Arc, Converter>(arc, converter);
   637         new _writer_bits::ValueStorage<Arc, Converter>(arc, converter);
   638       _attributes.push_back(std::make_pair(caption, storage));
   638       _attributes.push_back(std::make_pair(caption, storage));
   639       return *this;
   639       return *this;
   640     }
   640     }
   641 
   641 
   642     /// \name Section captions
   642     /// \name Section Captions
   643     /// @{
   643     /// @{
   644 
   644 
   645     /// \brief Add an additional caption to the \c \@nodes section
   645     /// \brief Add an additional caption to the \c \@nodes section
   646     ///
   646     ///
   647     /// Add an additional caption to the \c \@nodes section.
   647     /// Add an additional caption to the \c \@nodes section.
   664     DigraphWriter& attributes(const std::string& caption) {
   664     DigraphWriter& attributes(const std::string& caption) {
   665       _attributes_caption = caption;
   665       _attributes_caption = caption;
   666       return *this;
   666       return *this;
   667     }
   667     }
   668 
   668 
   669     /// \name Skipping section
   669     /// \name Skipping Section
   670     /// @{
   670     /// @{
   671 
   671 
   672     /// \brief Skip writing the node set
   672     /// \brief Skip writing the node set
   673     ///
   673     ///
   674     /// The \c \@nodes section will not be written to the stream.
   674     /// The \c \@nodes section will not be written to the stream.
   881       }
   881       }
   882     }
   882     }
   883 
   883 
   884   public:
   884   public:
   885 
   885 
   886     /// \name Execution of the writer
   886     /// \name Execution of the Writer
   887     /// @{
   887     /// @{
   888 
   888 
   889     /// \brief Start the batch processing
   889     /// \brief Start the batch processing
   890     ///
   890     ///
   891     /// This function starts the batch processing.
   891     /// This function starts the batch processing.
  1127 
  1127 
  1128     GraphWriter& operator=(const GraphWriter&);
  1128     GraphWriter& operator=(const GraphWriter&);
  1129 
  1129 
  1130   public:
  1130   public:
  1131 
  1131 
  1132     /// \name Writing rules
  1132     /// \name Writing Rules
  1133     /// @{
  1133     /// @{
  1134 
  1134 
  1135     /// \brief Node map writing rule
  1135     /// \brief Node map writing rule
  1136     ///
  1136     ///
  1137     /// Add a node map writing rule to the writer.
  1137     /// Add a node map writing rule to the writer.
  1276         new _writer_bits::ValueStorage<Arc, Converter>(arc, converter);
  1276         new _writer_bits::ValueStorage<Arc, Converter>(arc, converter);
  1277       _attributes.push_back(std::make_pair(caption, storage));
  1277       _attributes.push_back(std::make_pair(caption, storage));
  1278       return *this;
  1278       return *this;
  1279     }
  1279     }
  1280 
  1280 
  1281     /// \name Section captions
  1281     /// \name Section Captions
  1282     /// @{
  1282     /// @{
  1283 
  1283 
  1284     /// \brief Add an additional caption to the \c \@nodes section
  1284     /// \brief Add an additional caption to the \c \@nodes section
  1285     ///
  1285     ///
  1286     /// Add an additional caption to the \c \@nodes section.
  1286     /// Add an additional caption to the \c \@nodes section.
  1303     GraphWriter& attributes(const std::string& caption) {
  1303     GraphWriter& attributes(const std::string& caption) {
  1304       _attributes_caption = caption;
  1304       _attributes_caption = caption;
  1305       return *this;
  1305       return *this;
  1306     }
  1306     }
  1307 
  1307 
  1308     /// \name Skipping section
  1308     /// \name Skipping Section
  1309     /// @{
  1309     /// @{
  1310 
  1310 
  1311     /// \brief Skip writing the node set
  1311     /// \brief Skip writing the node set
  1312     ///
  1312     ///
  1313     /// The \c \@nodes section will not be written to the stream.
  1313     /// The \c \@nodes section will not be written to the stream.
  1520       }
  1520       }
  1521     }
  1521     }
  1522 
  1522 
  1523   public:
  1523   public:
  1524 
  1524 
  1525     /// \name Execution of the writer
  1525     /// \name Execution of the Writer
  1526     /// @{
  1526     /// @{
  1527 
  1527 
  1528     /// \brief Start the batch processing
  1528     /// \brief Start the batch processing
  1529     ///
  1529     ///
  1530     /// This function starts the batch processing.
  1530     /// This function starts the batch processing.
  1697 
  1697 
  1698     SectionWriter& operator=(const SectionWriter&);
  1698     SectionWriter& operator=(const SectionWriter&);
  1699 
  1699 
  1700   public:
  1700   public:
  1701 
  1701 
  1702     /// \name Section writers
  1702     /// \name Section Writers
  1703     /// @{
  1703     /// @{
  1704 
  1704 
  1705     /// \brief Add a section writer with line oriented writing
  1705     /// \brief Add a section writer with line oriented writing
  1706     ///
  1706     ///
  1707     /// The first parameter is the type descriptor of the section, the
  1707     /// The first parameter is the type descriptor of the section, the
  1764     /// @}
  1764     /// @}
  1765 
  1765 
  1766   public:
  1766   public:
  1767 
  1767 
  1768 
  1768 
  1769     /// \name Execution of the writer
  1769     /// \name Execution of the Writer
  1770     /// @{
  1770     /// @{
  1771 
  1771 
  1772     /// \brief Start the batch processing
  1772     /// \brief Start the batch processing
  1773     ///
  1773     ///
  1774     /// This function starts the batch processing.
  1774     /// This function starts the batch processing.