Searched refs:any_non_atomic_constraints_p (Results 1 – 1 of 1) sorted by relevance
325 any_non_atomic_constraints_p (term_list& t) in any_non_atomic_constraints_p() function359 if (any_non_atomic_constraints_p (ts)) in analyze_atom()