Prf_Man_t_ Struct Reference

#include <satProof2.h>

Data Fields
int	iFirst
int	iFirst2
int	nWords
word *	pInfo
Vec_Wrd_t *	vInfo
Vec_Int_t *	vSaved
Vec_Int_t *	vId2Pr

Detailed Description

Definition at line 41 of file satProof2.h.

Field Documentation

int Prf_Man_t_::iFirst

Definition at line 43 of file satProof2.h.

int Prf_Man_t_::iFirst2

Definition at line 44 of file satProof2.h.

int Prf_Man_t_::nWords

Definition at line 45 of file satProof2.h.

word* Prf_Man_t_::pInfo

Definition at line 46 of file satProof2.h.

Vec_Int_t* Prf_Man_t_::vId2Pr

Definition at line 49 of file satProof2.h.

Vec_Wrd_t* Prf_Man_t_::vInfo

Definition at line 47 of file satProof2.h.

Vec_Int_t* Prf_Man_t_::vSaved

Definition at line 48 of file satProof2.h.

---

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

• satProof2.h