programVerification.h File Reference

Go to the source code of this file.

Classes
class	ProgramVerifier

Functions
Conditions *	classInvariants (SgClassDefinition *)
Conditions *	functionPrePostConditions (SgFunctionDeclaration *)
Conditions *	combineConditions (Conditions *, Conditions *)

Function Documentation

Conditions* classInvariants

(

SgClassDefinition *

)

Conditions* functionPrePostConditions

(

SgFunctionDeclaration *

)

Conditions* combineConditions	(	Conditions *	,
		Conditions *
	)