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

Lines Matching refs:next

1635 	    /* Low word might be empty, but then next guaranteed not. */
1788 word next;
1794 result = next_greater_member(vbm.wptr, vcurr.nint, &next);
1799 Return_Integer(vnext, tnext, next);
1805 /* Returns RES_SLACK if next is not curr+1. */
1812 word next;
1817 next = curr - offset + 1;
1819 if (next < 0) {
1823 pos = next / BPW;
1835 bits = *bits_ptr & BitsFrom(next % BPW);
1847 next = pos * BPW + lsb(bits);
1848 next += offset;
1849 *next_ptr = next;
1851 if (next == curr + 1) {
1868 word next;
1874 result = next_smaller_member(vbm.wptr, vcurr.nint, &next);
1879 Return_Integer(vnext, tnext, next);
1885 /* Returns RES_SLACK if next is not curr-1. */
1892 word next;
1897 next = curr - offset - 1;
1899 if (next < 0) {
1903 pos = next / BPW;
1915 bits = *bits_ptr & BitsTo(next % BPW);
1927 next = pos * BPW + msb(bits);
1928 next += offset;
1929 *next_ptr = next;
1931 if (next == curr - 1) {
1948 word next;
1953 next_greater_non_member(vbm.wptr, vcurr.nint, &next);
1955 Return_Integer(vnext, tnext, next);
1960 /* Returns RES_SLACK if next is not curr+1. */
1967 word next;
1972 next = curr - offset + 1;
1975 if (next >= 0) {
1976 pos = next / BPW;
1980 nobits = (~*bits_ptr) & BitsFrom(next % BPW);
1991 next = pos * BPW + lsb(nobits);
1995 next += offset;
1996 *next_ptr = next;
1998 if (next == curr + 1) {
2015 word next;
2020 next_smaller_non_member(vbm.wptr, vcurr.nint, &next);
2022 Return_Integer(vnext, tnext, next);
2027 /* Returns RES_SLACK if next is not curr+1. */
2034 word next;
2039 next = curr - offset - 1;
2042 if (next >= 0) {
2043 pos = next / BPW;
2047 nobits = (~*bits_ptr) & BitsTo(next % BPW);
2058 next = pos * BPW + msb(nobits);
2062 next += offset;
2063 *next_ptr = next;
2065 if (next == curr - 1) {