Collaboration diagram for Ses_Man_t_:

[legend]

Public Attributes
sat_solver *	pSat

word *	pSpec

int	bSpecInv

int	nSpecVars

int	nSpecFunc

int	nSpecWords

int	nRows

int	nMaxDepth

int	nMaxDepthTmp

int *	pArrTimeProfile

int	pArrTimeProfileTmp [8]

int	nArrTimeDelta

int	nArrTimeMax

int	nBTLimit

int	fMakeAIG

int	fVerbose

int	fVeryVerbose

int	fExtractVerbose

int	fSatVerbose

int	fReasonVerbose

word	pTtValues [4]

Vec_Int_t *	vPolar

Vec_Int_t *	vAssump

int	nRandRowAssigns

int	fKeepRowAssigns

int	nGates

int	nStartGates

int	nMaxGates

int	fDecStructure

int	pDecVars

Vec_Int_t *	vStairDecVars

int	pStairDecFunc [8]

word	pTtObjs [100]

int	nSimVars

int	nOutputVars

int	nGateVars

int	nSelectVars

int	nDepthVars

int	nSimOffset

int	nOutputOffset

int	nGateOffset

int	nSelectOffset

int	nDepthOffset

int	fHitResLimit

abctime	timeSat

abctime	timeSatSat

abctime	timeSatUnsat

abctime	timeSatUndef

abctime	timeInstance

abctime	timeTotal

int	nSatCalls

int	nUnsatCalls

int	nUndefCalls

int	nDebugOffset

Detailed Description

Definition at line 216 of file abcExact.c.

Member Data Documentation

◆ bSpecInv

int Ses_Man_t_::bSpecInv

Definition at line 221 of file abcExact.c.

◆ fDecStructure

int Ses_Man_t_::fDecStructure

Definition at line 248 of file abcExact.c.

◆ fExtractVerbose

int Ses_Man_t_::fExtractVerbose

Definition at line 236 of file abcExact.c.

◆ fHitResLimit

int Ses_Man_t_::fHitResLimit

Definition at line 266 of file abcExact.c.

◆ fKeepRowAssigns

int Ses_Man_t_::fKeepRowAssigns

Definition at line 243 of file abcExact.c.

◆ fMakeAIG

int Ses_Man_t_::fMakeAIG

Definition at line 233 of file abcExact.c.

◆ fReasonVerbose

int Ses_Man_t_::fReasonVerbose

Definition at line 238 of file abcExact.c.

◆ fSatVerbose

int Ses_Man_t_::fSatVerbose

Definition at line 237 of file abcExact.c.

◆ fVerbose

int Ses_Man_t_::fVerbose

Definition at line 234 of file abcExact.c.

◆ fVeryVerbose

int Ses_Man_t_::fVeryVerbose

Definition at line 235 of file abcExact.c.

◆ nArrTimeDelta

int Ses_Man_t_::nArrTimeDelta

Definition at line 230 of file abcExact.c.

◆ nArrTimeMax

int Ses_Man_t_::nArrTimeMax

Definition at line 231 of file abcExact.c.

◆ nBTLimit

int Ses_Man_t_::nBTLimit

Definition at line 232 of file abcExact.c.

◆ nDebugOffset

int Ses_Man_t_::nDebugOffset

Definition at line 279 of file abcExact.c.

◆ nDepthOffset

int Ses_Man_t_::nDepthOffset

Definition at line 264 of file abcExact.c.

◆ nDepthVars

int Ses_Man_t_::nDepthVars

Definition at line 258 of file abcExact.c.

◆ nGateOffset

int Ses_Man_t_::nGateOffset

Definition at line 262 of file abcExact.c.

◆ nGates

int Ses_Man_t_::nGates

Definition at line 245 of file abcExact.c.

◆ nGateVars

int Ses_Man_t_::nGateVars

Definition at line 256 of file abcExact.c.

◆ nMaxDepth

int Ses_Man_t_::nMaxDepth

Definition at line 226 of file abcExact.c.

◆ nMaxDepthTmp

int Ses_Man_t_::nMaxDepthTmp

