Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/Core/
H A DvariableInfo.cc102 Vector<int> conflictCandidates; in computeIndexRemapping() local
117 FOR_EACH_CONST(j, Vector<int>, conflictCandidates) in computeIndexRemapping()
127 conflictCandidates.swap(nextConflictCandidates); in computeIndexRemapping()