Searched refs:vcurr (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/icparc_solvers/ |
| H A D | bitmap.h | 118 extern int p_next_greater_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext);
120 extern int p_next_smaller_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext);
122 extern int p_next_greater_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext);
124 extern int p_next_smaller_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext);
|
| H A D | bitmap.c | 1786 p_next_greater_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
1794 result = next_greater_member(vbm.wptr, vcurr.nint, &next);
1866 p_next_smaller_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
1874 result = next_smaller_member(vbm.wptr, vcurr.nint, &next);
1946 p_next_greater_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
1953 next_greater_non_member(vbm.wptr, vcurr.nint, &next);
2013 p_next_smaller_non_member(value vbm, type tbm, value vcurr, type tcurr, value vnext, type tnext) argument
2020 next_smaller_non_member(vbm.wptr, vcurr.nint, &next);
|
Completed in 97 milliseconds