ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Cec_ManS_t_ Struct Reference
Collaboration diagram for Cec_ManS_t_:

Public Attributes

int nWords
 
int nLevelMax
 
int nLevelMin
 
int iRand
 
Gia_Man_tpAig
 
Vec_Int_tvInputs
 
Vec_Wec_tvLevels
 
Vec_Wrd_tvSims
 
wordpTemp [4]
 
word Rands [SIM_RANDS]
 
int nSkipped
 
int nVisited
 
int nCexes
 
abctime clkSat
 
abctime clkUnsat
 

Detailed Description

Definition at line 35 of file cecSim.c.

Member Data Documentation

◆ clkSat

abctime Cec_ManS_t_::clkSat

Definition at line 50 of file cecSim.c.

◆ clkUnsat

abctime Cec_ManS_t_::clkUnsat

Definition at line 51 of file cecSim.c.

◆ iRand

int Cec_ManS_t_::iRand

Definition at line 40 of file cecSim.c.

◆ nCexes

int Cec_ManS_t_::nCexes

Definition at line 49 of file cecSim.c.

◆ nLevelMax

int Cec_ManS_t_::nLevelMax

Definition at line 38 of file cecSim.c.

◆ nLevelMin

int Cec_ManS_t_::nLevelMin

Definition at line 39 of file cecSim.c.

◆ nSkipped

int Cec_ManS_t_::nSkipped

Definition at line 47 of file cecSim.c.

◆ nVisited

int Cec_ManS_t_::nVisited

Definition at line 48 of file cecSim.c.

◆ nWords

int Cec_ManS_t_::nWords

Definition at line 37 of file cecSim.c.

◆ pAig

Gia_Man_t* Cec_ManS_t_::pAig

Definition at line 41 of file cecSim.c.

◆ pTemp

word* Cec_ManS_t_::pTemp[4]

Definition at line 45 of file cecSim.c.

◆ Rands

word Cec_ManS_t_::Rands[SIM_RANDS]

Definition at line 46 of file cecSim.c.

◆ vInputs

Vec_Int_t* Cec_ManS_t_::vInputs

Definition at line 42 of file cecSim.c.

◆ vLevels

Vec_Wec_t* Cec_ManS_t_::vLevels

Definition at line 43 of file cecSim.c.

◆ vSims

Vec_Wrd_t* Cec_ManS_t_::vSims

Definition at line 44 of file cecSim.c.


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