12 #ifndef CPROVER_GOTO_INSTRUMENT_LOOP_UTILS_H
13 #define CPROVER_GOTO_INSTRUMENT_LOOP_UTILS_H
32 std::function<
bool(
const exprt &)> predicate);
46 std::function<
bool(
const exprt &)> predicate);
Base class for all expressions.
instructionst::iterator targett
instructionst::const_iterator const_targett
parentt::loopt natural_loopt
std::set< exprt > assignst
natural_loops_mutablet::natural_loopt loopt
std::set< exprt > assignst
void get_assigns_lhs(const local_may_aliast &local_may_alias, goto_programt::const_targett t, const exprt &lhs, assignst &assigns)
goto_programt::targett get_loop_exit(const loopt &)
void get_assigns(const local_may_aliast &local_may_alias, const loopt &loop, assignst &assigns)
Compute natural loops in a goto_function.