xml_goto_function.h

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

Module: Convert goto functions into xml structures and back

Author: CM Wintersteiger

Date: June 2006

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

/// \file
/// Convert goto functions into xml structures and back

#ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_H
#define CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_H

#include <util/xml.h>
#include <goto-programs/goto_functions.h>

void convert(const xmlt&, goto_functionst::goto_functiont&);
void convert(const goto_functionst::goto_functiont&, xmlt&);

#endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_H