#include <cnf.h>

Public Attributes
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.

Member Data Documentation

◆ nClauses

int Cnf_Dat_t_::nClauses

Definition at line 61 of file cnf.h.

◆ nLiterals

int Cnf_Dat_t_::nLiterals

Definition at line 60 of file cnf.h.

◆ nVars

int Cnf_Dat_t_::nVars

Definition at line 59 of file cnf.h.

◆ pClaPols

unsigned char* Cnf_Dat_t_::pClaPols

Definition at line 66 of file cnf.h.

◆ pClauses

int** Cnf_Dat_t_::pClauses

Definition at line 62 of file cnf.h.

◆ pMan

Aig_Man_t* Cnf_Dat_t_::pMan

Definition at line 58 of file cnf.h.

◆ pObj2Clause

int* Cnf_Dat_t_::pObj2Clause

Definition at line 64 of file cnf.h.

◆ pObj2Count

int* Cnf_Dat_t_::pObj2Count

Definition at line 65 of file cnf.h.

◆ pVarNums

int* Cnf_Dat_t_::pVarNums

Definition at line 63 of file cnf.h.

◆ vMapping

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:

src/sat/cnf/cnf.h

Public Attributes