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.
symbolt
symbol_exprt
1 parent 1b15dcc commit 29be381Copy full SHA for 29be381
doc/architectural/central-data-structures.md
@@ -80,6 +80,11 @@ See the `lazy_goto_modelt` class which is defined and documented in
80
[`jbmc/src/java_bytecode/lazy_goto_model.h`](../../jbmc/src/java_bytecode/lazy_goto_model.h)
81
for details of lazy loading.
82
83
+For further information about symbols see the `symbolt` class which is defined
84
+and documented in [`src/util/symbol.h`](../../src/util/symbol.h) and the
85
+`symbol_exprt` (symbol expression) class which is defined and documented in
86
+[`src/util/std_expr.h`](../../src/util/std_expr.h).
87
+
88
## goto_functiont
89
90
A `goto_functiont` is also defined as a pair. It's designed to represent a function
0 commit comments