Predicate to be used with the exprt::visit() function. More...

Collaboration diagram for find_is_fresh_calls_visitort:

Public Member Functions
	find_is_fresh_calls_visitort ()

std::set< goto_programt::targett, goto_programt::target_less_than > &	is_fresh_calls ()

void	clear_set ()

void	operator() (goto_programt &prog)

Protected Attributes
std::set< goto_programt::targett, goto_programt::target_less_than >	function_set

Detailed Description

Predicate to be used with the exprt::visit() function.

It will return the set of function calls within a goto program.

Definition at line 99 of file memory_predicates.h.

Constructor & Destructor Documentation

find_is_fresh_calls_visitort::find_is_fresh_calls_visitort ( )

inline

Definition at line 102 of file memory_predicates.h.

void find_is_fresh_calls_visitort::clear_set ( )

Definition at line 87 of file memory_predicates.cpp.

std::set< goto_programt::targett, goto_programt::target_less_than > & find_is_fresh_calls_visitort::is_fresh_calls ( )

Definition at line 82 of file memory_predicates.cpp.

void find_is_fresh_calls_visitort::operator() ( goto_programt & prog )

Definition at line 92 of file memory_predicates.cpp.

std::set<goto_programt::targett, goto_programt::target_less_than> find_is_fresh_calls_visitort::function_set

protected

Definition at line 115 of file memory_predicates.h.

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