Msat_ClauseVec_t_ Struct Reference

#include <msatInt.h>

Data Fields
Msat_Clause_t **	pArray
int	nSize
int	nCap

Detailed Description

Definition at line 155 of file msatInt.h.

Field Documentation

int Msat_ClauseVec_t_::nCap

Definition at line 159 of file msatInt.h.

int Msat_ClauseVec_t_::nSize

Definition at line 158 of file msatInt.h.

Msat_Clause_t** Msat_ClauseVec_t_::pArray

Definition at line 157 of file msatInt.h.

---

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

• msatInt.h