Lines Matching defs:clauseset
1636 const cfg_clausedef_t * const *clauseset;
1686 for (clauseset = clausesets; *clauseset != NULL; clauseset++) {
1687 for (clause = *clauseset;
1927 const cfg_clausedef_t * const *clauseset;
1932 for (clauseset = obj->value.map.clausesets;
1933 *clauseset != NULL;
1934 clauseset++)
1939 for (clause = *clauseset;
2005 const cfg_clausedef_t * const *clauseset;
2011 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
2012 for (clause = *clauseset; clause->name != NULL; clause++) {
2039 const cfg_clausedef_t * const *clauseset;
2058 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
2059 for (clause = *clauseset; clause->name != NULL; clause++) {
2118 cfg_clausedef_t * const * clauseset;
2124 clauseset = map->of;
2125 if (*clauseset == NULL) {
2128 *clauses = *clauseset;
2130 while ((*clauseset)[*idx].name == NULL) {
2131 *clauses = (*++clauseset);
2135 return ((*clauseset)[*idx].name);
2142 cfg_clausedef_t * const * clauseset;
2148 clauseset = map->of;
2149 while (*clauseset != NULL && *clauseset != *clauses) {
2150 clauseset++;
2152 INSIST(*clauseset == *clauses);
2154 while ((*clauseset)[*idx].name == NULL) {
2156 *clauses = (*++clauseset);
2160 return ((*clauseset)[*idx].name);
3197 const cfg_clausedef_t * const *clauseset;
3208 for (clauseset = map->clausesets; *clauseset != NULL; clauseset++) {
3209 for (clause = *clauseset; clause->name != NULL; clause++) {