DECLARATIONS ///. More...

Public Attributes
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.

Member Data Documentation

◆ fNonConstOut

int Ssw_Sml_t_::fNonConstOut

Definition at line 39 of file sswSim.c.

◆ nFrames

int Ssw_Sml_t_::nFrames

Definition at line 35 of file sswSim.c.

◆ nPref

int Ssw_Sml_t_::nPref

Definition at line 34 of file sswSim.c.

◆ nSimRounds

int Ssw_Sml_t_::nSimRounds

Definition at line 40 of file sswSim.c.

◆ nWordsFrame

int Ssw_Sml_t_::nWordsFrame

Definition at line 36 of file sswSim.c.

◆ nWordsPref

int Ssw_Sml_t_::nWordsPref

Definition at line 38 of file sswSim.c.

◆ nWordsTotal

int Ssw_Sml_t_::nWordsTotal

Definition at line 37 of file sswSim.c.

◆ pAig

Aig_Man_t* Ssw_Sml_t_::pAig

Definition at line 33 of file sswSim.c.

◆ pData

unsigned Ssw_Sml_t_::pData[0]

Definition at line 42 of file sswSim.c.

◆ timeSim

abctime Ssw_Sml_t_::timeSim

Definition at line 41 of file sswSim.c.

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

src/proof/ssw/sswSim.c

Public Attributes