We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6a0ce03 commit 85524deCopy full SHA for 85524de
src/analyses/README.md
@@ -96,7 +96,8 @@ To be documented.
96
97
Implemented in `src/analyses/dependence_graph.h(cpp)`. It is a graph and an
98
abstract interpreter at the same time. The abstract interpretation nature
99
-allows a dependence graph to build itself (the graph) from a given GOTO program.
+allows a dependence graph to [build itself](#Construction)
100
+(the graph) from a given GOTO program.
101
102
A dependence graph extends the class `grapht` with `dep_nodet` as the type of
103
nodes (see `src/util/graph.h` for more details about
0 commit comments