Lines Matching refs:clauseset
1161 const cfg_clausedef_t * const *clauseset;
1207 for (clauseset = clausesets; *clauseset != NULL; clauseset++) {
1208 for (clause = *clauseset;
1408 const cfg_clausedef_t * const *clauseset;
1410 for (clauseset = obj->value.map.clausesets;
1411 *clauseset != NULL;
1412 clauseset++)
1417 for (clause = *clauseset;
1456 const cfg_clausedef_t * const *clauseset;
1459 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
1460 for (clause = *clauseset;
1514 const cfg_clausedef_t * const *clauseset;
1530 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
1531 for (clause = *clauseset;