Fraig_NodeVecStruct_t_ Struct Reference

#include <fraigInt.h>

Collaboration diagram for Fraig_NodeVecStruct_t_:

[legend]

Data Fields
int	nCap
int	nSize
Fraig_Node_t **	pArray

---

Detailed Description

Definition at line 284 of file fraigInt.h.

---

Field Documentation

int Fraig_NodeVecStruct_t_::nCap

Definition at line 286 of file fraigInt.h.

int Fraig_NodeVecStruct_t_::nSize

Definition at line 287 of file fraigInt.h.

Fraig_Node_t** Fraig_NodeVecStruct_t_::pArray

Definition at line 288 of file fraigInt.h.

---

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

• src/sat/fraig/fraigInt.h