ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Clu_Man_t_ Struct Reference
Collaboration diagram for Clu_Man_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ fFail

int Clu_Man_t_::fFail

Definition at line 59 of file fraClaus.c.

◆ fFiltering

int Clu_Man_t_::fFiltering

Definition at line 60 of file fraClaus.c.

◆ fNothingNew

int Clu_Man_t_::fNothingNew

Definition at line 61 of file fraClaus.c.

◆ fStepUp

int Clu_Man_t_::fStepUp

Definition at line 43 of file fraClaus.c.

◆ fTarget

int Clu_Man_t_::fTarget

Definition at line 44 of file fraClaus.c.

◆ fVerbose

int Clu_Man_t_::fVerbose

Definition at line 45 of file fraClaus.c.

◆ fVeryVerbose

int Clu_Man_t_::fVeryVerbose

Definition at line 46 of file fraClaus.c.

◆ nBatches

int Clu_Man_t_::nBatches

Definition at line 42 of file fraClaus.c.

◆ nBTLimit

int Clu_Man_t_::nBTLimit

Definition at line 51 of file fraClaus.c.

◆ nCexes

int Clu_Man_t_::nCexes

Definition at line 75 of file fraClaus.c.

◆ nCexesAlloc

int Clu_Man_t_::nCexesAlloc

Definition at line 76 of file fraClaus.c.

◆ nClauses

int Clu_Man_t_::nClauses

Definition at line 66 of file fraClaus.c.

◆ nClausesMax

int Clu_Man_t_::nClausesMax

Definition at line 38 of file fraClaus.c.

◆ nCuts

int Clu_Man_t_::nCuts

Definition at line 67 of file fraClaus.c.

◆ nCutsMax

int Clu_Man_t_::nCutsMax

Definition at line 41 of file fraClaus.c.

◆ nFrames

int Clu_Man_t_::nFrames

Definition at line 36 of file fraClaus.c.

◆ nLevels

int Clu_Man_t_::nLevels

Definition at line 40 of file fraClaus.c.

◆ nLutSize

int Clu_Man_t_::nLutSize

Definition at line 39 of file fraClaus.c.

◆ nOneHots

int Clu_Man_t_::nOneHots

Definition at line 68 of file fraClaus.c.

◆ nOneHotsProven

int Clu_Man_t_::nOneHotsProven

Definition at line 69 of file fraClaus.c.

◆ nPref

int Clu_Man_t_::nPref

Definition at line 37 of file fraClaus.c.

◆ nSimFrames

int Clu_Man_t_::nSimFrames

Definition at line 50 of file fraClaus.c.

◆ nSimWords

int Clu_Man_t_::nSimWords

Definition at line 48 of file fraClaus.c.

◆ nSimWordsPref

int Clu_Man_t_::nSimWordsPref

Definition at line 49 of file fraClaus.c.

◆ pAig

Aig_Man_t* Clu_Man_t_::pAig

Definition at line 53 of file fraClaus.c.

◆ pCnf

Cnf_Dat_t* Clu_Man_t_::pCnf

Definition at line 58 of file fraClaus.c.

◆ pSatBmc

sat_solver* Clu_Man_t_::pSatBmc

Definition at line 56 of file fraClaus.c.

◆ pSatMain

sat_solver* Clu_Man_t_::pSatMain

Definition at line 55 of file fraClaus.c.

◆ vCexes

Vec_Ptr_t* Clu_Man_t_::vCexes

Definition at line 74 of file fraClaus.c.

◆ vClauses

Vec_Int_t* Clu_Man_t_::vClauses

Definition at line 64 of file fraClaus.c.

◆ vClausesProven

Vec_Int_t* Clu_Man_t_::vClausesProven

Definition at line 72 of file fraClaus.c.

◆ vCosts

Vec_Int_t* Clu_Man_t_::vCosts

Definition at line 65 of file fraClaus.c.

◆ vLits

Vec_Int_t* Clu_Man_t_::vLits

Definition at line 63 of file fraClaus.c.

◆ vLitsProven

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: