Searched defs:Z3_ast_vector_ref (Results 1 – 2 of 2) sorted by relevance
26 struct Z3_ast_vector_ref : public api::object { struct28 Z3_ast_vector_ref(api::context& c, ast_manager & m): api::object(c), m_ast_vector(m) {} in Z3_ast_vector_ref() argument29 ~Z3_ast_vector_ref() override {} in ~Z3_ast_vector_ref() argument
26 def config_mode(self, *args, **kwargs):27 """Keymile does not use config mode."""28 return ""29 30 def exit_config_mode(self, *args, **kwargs):