abstract_pointer_tag Class Reference

#include <abstract_pointer_object.h>

Inheritance diagram for abstract_pointer_tag:

Detailed Description

Definition at line 16 of file abstract_pointer_object.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/abstract_pointer_object.h