Ssw_Sml_t_ Struct Reference

DECLARATIONS ///. More...

Data Fields
Aig_Man_t *	pAig
int	nPref
int	nFrames
int	nWordsFrame
int	nWordsTotal
int	nWordsPref
int	fNonConstOut
int	nSimRounds
abctime	timeSim
unsigned	pData [0]

Detailed Description

DECLARATIONS ///.

CFile****************************************************************

FileName [sswSim.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Inductive prover with constraints.]

Synopsis [Sequential simulator used by the inductive prover.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 1, 2008.]

Revision [

Id:

sswSim.c,v 1.00 2008/09/01 00:00:00 alanmi Exp

]

Definition at line 31 of file sswSim.c.

Field Documentation

int Ssw_Sml_t_::fNonConstOut

Definition at line 39 of file sswSim.c.

int Ssw_Sml_t_::nFrames

Definition at line 35 of file sswSim.c.

int Ssw_Sml_t_::nPref

Definition at line 34 of file sswSim.c.

int Ssw_Sml_t_::nSimRounds

Definition at line 40 of file sswSim.c.

int Ssw_Sml_t_::nWordsFrame

Definition at line 36 of file sswSim.c.

int Ssw_Sml_t_::nWordsPref

Definition at line 38 of file sswSim.c.

int Ssw_Sml_t_::nWordsTotal

Definition at line 37 of file sswSim.c.

Aig_Man_t* Ssw_Sml_t_::pAig

Definition at line 33 of file sswSim.c.

unsigned Ssw_Sml_t_::pData[0]

Definition at line 42 of file sswSim.c.

abctime Ssw_Sml_t_::timeSim

Definition at line 41 of file sswSim.c.

---

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

• sswSim.c