/*******************************************************************\

Module: Loop IDs

Author: Daniel Kroening, kroening@kroening.com

\*******************************************************************/

#ifndef CPROVER_CBMC_LOOP_IDS_H
#define CPROVER_CBMC_LOOP_IDS_H

#include <ui_message.h>

#include <goto-programs/goto_functions.h>

void set_loop_ids(
  goto_functionst &goto_functions);

void show_loop_ids(
  ui_message_handlert::uit ui,
  const goto_functionst &goto_functions);

#endif
