Home
last modified time | relevance | path

Searched refs:nrKinds (Results 1 – 3 of 3) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DvisibleModule.cc69 int nrKinds = getConnectedComponents().length(); in showSummary() local
71 "\n\tkinds: " << nrKinds << in showSummary()
72 "\n\tsorts: " << getSorts().length() - nrKinds << in showSummary()
85 int nrKinds = kinds.length(); in showKinds() local
86 for (int i = 0; i < nrKinds; i++) in showKinds()
96 if (i + 1 < nrKinds) in showKinds()
H A DChangeLog1339 * doParse.cc (getParserStats): commented out unused variable nrKinds
/dports/lang/maude/maude-2.7.1/src/Meta/
H A DmetaUp.cc729 int nrKinds = kinds.length(); in upKindSet() local
730 if (nrKinds == 0) in upKindSet()
733 if (nrKinds == 1) in upKindSet()
735 Vector<DagNode*> args(nrKinds); in upKindSet()
736 for (int i = 0; i < nrKinds; i++) in upKindSet()