Msat_IntVec_t_ Struct Reference

#include <msatInt.h>

Data Fields
int *	pArray
int	nSize
int	nCap

---

Detailed Description

Definition at line 177 of file msatInt.h.

---

Field Documentation

int Msat_IntVec_t_::nCap

Definition at line 181 of file msatInt.h.

int Msat_IntVec_t_::nSize

Definition at line 180 of file msatInt.h.

int* Msat_IntVec_t_::pArray

Definition at line 179 of file msatInt.h.

---

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

• src/sat/msat/msatInt.h