Cnf_Dat_t_ Struct Reference

#include <cnf.h>

Data Fields
Aig_Man_t *	pMan
int	nVars
int	nLiterals
int	nClauses
int **	pClauses
int *	pVarNums
int *	pObj2Clause
int *	pObj2Count
unsigned char *	pClaPols
Vec_Int_t *	vMapping

Detailed Description

Definition at line 56 of file cnf.h.

Field Documentation

int Cnf_Dat_t_::nClauses

Definition at line 61 of file cnf.h.

int Cnf_Dat_t_::nLiterals

Definition at line 60 of file cnf.h.

int Cnf_Dat_t_::nVars

Definition at line 59 of file cnf.h.

unsigned char* Cnf_Dat_t_::pClaPols

Definition at line 66 of file cnf.h.

int** Cnf_Dat_t_::pClauses

Definition at line 62 of file cnf.h.

Aig_Man_t* Cnf_Dat_t_::pMan

Definition at line 58 of file cnf.h.

int* Cnf_Dat_t_::pObj2Clause

Definition at line 64 of file cnf.h.

int* Cnf_Dat_t_::pObj2Count

Definition at line 65 of file cnf.h.

int* Cnf_Dat_t_::pVarNums

Definition at line 63 of file cnf.h.

Vec_Int_t* Cnf_Dat_t_::vMapping

Definition at line 67 of file cnf.h.

---

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

• cnf.h