pointer_logict::pointert Struct Reference

#include <pointer_logic.h>

Public Member Functions
	pointert ()
	pointert (std::size_t _obj, mp_integer _off)

Public Attributes
std::size_t	object
mp_integer	offset

Detailed Description

Definition at line 29 of file pointer_logic.h.

Constructor & Destructor Documentation

pointert() [1/2]

pointer_logict::pointert::pointert ( )

inline

Definition at line 34 of file pointer_logic.h.

pointert() [2/2]

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

inline

Definition at line 38 of file pointer_logic.h.

Member Data Documentation

object

std::size_t pointer_logict::pointert::object

Definition at line 31 of file pointer_logic.h.

offset

mp_integer pointer_logict::pointert::offset

Definition at line 32 of file pointer_logic.h.

---

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

• solvers/flattening/pointer_logic.h