1 /*++ 2 Copyright (c) 2011 Microsoft Corporation 3 4 Module Name: 5 6 dl_rewriter.h 7 8 Abstract: 9 10 Basic rewriting rules for atalog finite domains. 11 12 Author: 13 14 Nikolaj Bjorner (nbjorner) 2012-03-09 15 16 Notes: 17 18 --*/ 19 #pragma once 20 21 #include "ast/dl_decl_plugin.h" 22 #include "ast/rewriter/rewriter_types.h" 23 24 class dl_rewriter { 25 datalog::dl_decl_util m_util; 26 public: dl_rewriter(ast_manager & m)27 dl_rewriter(ast_manager & m):m_util(m) {} get_fid()28 family_id get_fid() const { return m_util.get_family_id(); } 29 br_status mk_app_core(func_decl * f, unsigned num_args, expr * const * args, expr_ref & result); 30 }; 31 32