12 #ifndef CPROVER_GOTO_PROGRAMS_LOOP_IDS_H
13 #define CPROVER_GOTO_PROGRAMS_LOOP_IDS_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A collection of goto functions.
A generic container class for the GOTO intermediate representation of one function.
void show_loop_ids(ui_message_handlert::uit, const goto_modelt &)
Loop id used to identify loops.
bool operator<(const loop_idt &o) const
loop_idt(const loop_idt &other)=default
loop_idt(const irep_idt &function_id, const unsigned int loop_number)
bool operator!=(const loop_idt &o) const
bool operator==(const loop_idt &o) const