1 /*++
2 Copyright (c) 2011 Microsoft Corporation
3 
4 Module Name:
5 
6     elim_uncnstr_tactic.h
7 
8 Abstract:
9 
10     Eliminated applications containing unconstrained variables.
11 
12 Author:
13 
14     Leonardo (leonardo) 2011-10-22
15 
16 Notes:
17 
18 --*/
19 #pragma once
20 
21 #include "util/params.h"
22 
23 class tactic;
24 class ast_manager;
25 
26 tactic * mk_elim_uncnstr_tactic(ast_manager & m, params_ref const & p = params_ref());
27 
28 /*
29   ADD_TACTIC("elim-uncnstr", "eliminate application containing unconstrained variables.", "mk_elim_uncnstr_tactic(m, p)")
30 */
31