Lines Matching refs:is_empty
221 if v.is_empty() or not v.sat_set:
738 assert(tmp_vars.is_empty() or not tmp_vars.is_satisfied())
786 not vc_intersection.is_empty():
882 assert(orig_dep_vars.is_empty() or
968 assert(orig_dep_vars.is_empty() or not orig_dep_vars.is_satisfied())
976 (res or errs or dep_vars.is_empty()))
988 assert(const_dep_vars.is_empty() or not const_dep_vars.is_satisfied())
1355 comp_vars.is_empty():
1438 if s_v.is_empty():
1442 if skip or (not v.is_empty() and not v.sat_set):
1455 if r_v.is_empty():
1459 if not skip and (v.is_empty() or v.sat_set):
1541 if (inter.is_empty() or inter.sat_set) and \