• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/

Lines Matching refs:pos

231 	int pos = 0;
237 pos += 32;
242 pos += 16;
246 pos += 8;
250 pos += 4;
254 pos += 2;
258 pos += 1;
260 return pos;
274 int pos = 0;
280 pos += 32;
285 pos += 16;
289 pos += 8;
293 pos += 4;
297 pos += 2;
301 pos += 1;
303 return pos;
652 word low, high, offset, pos;
682 pos = el / BPW;
684 bits_ptr = Bits(bitmap) + pos;
742 bits_ptr = Bits(new_bitmap) + pos - low;
791 word low, high, offset, pos, limit;
818 pos = lo0 / BPW;
821 bits_ptr = Bits(bitmap) + pos;
824 if (pos == limit) {
837 pos -= low;
841 bits_ptr = Bits(new_bitmap) + pos;
847 if (pos < limit) {
848 pos++;
852 while (pos < limit) {
858 pos -= low;
862 bits_ptr = Bits(new_bitmap) + pos;
869 pos++;
881 pos -= low;
885 bits_ptr = Bits(new_bitmap) + pos;
946 word pos;
1061 pos = low + 1;
1063 bits_ptr2 = Bits(bitmap2) + pos + delta;
1065 while (pos < high) {
1072 pos++;
1159 word pos;
1311 pos = low + 1;
1313 bits_ptr2 = Bits(bitmap2) + pos + delta - 1;
1315 while (pos < high) {
1326 pos++;
1461 word pos;
1528 /* pos is the index with new_bitmap */
1529 for(pos=0; pos < new_words; pos++) {
1530 if ((pos >= start) && (pos <= stop)) {
1538 if ((pos >= start2) && (pos <= stop2)) {
1811 word low, high, offset, pos;
1821 pos = -1;
1823 pos = next / BPW;
1826 if (pos > high) {
1829 if (pos < low) {
1830 pos = low;
1831 bits_ptr = Bits(bitmap) + pos;
1834 bits_ptr = Bits(bitmap) + pos;
1839 if (pos >= high) {
1842 pos++;
1847 next = pos * BPW + lsb(bits);
1891 word low, high, offset, pos;
1903 pos = next / BPW;
1906 if (pos < low) {
1909 if (pos > high) {
1910 pos = high;
1911 bits_ptr = Bits(bitmap) + pos;
1914 bits_ptr = Bits(bitmap) + pos;
1919 if (pos <= low) {
1922 pos--;
1927 next = pos * BPW + msb(bits);
1966 word low, high, offset, pos;
1976 pos = next / BPW;
1978 if (pos >= low && pos <= high) {
1979 bits_ptr = Bits(bitmap) + pos;
1983 if (pos >= high) {
1986 pos++;
1991 next = pos * BPW + lsb(nobits);
2033 word low, high, offset, pos;
2043 pos = next / BPW;
2045 if (pos >= low && pos <= high) {
2046 bits_ptr = Bits(bitmap) + pos;
2050 if (pos <= low) {
2053 pos--;
2058 next = pos * BPW + msb(nobits);
2097 word high, pos;
2102 pos = Low(bitmap);
2103 bits_ptr = Bits(bitmap) + pos;
2106 while (pos <= high) {
2108 pos++;
2133 word low, high, offset, pos;
2144 pos = el / BPW;
2146 if (pos < low || pos > high) {
2149 bits_ptr = Bits(bitmap) + pos;
2176 word low, high, offset, pos, limit;
2195 pos = min/BPW;
2198 bits_ptr = Bits(bitmap) + pos;
2200 if (pos == limit) {
2211 pos++;
2214 while (pos < limit) {
2219 pos++;
2272 word pos;
2315 pos = low;
2316 bits_ptr = Bits(bitmap) + pos;
2317 bits_ptr2 = Bits(bitmap2) + pos + delta;
2319 while (pos <= high) {
2340 pos++;