#include <bmc.h>

Public Attributes
int	nVars

int	nNodes

int	nLutSize

int	nMajSupp

int	fMajority

int	fUseIncr

int	fOnlyAnd

int	fDynConstr

int	fDumpCnf

int	fGlucose

int	fCard

int	fOrderNodes

int	fEnumSols

int	fFewerVars

int	fQuadrEnc

int	fUniqFans

int	fLutCascade

int	fLutInFixed

int	RuntimeLim

int	nRandFuncs

int	nMintNum

int	Seed

int	fVerbose

char *	pTtStr

char *	pSymStr

char *	pGuide

Detailed Description

Definition at line 48 of file bmc.h.

Member Data Documentation

◆ fCard

int Bmc_EsPar_t_::fCard

Definition at line 60 of file bmc.h.

◆ fDumpCnf

int Bmc_EsPar_t_::fDumpCnf

Definition at line 58 of file bmc.h.

◆ fDynConstr

int Bmc_EsPar_t_::fDynConstr

Definition at line 57 of file bmc.h.

◆ fEnumSols

int Bmc_EsPar_t_::fEnumSols

Definition at line 62 of file bmc.h.

◆ fFewerVars

int Bmc_EsPar_t_::fFewerVars

Definition at line 63 of file bmc.h.

◆ fGlucose

int Bmc_EsPar_t_::fGlucose

Definition at line 59 of file bmc.h.

◆ fLutCascade

int Bmc_EsPar_t_::fLutCascade

Definition at line 66 of file bmc.h.

◆ fLutInFixed

int Bmc_EsPar_t_::fLutInFixed

Definition at line 67 of file bmc.h.

◆ fMajority

int Bmc_EsPar_t_::fMajority

Definition at line 54 of file bmc.h.

◆ fOnlyAnd

int Bmc_EsPar_t_::fOnlyAnd

Definition at line 56 of file bmc.h.

◆ fOrderNodes

int Bmc_EsPar_t_::fOrderNodes

Definition at line 61 of file bmc.h.

◆ fQuadrEnc

int Bmc_EsPar_t_::fQuadrEnc

Definition at line 64 of file bmc.h.

◆ fUniqFans

int Bmc_EsPar_t_::fUniqFans

Definition at line 65 of file bmc.h.

◆ fUseIncr

int Bmc_EsPar_t_::fUseIncr

Definition at line 55 of file bmc.h.

◆ fVerbose

int Bmc_EsPar_t_::fVerbose

Definition at line 72 of file bmc.h.

◆ nLutSize

int Bmc_EsPar_t_::nLutSize

Definition at line 52 of file bmc.h.

◆ nMajSupp

int Bmc_EsPar_t_::nMajSupp

Definition at line 53 of file bmc.h.

◆ nMintNum

int Bmc_EsPar_t_::nMintNum

Definition at line 70 of file bmc.h.

◆ nNodes

int Bmc_EsPar_t_::nNodes

Definition at line 51 of file bmc.h.

◆ nRandFuncs

int Bmc_EsPar_t_::nRandFuncs

Definition at line 69 of file bmc.h.

◆ nVars

int Bmc_EsPar_t_::nVars

Definition at line 50 of file bmc.h.

◆ pGuide

char* Bmc_EsPar_t_::pGuide

Definition at line 75 of file bmc.h.

◆ pSymStr

char* Bmc_EsPar_t_::pSymStr

Definition at line 74 of file bmc.h.

◆ pTtStr

char* Bmc_EsPar_t_::pTtStr

Definition at line 73 of file bmc.h.

◆ RuntimeLim

int Bmc_EsPar_t_::RuntimeLim

Definition at line 68 of file bmc.h.

◆ Seed

int Bmc_EsPar_t_::Seed

Definition at line 71 of file bmc.h.

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

src/sat/bmc/bmc.h

Public Attributes