set_claims.cpp File Reference

#include <goto-programs/set_claims.h>
#include <util/base/i2string.h>

Include dependency graph for set_claims.cpp:

Functions
void	convert_claims (const std::list< std::string > &claims, std::set< unsigned > &unsigned_claims)
void	set_claims (goto_programt &goto_program, const std::set< unsigned > &claims, unsigned &count)
void	set_claims (goto_programt &goto_program, const std::list< std::string > &claims)
void	set_claims (goto_functionst &goto_functions, const std::list< std::string > &claims)

Function Documentation

convert_claims()

void convert_claims	(	const std::list< std::string > &	claims,
		std::set< unsigned > &	unsigned_claims )

set_claims() [1/3]

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

set_claims() [2/3]

void set_claims	(	goto_programt &	goto_program,
		const std::list< std::string > &	claims )

set_claims() [3/3]

void set_claims	(	goto_programt &	goto_program,
		const std::set< unsigned > &	claims,
		unsigned &	count )