Searched refs:slvndx_a (Results 1 – 4 of 4) sorted by relevance
53 static int subsumes(const flags_t *a, unsigned slvndx_a, const flags_t *b) in subsumes() argument55 if (slvndx_a != INFEASIBLE_SLVNDX) { in subsumes()