Lines Matching defs:idx
2116 unsigned int *idx)
2121 REQUIRE(idx != NULL);
2129 *idx = 0;
2130 while ((*clauseset)[*idx].name == NULL) {
2135 return ((*clauseset)[*idx].name);
2140 unsigned int *idx)
2145 REQUIRE(idx != NULL);
2153 (*idx)++;
2154 while ((*clauseset)[*idx].name == NULL) {
2155 *idx = 0;
2160 return ((*clauseset)[*idx].name);