Author: Diffblue Ltd. More...
#include <utility>
#include <unordered_set>
#include "irep.h"
#include "symbol_table.h"
This browser is not able to show SVG: try Firefox, Chrome, Safari, or Opera instead.
Go to the source code of this file.
Author: Diffblue Ltd.
A symbol table writer that records which entries have been updated
Definition in file journalling_symbol_table.h.