cprover
|
Represents an entry in the write_stackt. More...
#include <memory>
#include <stack>
#include <analyses/variable-sensitivity/abstract_environment.h>
#include <util/namespace.h>
#include <util/std_expr.h>
Go to the source code of this file.
Classes | |
class | write_stack_entryt |
class | simple_entryt |
class | offset_entryt |
Represents an entry in the write_stackt.
Definition in file write_stack_entry.h.