Searched defs:restrict_to_universe (Results 1 – 5 of 5) sorted by relevance
149 void model_checker::restrict_to_universe(expr * sk, obj_hashtable<expr> const & universe) { in restrict_to_universe() function in smt::model_checker
85 void mbqi::restrict_to_universe(expr* sk, ptr_vector<expr> const& universe) { in restrict_to_universe() function in q::mbqi
83 void mbqi::restrict_to_universe(expr* sk, ptr_vector<expr> const& universe) { in restrict_to_universe() function in q::mbqi
1374 void restrict_to_universe(expr * sk, ptr_vector<expr> const & universe) { in restrict_to_universe() function in smtfd::mbqi