CBMC
journalling_symbol_table.h File Reference

Author: Diffblue Ltd. More...

#include "irep.h"
#include "symbol_table_base.h"
#include <unordered_set>
#include <utility>
+ Include dependency graph for journalling_symbol_table.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  journalling_symbol_tablet
 A symbol table wrapper that records which entries have been updated/removedA caller can pass a journalling_symbol_tablet into a callee that is expected to mutate it somehow, then after it has run inspect the recording table's journal to determine what has changed more cheaply than examining every symbol. More...
 

Detailed Description

Author: Diffblue Ltd.

A symbol table writer that records which entries have been updated

Definition in file journalling_symbol_table.h.