Cnf_Dat_t_ Struct Reference

#include <cnf.h>

Collaboration diagram for Cnf_Dat_t_:

[legend]

Data Fields
Aig_Man_t *	pMan
int	nVars
int	nLiterals
int	nClauses
int **	pClauses
int *	pVarNums

---

Detailed Description

Definition at line 55 of file cnf.h.

---

Field Documentation

int Cnf_Dat_t_::nClauses

Definition at line 60 of file cnf.h.

int Cnf_Dat_t_::nLiterals

Definition at line 59 of file cnf.h.

int Cnf_Dat_t_::nVars

Definition at line 58 of file cnf.h.

int** Cnf_Dat_t_::pClauses

Definition at line 61 of file cnf.h.

Aig_Man_t* Cnf_Dat_t_::pMan

Definition at line 57 of file cnf.h.

int* Cnf_Dat_t_::pVarNums

Definition at line 62 of file cnf.h.

---

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

• src/aig/cnf/cnf.h