Home
last modified time | relevance | path

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

/dports/lang/maude/maude-2.7.1/src/MSCP10/
H A Dscp_compiler.cc115 membasent[-baseNT].smallestPrec = precNT; in insertBasePrecNT()
116 membasent[-baseNT].largestPrec = precNT; in insertBasePrecNT()
127 memabslnt[-maxabslnt].precNT = precNT; in insertBasePrecNT()
133 membasent[-baseNT].smallestPrec = precNT; in insertBasePrecNT()
144 memabslnt[-maxabslnt].precNT = precNT; in insertBasePrecNT()
149 membasent[-baseNT].largestPrec = precNT; in insertBasePrecNT()
160 memabslnt[-maxabslnt].precNT = precNT; in insertBasePrecNT()
172 while (precNT >= memabslnt[-nexAbs].precNT) { in insertBasePrecNT()
173 if (precNT == memabslnt[-nexAbs].precNT) { in insertBasePrecNT()
189 memabslnt[-maxabslnt].precNT = precNT; in insertBasePrecNT()
[all …]
H A Dscp_kernel.hh51 int precNT; member in ScpAbslNT