12 #ifndef CPROVER_GOTO_INSTRUMENT_COVER_UTIL_H 13 #define CPROVER_GOTO_INSTRUMENT_COVER_UTIL_H 33 #endif // CPROVER_GOTO_INSTRUMENT_COVER_UTIL_H void collect_conditions_rec(const exprt &src, std::set< exprt > &dest)
std::set< exprt > collect_decisions(const exprt &src)
void collect_decisions_rec(const exprt &src, std::set< exprt > &dest)
bool is_condition(const exprt &src)
instructionst::const_iterator const_targett
std::set< exprt > collect_conditions(const exprt &src)
void collect_operands(const exprt &src, std::vector< exprt > &dest)
Base class for all expressions.