1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
/*++ Copyright (c) 2012 Microsoft Corporation Module Name: goal_util.h Abstract: goal goodies. Author: Leonardo de Moura (leonardo) 2012-01-03. Revision History: --*/ #pragma once class goal; bool has_term_ite(goal const & g);