+ bool isReachable(string const & from, string const & to);
+ ///
+ EdgePath const getPath(string const & from, string const & to);
+ ///
+ bool usePdflatex(EdgePath const & path);
+ ///
+ bool convert(Buffer const * buffer,
+ string const & from_file, string const & to_file_base,
+ string const & from_format, string const & to_format,
+ string & to_file);
+ ///
+ bool convert(Buffer const * buffer,
+ string const & from_file, string const & to_file_base,
+ string const & from_format, string const & to_format);
+ ///
+ string const papersize(Buffer const * buffer);
+ ///
+ string const dvips_options(Buffer const * buffer);
+ ///
+ string const dvipdfm_options(Buffer const * buffer);
+ ///
+ void update(Formats const & formats);
+ ///
+ void updateLast(Formats const & formats);
+ ///
+ void buildGraph();
+ ///
+ bool formatIsUsed(string const & format);
+ ///
+ const_iterator begin() const {
+ return converterlist_.begin();
+ }
+ const_iterator end() const {
+ return converterlist_.end();
+ }