Definition at line 227 of file abcExact.c.

◆ nMaxGates

int Ses_Man_t_::nMaxGates

Definition at line 247 of file abcExact.c.

◆ nOutputOffset

int Ses_Man_t_::nOutputOffset

Definition at line 261 of file abcExact.c.

◆ nOutputVars

int Ses_Man_t_::nOutputVars

Definition at line 255 of file abcExact.c.

◆ nRandRowAssigns

int Ses_Man_t_::nRandRowAssigns

Definition at line 242 of file abcExact.c.

◆ nRows

int Ses_Man_t_::nRows

Definition at line 225 of file abcExact.c.

◆ nSatCalls

int Ses_Man_t_::nSatCalls

Definition at line 275 of file abcExact.c.

◆ nSelectOffset

int Ses_Man_t_::nSelectOffset

Definition at line 263 of file abcExact.c.

◆ nSelectVars

int Ses_Man_t_::nSelectVars

Definition at line 257 of file abcExact.c.

◆ nSimOffset

int Ses_Man_t_::nSimOffset

Definition at line 260 of file abcExact.c.

◆ nSimVars

int Ses_Man_t_::nSimVars

Definition at line 254 of file abcExact.c.

◆ nSpecFunc

int Ses_Man_t_::nSpecFunc

Definition at line 223 of file abcExact.c.

◆ nSpecVars

int Ses_Man_t_::nSpecVars

Definition at line 222 of file abcExact.c.

◆ nSpecWords

int Ses_Man_t_::nSpecWords

Definition at line 224 of file abcExact.c.

◆ nStartGates

int Ses_Man_t_::nStartGates

Definition at line 246 of file abcExact.c.

◆ nUndefCalls

int Ses_Man_t_::nUndefCalls

Definition at line 277 of file abcExact.c.

◆ nUnsatCalls

int Ses_Man_t_::nUnsatCalls

Definition at line 276 of file abcExact.c.

◆ pArrTimeProfile

int* Ses_Man_t_::pArrTimeProfile

Definition at line 228 of file abcExact.c.

◆ pArrTimeProfileTmp

int Ses_Man_t_::pArrTimeProfileTmp[8]

Definition at line 229 of file abcExact.c.

◆ pDecVars

int Ses_Man_t_::pDecVars

Definition at line 249 of file abcExact.c.

◆ pSat

sat_solver* Ses_Man_t_::pSat

Definition at line 218 of file abcExact.c.

◆ pSpec

word* Ses_Man_t_::pSpec

Definition at line 220 of file abcExact.c.

◆ pStairDecFunc

int Ses_Man_t_::pStairDecFunc[8]

Definition at line 251 of file abcExact.c.

◆ pTtObjs

word Ses_Man_t_::pTtObjs[100]

Definition at line 252 of file abcExact.c.

◆ pTtValues

word Ses_Man_t_::pTtValues[4]

Definition at line 239 of file abcExact.c.

◆ timeInstance

abctime Ses_Man_t_::timeInstance

Definition at line 272 of file abcExact.c.

◆ timeSat

abctime Ses_Man_t_::timeSat

Definition at line 268 of file abcExact.c.

◆ timeSatSat

abctime Ses_Man_t_::timeSatSat

Definition at line 269 of file abcExact.c.

◆ timeSatUndef

abctime Ses_Man_t_::timeSatUndef

Definition at line 271 of file abcExact.c.

◆ timeSatUnsat

abctime Ses_Man_t_::timeSatUnsat

Definition at line 270 of file abcExact.c.

◆ timeTotal

abctime Ses_Man_t_::timeTotal

Definition at line 273 of file abcExact.c.

◆ vAssump

Vec_Int_t* Ses_Man_t_::vAssump

Definition at line 241 of file abcExact.c.

◆ vPolar

Vec_Int_t* Ses_Man_t_::vPolar

Definition at line 240 of file abcExact.c.

◆ vStairDecVars

Vec_Int_t* Ses_Man_t_::vStairDecVars

Definition at line 250 of file abcExact.c.

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

src/base/abci/abcExact.c

Public Attributes