Lines Matching defs:clauseset
2221 const cfg_clausedef_t *const *clauseset;
2309 for (clauseset = clausesets; *clauseset != NULL; clauseset++) {
2310 for (clause = *clauseset; clause->name != NULL;
2561 const cfg_clausedef_t *const *clauseset;
2566 for (clauseset = obj->value.map.clausesets; *clauseset != NULL;
2567 clauseset++)
2572 for (clause = *clauseset; clause->name != NULL; clause++) {
2634 const cfg_clausedef_t *const *clauseset;
2640 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
2641 for (clause = *clauseset; clause->name != NULL; clause++) {
2679 const cfg_clausedef_t *const *clauseset;
2698 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
2699 for (clause = *clauseset; clause->name != NULL; clause++) {
2770 cfg_clausedef_t *const *clauseset;
2776 clauseset = map->of;
2777 if (*clauseset == NULL) {
2780 *clauses = *clauseset;
2782 while ((*clauseset)[*idx].name == NULL) {
2783 *clauses = (*++clauseset);
2788 return (*clauseset)[*idx].name;
2794 cfg_clausedef_t *const *clauseset;
2800 clauseset = map->of;
2801 while (*clauseset != NULL && *clauseset != *clauses) {
2802 clauseset++;
2804 INSIST(*clauseset == *clauses);
2806 while ((*clauseset)[*idx].name == NULL) {
2808 *clauses = (*++clauseset);
2813 return (*clauseset)[*idx].name;
3878 const cfg_clausedef_t *const *clauseset;
3889 for (clauseset = map->clausesets; *clauseset != NULL; clauseset++) {
3890 for (clause = *clauseset; clause->name != NULL; clause++) {