Home
last modified time | relevance | path

Searched defs:getAutoImports (Results 1 – 3 of 3) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DmoduleDatabase.hh61 ModuleDatabase::getAutoImports() const in getAutoImports() function in ModuleDatabase
H A DsyntacticPreModule.hh223 SyntacticPreModule::getAutoImports() const in getAutoImports() function in SyntacticPreModule
/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaPreModule.hh47 …const ModuleDatabase::ImportMap& getAutoImports() const {return *(new ModuleDatabase::ImportMap())… in getAutoImports() function in MetaPreModule