pointer_logict::pointert Struct Reference

#include <pointer_logic.h>

Public Member Functions
	pointert (mp_integer _obj, mp_integer _off)

Public Attributes
mp_integer	object
mp_integer	offset

Detailed Description

Definition at line 28 of file pointer_logic.h.

Constructor & Destructor Documentation

pointert()

pointer_logict::pointert::pointert ( mp_integer  _obj, mp_integer  _off  )

inline

Definition at line 32 of file pointer_logic.h.

Member Data Documentation

object

mp_integer pointer_logict::pointert::object

Definition at line 30 of file pointer_logic.h.

offset

mp_integer pointer_logict::pointert::offset

Definition at line 30 of file pointer_logic.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/flattening/pointer_logic.h