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