Searched refs:ruleassertions (Results 1 – 2 of 2) sorted by relevance
48 Queue ruleassertions; /* Queue of all assertion rules */ member
315 for (ii = 0; ii < solv->ruleassertions.count; ii++) in makeruledecisions()317 ri = solv->ruleassertions.elements[ii]; in makeruledecisions()495 if (ii < solv->ruleassertions.count) in makeruledecisions()501 for (ii = 0; ii < solv->ruleassertions.count; ii++) in makeruledecisions()503 ri = solv->ruleassertions.elements[ii]; in makeruledecisions()546 if (ii == solv->ruleassertions.count) in makeruledecisions()1331 queue_push(&solv->ruleassertions, r - solv->rules); in setpropagatelearn()1439 queue_init(&solv->ruleassertions); in solver_create()1477 queue_free(&solv->ruleassertions); in solver_free()2973 queue_empty(&solv->ruleassertions); in solver_solve()[all …]