/// The definitions needed by the document's textclass
string const getTClassPreamble();
///
- string const getIncludedFiles();
+ string const getIncludedFiles(string const fname) const;
///
void showStruct();
///
LanguageList UsedLanguages;
///
- typedef std::set<string> FloatList;
+ typedef std::set<string> UsedFloats;
///
- FloatList usedFloats;
+ UsedFloats usedFloats;
///
typedef std::map<string , string> FileMap;
///