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 e8ef37d commit 182fbd7Copy full SHA for 182fbd7
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