Clu_Man_t_ Struct Reference

Data Fields
int	nFrames
int	nPref
int	nClausesMax
int	nLutSize
int	nLevels
int	nCutsMax
int	nBatches
int	fStepUp
int	fTarget
int	fVerbose
int	fVeryVerbose
int	nSimWords
int	nSimWordsPref
int	nSimFrames
int	nBTLimit
Aig_Man_t *	pAig
sat_solver *	pSatMain
sat_solver *	pSatBmc
Cnf_Dat_t *	pCnf
int	fFail
int	fFiltering
int	fNothingNew
Vec_Int_t *	vLits
Vec_Int_t *	vClauses
Vec_Int_t *	vCosts
int	nClauses
int	nCuts
int	nOneHots
int	nOneHotsProven
Vec_Int_t *	vLitsProven
Vec_Int_t *	vClausesProven
Vec_Ptr_t *	vCexes
int	nCexes
int	nCexesAlloc

Detailed Description

Definition at line 33 of file fraClaus.c.

Field Documentation

int Clu_Man_t_::fFail

Definition at line 59 of file fraClaus.c.

int Clu_Man_t_::fFiltering

Definition at line 60 of file fraClaus.c.

int Clu_Man_t_::fNothingNew

Definition at line 61 of file fraClaus.c.

int Clu_Man_t_::fStepUp

Definition at line 43 of file fraClaus.c.

int Clu_Man_t_::fTarget

Definition at line 44 of file fraClaus.c.

int Clu_Man_t_::fVerbose

Definition at line 45 of file fraClaus.c.

int Clu_Man_t_::fVeryVerbose

Definition at line 46 of file fraClaus.c.

int Clu_Man_t_::nBatches

Definition at line 42 of file fraClaus.c.

int Clu_Man_t_::nBTLimit

Definition at line 51 of file fraClaus.c.

int Clu_Man_t_::nCexes

Definition at line 75 of file fraClaus.c.

int Clu_Man_t_::nCexesAlloc

Definition at line 76 of file fraClaus.c.

int Clu_Man_t_::nClauses

Definition at line 66 of file fraClaus.c.

int Clu_Man_t_::nClausesMax

Definition at line 38 of file fraClaus.c.

int Clu_Man_t_::nCuts

Definition at line 67 of file fraClaus.c.

int Clu_Man_t_::nCutsMax

Definition at line 41 of file fraClaus.c.

int Clu_Man_t_::nFrames

Definition at line 36 of file fraClaus.c.

int Clu_Man_t_::nLevels

Definition at line 40 of file fraClaus.c.

int Clu_Man_t_::nLutSize

Definition at line 39 of file fraClaus.c.

int Clu_Man_t_::nOneHots

Definition at line 68 of file fraClaus.c.

int Clu_Man_t_::nOneHotsProven

Definition at line 69 of file fraClaus.c.

int Clu_Man_t_::nPref

Definition at line 37 of file fraClaus.c.

int Clu_Man_t_::nSimFrames

Definition at line 50 of file fraClaus.c.

int Clu_Man_t_::nSimWords

Definition at line 48 of file fraClaus.c.

int Clu_Man_t_::nSimWordsPref

Definition at line 49 of file fraClaus.c.

Aig_Man_t* Clu_Man_t_::pAig

Definition at line 53 of file fraClaus.c.

Cnf_Dat_t* Clu_Man_t_::pCnf

Definition at line 58 of file fraClaus.c.

sat_solver* Clu_Man_t_::pSatBmc

Definition at line 56 of file fraClaus.c.

sat_solver* Clu_Man_t_::pSatMain

Definition at line 55 of file fraClaus.c.

Vec_Ptr_t* Clu_Man_t_::vCexes

Definition at line 74 of file fraClaus.c.

Vec_Int_t* Clu_Man_t_::vClauses

Definition at line 64 of file fraClaus.c.

Vec_Int_t* Clu_Man_t_::vClausesProven

Definition at line 72 of file fraClaus.c.

Vec_Int_t* Clu_Man_t_::vCosts

Definition at line 65 of file fraClaus.c.

Vec_Int_t* Clu_Man_t_::vLits

Definition at line 63 of file fraClaus.c.

Vec_Int_t* Clu_Man_t_::vLitsProven

Definition at line 71 of file fraClaus.c.

---

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

• fraClaus.c