goto2graph.h File Reference

Instrumenter. More...

#include <map>
#include <util/namespace.h>
#include <util/message.h>
#include <goto-programs/goto_model.h>
#include "event_graph.h"
#include "wmm.h"

Include dependency graph for goto2graph.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	instrumentert
class	instrumentert::cfg_visitort

Macros
#define	add_all_pos(it, target, source)

Detailed Description

Instrumenter.

Definition in file goto2graph.h.

Macro Definition Documentation

add_all_pos

#define add_all_pos	(		it,
			target,
			source
	)

Value:

    for(std::set<nodet>::const_iterator \
      it=(source).begin(); \
      it!=(source).end(); ++it) \
      (target).insert(*it);

Definition at line 204 of file goto2graph.h.