CBMC: value_setst Class Reference
#include <value_sets.h>
Public Member Functions | |
| value_setst () | |
| virtual std::vector< exprt > | get_values (const irep_idt &function_id, goto_programt::const_targett l, const exprt &expr)=0 |
| virtual | ~value_setst () |
Definition at line 21 of file value_sets.h.
◆ valuest
|
inline |
◆ ~value_setst()
|
inlinevirtual |
◆ get_values()
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/pointer-analysis/value_sets.h