#include <cnf.h>

Collaboration diagram for Cnf_Man_t_:

Public Attributes
Aig_Man_t *	pManAig

char *	pSopSizes

char **	pSops

int	aArea

Aig_MmFlex_t *	pMemCuts

int	nMergeLimit

unsigned *	pTruths [4]

Vec_Int_t *	vMemory

abctime	timeCuts

abctime	timeMap

abctime	timeSave

Detailed Description

Definition at line 81 of file cnf.h.

Member Data Documentation

◆ aArea

int Cnf_Man_t_::aArea

Definition at line 86 of file cnf.h.

◆ nMergeLimit

int Cnf_Man_t_::nMergeLimit

Definition at line 88 of file cnf.h.

◆ pManAig

Aig_Man_t* Cnf_Man_t_::pManAig

Definition at line 83 of file cnf.h.

◆ pMemCuts

Aig_MmFlex_t* Cnf_Man_t_::pMemCuts

Definition at line 87 of file cnf.h.

◆ pSops

char** Cnf_Man_t_::pSops

Definition at line 85 of file cnf.h.

◆ pSopSizes

char* Cnf_Man_t_::pSopSizes

Definition at line 84 of file cnf.h.

◆ pTruths

unsigned* Cnf_Man_t_::pTruths[4]

Definition at line 89 of file cnf.h.

◆ timeCuts

abctime Cnf_Man_t_::timeCuts

Definition at line 91 of file cnf.h.

◆ timeMap

abctime Cnf_Man_t_::timeMap

Definition at line 92 of file cnf.h.

◆ timeSave

abctime Cnf_Man_t_::timeSave

Definition at line 93 of file cnf.h.

◆ vMemory

Vec_Int_t* Cnf_Man_t_::vMemory

Definition at line 90 of file cnf.h.

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

src/sat/cnf/cnf.h

Public Attributes