Searched refs:satisfiable (Results 1 – 1 of 1) sorted by relevance
1282 boolean_t satisfiable; in require_any_satisfied() local1287 satisfiable = B_FALSE; in require_any_satisfied()1303 satisfiable = B_TRUE; in require_any_satisfied()1306 return ((!satbility || satisfiable) ? 0 : -1); in require_any_satisfied()