Msat_ClauseVec_t_ Struct Reference

#include <msatInt.h>

Collaboration diagram for Msat_ClauseVec_t_:

[legend]

Data Fields
Msat_Clause_t **	pArray
int	nSize
int	nCap

---

Detailed Description

Definition at line 170 of file msatInt.h.

---

Field Documentation

int Msat_ClauseVec_t_::nCap

Definition at line 174 of file msatInt.h.

int Msat_ClauseVec_t_::nSize

Definition at line 173 of file msatInt.h.

Msat_Clause_t** Msat_ClauseVec_t_::pArray

Definition at line 172 of file msatInt.h.

---

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

• src/sat/msat/msatInt.h