goto_program_irep.h

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

Module: goto_programt -> irep conversion

Author: CM Wintersteiger

Date: May 2007

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

/// \file
/// goto_programt -> irep conversion

#ifndef CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H
#define CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H

#include <goto-programs/goto_program.h>

void convert(const goto_programt::instructiont &instruction, irept &irep);
void convert(const irept &irep, goto_programt::instructiont &instruction);

void convert(const goto_programt &program, irept &irep);
void convert(const irept &irep, goto_programt &program);

#endif // CPROVER_GOTO_PROGRAMS_GOTO_PROGRAM_IREP_H