pointer_logict::pointert Struct Reference

#include <pointer_logic.h>

Public Member Functions
	pointert ()=default
	pointert (unsigned _obj, const BigInt &_off)

Public Attributes
unsigned	object
BigInt	offset

Constructor & Destructor Documentation

pointert() [1/2]

pointer_logict::pointert::pointert ( )

default

pointert() [2/2]

pointer_logict::pointert::pointert ( unsigned _obj, const BigInt & _off )

inline

Member Data Documentation

object

unsigned pointer_logict::pointert::object

offset

BigInt pointer_logict::pointert::offset

---

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

• src/solvers/prop/pointer_logic.h