cprover
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().