Home
last modified time | relevance | path

Searched defs:nrImports (Results 1 – 5 of 5) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DsyntacticPreModule.cc236 int nrImports = imports.length(); in addImport() local
H A DrenameModule.cc39 int nrImports = importedModules.size(); in makeRenamedCopy() local
179 int nrImports = getNrImportedSubsorts(i); in donateSorts2() local
H A Dcommand.cc69 int nrImports = imports.length(); in showModule() local
H A Dparameterization.cc387 int nrImports = importedModules.size(); in handleRegularImports() local
/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaUpModule.cc105 int nrImports = pm->getNrImports(); in upImports() local