Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/Core/
H A DsortTable.hh83 int ctorTraverse(int position, int sortIndex) const;
220 SortTable::ctorTraverse(int position, int sortIndex) const in ctorTraverse() function in SortTable
H A DChangeLog2549 * sortTable.hh (class SortTable): made ctorTraverse() protected
2567 (ctorTraverse): added
/dports/lang/maude/maude-2.7.1/src/Interface/
H A Dsymbol.cc478 return ctorTraverse(0, 0); // HACK in isConstructor()
485 state = ctorTraverse(state, t); in isConstructor()
/dports/lang/maude/maude-2.7.1/src/S_Theory/
H A DS_Symbol.cc96 if (needToLookForNonCtor && !(ctorTraverse(0, sortIndex))) in computePath()