goto2graph.cpp File Reference

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

#include "goto2graph.h"
#include <vector>
#include <string>
#include <fstream>
#include <util/options.h>
#include <util/prefix.h>
#include <linking/static_lifetime_init.h>
#include <goto-instrument/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 399 of file goto2graph.cpp.