Collaboration diagram for Cec_ManS_t_:

[legend]

Public Attributes
int	nWords

int	nLevelMax

int	nLevelMin

int	iRand

Gia_Man_t *	pAig

Vec_Int_t *	vInputs

Vec_Wec_t *	vLevels

Vec_Wrd_t *	vSims

word *	pTemp [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:

src/proof/cec/cecSim.c

Public Attributes