Searched refs:string_int_axioms (Results 1 – 4 of 4) sorted by relevance
156 string_int_axioms.reset(); in reset_internal_data_structures()7944 if (!string_int_axioms.contains(axiom)) { in finalcheck_str2int()7945 string_int_axioms.insert(axiom); in finalcheck_str2int()7978 if (!string_int_axioms.contains(axiom)) { in finalcheck_str2int()7979 string_int_axioms.insert(axiom); in finalcheck_str2int()7981 m_trail_stack.push(insert_obj_trail<expr>(string_int_axioms, axiom)); in finalcheck_str2int()7988 if (!string_int_axioms.contains(axiom)) { in finalcheck_str2int()7989 string_int_axioms.insert(axiom); in finalcheck_str2int()7991 m_trail_stack.push(insert_obj_trail<expr>(string_int_axioms, axiom)); in finalcheck_str2int()8032 if (!string_int_axioms.contains(axiom)) { in finalcheck_int2str()[all …]
467 obj_hashtable<expr> string_int_axioms; variable
157 string_int_axioms.reset(); in reset_internal_data_structures()8222 if (!string_int_axioms.contains(axiom)) { in finalcheck_str2int()8223 string_int_axioms.insert(axiom); in finalcheck_str2int()8256 if (!string_int_axioms.contains(axiom)) { in finalcheck_str2int()8257 string_int_axioms.insert(axiom); in finalcheck_str2int()8259 … m_trail_stack.push(insert_obj_trail<theory_str, expr>(string_int_axioms, axiom)); in finalcheck_str2int()8266 if (!string_int_axioms.contains(axiom)) { in finalcheck_str2int()8267 string_int_axioms.insert(axiom); in finalcheck_str2int()8269 … m_trail_stack.push(insert_obj_trail<theory_str, expr>(string_int_axioms, axiom)); in finalcheck_str2int()8310 if (!string_int_axioms.contains(axiom)) { in finalcheck_int2str()[all …]
520 obj_hashtable<expr> string_int_axioms; variable