X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTDictionary.hh;h=8807f83772e0e2076a86079b9d1ca12875ea25bc;hb=10372ee288ae67dcab8b1b04f7c52c65009fd6e9;hp=f3ad19dc144bc481ef51271d30c1808752edd76f;hpb=c112706f347e08e7f345131fbc4c3aa0e9ecc7b5;p=helm.git diff --git a/helm/DEVEL/mathml_editor/src/TDictionary.hh b/helm/DEVEL/mathml_editor/src/TDictionary.hh index f3ad19dc1..8807f8377 100644 --- a/helm/DEVEL/mathml_editor/src/TDictionary.hh +++ b/helm/DEVEL/mathml_editor/src/TDictionary.hh @@ -31,6 +31,7 @@ #include #include #include +#include #include "dom.hh" #include "TToken.hh" @@ -83,10 +84,13 @@ public: unsigned table : 1; }; + static std::string getDefaultDictionaryPath(void); + void load(const std::string&); void load(const std::string&, const std::string&); void load(const DOM::Document&, const std::string& = ""); const Entry& find(const std::string&) const; + std::string complete(const std::string, std::list&) const; private: struct StringHash : public std::unary_function< std::string, size_t >