ProgramVerifier Class Reference

#include <programVerification.h>

Public Member Functions
bool	verify (SgFunctionDeclaration *, Conditions *)
std::string	report ()

Detailed Description

Definition at line 8 of file programVerification.h.

Member Function Documentation

bool ProgramVerifier::verify	(	SgFunctionDeclaration *	,
		Conditions *
	)

std::string ProgramVerifier::report

(

)

---

The documentation for this class was generated from the following file:

• programVerification.h