Searched refs:is_non_qffp_predicate (Results 1 – 2 of 2) sorted by relevance
112 struct is_non_qffp_predicate { struct119 is_non_qffp_predicate(ast_manager & _m) : m(_m), bu(m), fu(m), au(m) {} in is_non_qffp_predicate() argument146 return !test<is_non_qffp_predicate>(g); in operator ()() argument