docs/api/set__claims_8h_source.html

#ifndef CPROVER_GOTO_PROGRAMS_SET_CLAIMS_H

#define CPROVER_GOTO_PROGRAMS_SET_CLAIMS_H


#include <goto-programs/goto_functions.h>


void set_claims(

  goto_functionst &goto_functions,

  const std::list<std::string> &claims);


void set_claims(

  goto_programt &goto_program,

  const std::list<std::string> &claims);


#endif

goto_functionst
Definition goto_functions.h:56

goto_programt
A generic container class for a control flow graph for one function, in the form of a goto-program.
Definition goto_program.h:63

goto_functions.h

set_claims
void set_claims(goto_functionst &goto_functions, const std::list< std::string > &claims)
Definition set_claims.cpp:50