veci_t Struct Reference

#include <satVec.h>

Public Attributes
int	cap
int	size
int *	ptr

Detailed Description

Definition at line 31 of file satVec.h.

Member Data Documentation

cap

int veci_t::cap

Definition at line 32 of file satVec.h.

ptr

int* veci_t::ptr

Definition at line 34 of file satVec.h.

size

int veci_t::size

Definition at line 33 of file satVec.h.

---

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

• src/sat/bsat/satVec.h