goto2graph.cpp File Reference

Turns a goto-program into an abstract event graph. More...

#include "goto2graph.h"
#include <vector>
#include <string>
#include <fstream>
#include <limits>
#include <cstdlib>
#include <util/prefix.h>
#include <util/cprover_prefix.h>
#include <util/options.h>
#include <util/message.h>
#include <util/std_expr.h>
#include "../rw_set.h"
#include "fence.h"

Include dependency graph for goto2graph.cpp:

Go to the source code of this file.

Functions
event_idt	alt_copy_segment (wmm_grapht &alt_egraph, event_idt begin, event_idt end)

Detailed Description

Turns a goto-program into an abstract event graph.

Definition in file goto2graph.cpp.

Function Documentation

alt_copy_segment()

event_idt alt_copy_segment	(	wmm_grapht &	alt_egraph,
		event_idt	begin,
		event_idt	end
	)

Definition at line 396 of file goto2graph.cpp.

References grapht< N >::add_edge().

Referenced by instrumentert::cfg_visitort::visit_cfg_duplicate().