Searched refs:satisfiable (Results 1 – 1 of 1) sorted by relevance
1284 boolean_t satisfiable; in require_any_satisfied() local1289 satisfiable = B_FALSE; in require_any_satisfied()1305 satisfiable = B_TRUE; in require_any_satisfied()1308 return ((!satbility || satisfiable) ? 0 : -1); in require_any_satisfied()