Searched refs:metaTypeList (Results 1 – 4 of 4) sorted by relevance
| /dports/lang/maude/maude-2.7.1/src/Meta/ |
| H A D | metaDownOps.cc | 45 MetaLevel::downPolymorphTypeList(DagNode* metaTypeList, in downPolymorphTypeList() argument
51 Symbol* mt = metaTypeList->symbol(); in downPolymorphTypeList()
56 for (DagArgumentIterator i(metaTypeList); i.valid(); i.next(), pos++) in downPolymorphTypeList()
73 if (!downType(metaTypeList, m, t)) in downPolymorphTypeList()
|
| H A D | metaDown.cc | 406 MetaLevel::downTypeList(DagNode* metaTypeList, MixfixModule* m, Vector<Sort*>& typeList) in downTypeList() argument
409 Symbol* mt = metaTypeList->symbol(); in downTypeList()
413 for (DagArgumentIterator i(metaTypeList); i.valid(); i.next()) in downTypeList()
422 else if (downType(metaTypeList, m, t)) in downTypeList()
|
| H A D | metaLevel.hh | 191 bool downTypeList(DagNode* metaTypeList, MixfixModule* m, Vector<Sort*>& typeList);
380 bool downPolymorphTypeList(DagNode* metaTypeList,
|
| /dports/math/dune-common/dune-common-df65b1282ea89ad40d2cb6565983f7e633ccce31/dune/common/test/ |
| H A D | typelisttest.cc | 231 auto metaTypeList = in main()
239 test.check((getMetaTypeInfos)(metaTypeList) == expectedMetaTypeInfoList) in main()
|