cprover
graph_visitor.cpp File Reference

graph visitor for computing edges involved for fencing More...

#include "graph_visitor.h"
#include "fence_inserter.h"
Include dependency graph for graph_visitor.cpp:

Go to the source code of this file.

Macros

#define BTWN1
 

Detailed Description

graph visitor for computing edges involved for fencing

Definition in file graph_visitor.cpp.

Macro Definition Documentation

§ BTWN1

#define BTWN1

Definition at line 17 of file graph_visitor.cpp.