CBMC
|
Represents an entry in the write_stackt. More...
#include "abstract_object.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.