Searched refs:satisfiable (Results 1 – 1 of 1) sorted by relevance
1276 boolean_t satisfiable; in require_any_satisfied() local1281 satisfiable = B_FALSE; in require_any_satisfied()1297 satisfiable = B_TRUE; in require_any_satisfied()1300 return (!satbility || satisfiable ? 0 : -1); in require_any_satisfied()