+ void setFlags(std::string const & flags) { flags_ = flags; }
+ ///
+ Format const * From() const { return From_; }
+ ///
+ void setFrom(Format const * From) { From_ = From; }
+ ///
+ void setTo(Format const * To) { To_ = To; }
+ ///
+ Format const * To() const { return To_; }
+ ///
+ bool latex() const { return latex_; }
+ ///
+ std::string const latex_flavor() const { return latex_flavor_; }
+ ///
+ bool xml() const { return xml_; }
+ ///
+ bool need_aux() const { return need_aux_; }
+ ///
+ bool nice() const { return nice_; }
+ ///
+ std::string const result_dir() const { return result_dir_; }
+ ///
+ std::string const result_file() const { return result_file_; }
+ ///
+ std::string const parselog() const { return parselog_; }
+private:
+ ///
+ trivstring from_;
+ ///
+ trivstring to_;
+ ///
+ trivstring command_;
+ ///
+ trivstring flags_;
+ ///
+ Format const * From_;
+ ///
+ Format const * To_;