veci_t Struct Reference

#include <satVec.h>

Data Fields
int	size
int	cap
int *	ptr

---

Detailed Description

Definition at line 28 of file satVec.h.

---

Field Documentation

int veci_t::cap

Definition at line 30 of file satVec.h.

int* veci_t::ptr

Definition at line 31 of file satVec.h.

int veci_t::size

Definition at line 29 of file satVec.h.

---

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

• src/sat/bsat/satVec.h