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