interpreter.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Interpreter for GOTO Programs
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_PROGRAMS_INTERPRETER_H
#define CPROVER_GOTO_PROGRAMS_INTERPRETER_H
 
class goto_modelt;
class message_handlert;
 
void interpreter(
  const goto_modelt &,
  message_handlert &);
 
#endif // CPROVER_GOTO_PROGRAMS_INTERPRETER_H