Home
last modified time | relevance | path

Searched refs:upTypeListSet (Results 1 – 4 of 4) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Meta/
H A DdescentFunctions.cc214 metaLevel->upTypeListSet(s->getOpDeclarations(), in metaMaximalAritySet()
H A DmetaLevel.hh149 DagNode* upTypeListSet(const Vector<OpDeclaration>& opDecls,
H A DmetaUp.cc786 MetaLevel::upTypeListSet(const Vector<OpDeclaration>& opDecls, in upTypeListSet() function in MetaLevel
H A DChangeLog1357 * descentFunctions.cc (metaMaximalAritySet): use upTypeListSet()
1360 * metaLevel.hh (class MetaLevel): added decls for upTypeListSet()
1363 * metaUp.cc (upTypeListSet): added