Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/Core/
H A DvariableInfo.hh82 MAX_NR_PROTECTED_VARIABLES = 10000000 enumerator
134 if (original >= MAX_NR_PROTECTED_VARIABLES) in remapIndex()
135 return constructionIndices[original - MAX_NR_PROTECTED_VARIABLES].newIndex; in remapIndex()
142 if (index >= MAX_NR_PROTECTED_VARIABLES) in useIndex()
144 index -= MAX_NR_PROTECTED_VARIABLES; in useIndex()
177 return index < MAX_NR_PROTECTED_VARIABLES; in isReal()
H A DvariableInfo.cc70 return MAX_NR_PROTECTED_VARIABLES + nrConstructionIndices; in makeConstructionIndex()
H A DChangeLog3626 MAX_NR_PROTECTED_VARIABLES since we cannot use -ve indices for