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

Public Attributes

int fMakeAIG
 
int fVerbose
 
int fVeryVerbose
 
int nBTLimit
 
int nEntriesCount
 
int nValidEntriesCount
 
Ses_TruthEntry_t * pEntries [SES_STORE_TABLE_SIZE]
 
sat_solver * pSat
 
FILE * pDebugEntries
 
char * szDBName
 
unsigned long nCutCount
 
unsigned long pCutCount [9]
 
unsigned long nUnsynthesizedImp
 
unsigned long pUnsynthesizedImp [9]
 
unsigned long nUnsynthesizedRL
 
unsigned long pUnsynthesizedRL [9]
 
unsigned long nSynthesizedTrivial
 
unsigned long pSynthesizedTrivial [9]
 
unsigned long nSynthesizedImp
 
unsigned long pSynthesizedImp [9]
 
unsigned long nSynthesizedRL
 
unsigned long pSynthesizedRL [9]
 
unsigned long nCacheHits
 
unsigned long pCacheHits [9]
 
unsigned long nSatCalls
 
unsigned long nUnsatCalls
 
unsigned long nUndefCalls
 
abctime timeExact
 
abctime timeSat
 
abctime timeSatSat
 
abctime timeSatUnsat
 
abctime timeSatUndef
 
abctime timeInstance
 
abctime timeTotal
 

Detailed Description

Definition at line 313 of file abcExact.c.

Member Data Documentation

◆ fMakeAIG

int Ses_Store_t_::fMakeAIG

Definition at line 315 of file abcExact.c.

◆ fVerbose

int Ses_Store_t_::fVerbose

Definition at line 316 of file abcExact.c.

◆ fVeryVerbose

int Ses_Store_t_::fVeryVerbose

Definition at line 317 of file abcExact.c.

◆ nBTLimit

int Ses_Store_t_::nBTLimit

Definition at line 318 of file abcExact.c.

◆ nCacheHits

unsigned long Ses_Store_t_::nCacheHits

Definition at line 339 of file abcExact.c.

◆ nCutCount

unsigned long Ses_Store_t_::nCutCount

Definition at line 327 of file abcExact.c.

◆ nEntriesCount

int Ses_Store_t_::nEntriesCount

Definition at line 319 of file abcExact.c.

◆ nSatCalls

unsigned long Ses_Store_t_::nSatCalls

Definition at line 342 of file abcExact.c.

◆ nSynthesizedImp

unsigned long Ses_Store_t_::nSynthesizedImp

Definition at line 335 of file abcExact.c.

◆ nSynthesizedRL

unsigned long Ses_Store_t_::nSynthesizedRL

Definition at line 337 of file abcExact.c.

◆ nSynthesizedTrivial

unsigned long Ses_Store_t_::nSynthesizedTrivial

Definition at line 333 of file abcExact.c.

◆ nUndefCalls

unsigned long Ses_Store_t_::nUndefCalls

Definition at line 344 of file abcExact.c.

◆ nUnsatCalls

unsigned long Ses_Store_t_::nUnsatCalls

Definition at line 343 of file abcExact.c.

◆ nUnsynthesizedImp

unsigned long Ses_Store_t_::nUnsynthesizedImp

Definition at line 329 of file abcExact.c.

◆ nUnsynthesizedRL

unsigned long Ses_Store_t_::nUnsynthesizedRL

Definition at line 331 of file abcExact.c.

◆ nValidEntriesCount

int Ses_Store_t_::nValidEntriesCount

Definition at line 320 of file abcExact.c.

◆ pCacheHits

unsigned long Ses_Store_t_::pCacheHits[9]

Definition at line 340 of file abcExact.c.

◆ pCutCount

unsigned long Ses_Store_t_::pCutCount[9]

Definition at line 328 of file abcExact.c.

◆ pDebugEntries

FILE* Ses_Store_t_::pDebugEntries

Definition at line 323 of file abcExact.c.

◆ pEntries

Ses_TruthEntry_t* Ses_Store_t_::pEntries[SES_STORE_TABLE_SIZE]

Definition at line 321 of file abcExact.c.

◆ pSat

sat_solver* Ses_Store_t_::pSat

Definition at line 322 of file abcExact.c.

◆ pSynthesizedImp

unsigned long Ses_Store_t_::pSynthesizedImp[9]

Definition at line 336 of file abcExact.c.

◆ pSynthesizedRL

unsigned long Ses_Store_t_::pSynthesizedRL[9]

Definition at line 338 of file abcExact.c.

◆ pSynthesizedTrivial

unsigned long Ses_Store_t_::pSynthesizedTrivial[9]

Definition at line 334 of file abcExact.c.

◆ pUnsynthesizedImp

unsigned long Ses_Store_t_::pUnsynthesizedImp[9]

Definition at line 330 of file abcExact.c.

◆ pUnsynthesizedRL

unsigned long Ses_Store_t_::pUnsynthesizedRL[9]

Definition at line 332 of file abcExact.c.

◆ szDBName

char* Ses_Store_t_::szDBName

Definition at line 324 of file abcExact.c.

◆ timeExact

abctime Ses_Store_t_::timeExact

Definition at line 346 of file abcExact.c.

◆ timeInstance

abctime Ses_Store_t_::timeInstance

Definition at line 351 of file abcExact.c.

◆ timeSat

abctime Ses_Store_t_::timeSat

Definition at line 347 of file abcExact.c.

◆ timeSatSat

abctime Ses_Store_t_::timeSatSat

Definition at line 348 of file abcExact.c.

◆ timeSatUndef

abctime Ses_Store_t_::timeSatUndef

Definition at line 350 of file abcExact.c.

◆ timeSatUnsat

abctime Ses_Store_t_::timeSatUnsat

Definition at line 349 of file abcExact.c.

◆ timeTotal

abctime Ses_Store_t_::timeTotal

Definition at line 352 of file abcExact.c.

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