Ssw_Cla_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
Aig_Obj_t ***	pId2Class
int *	pClassSizes
int	fConstCorr
int	nClasses
int	nCands1
int	nLits
Aig_Obj_t **	pMemClasses
Aig_Obj_t **	pMemClassesFree
Vec_Ptr_t *	vClassOld
Vec_Ptr_t *	vClassNew
Vec_Ptr_t *	vRefined
void *	pManData
unsigned(*	pFuncNodeHash )(void *, Aig_Obj_t *)
int(*	pFuncNodeIsConst )(void *, Aig_Obj_t *)
int(*	pFuncNodesAreEqual )(void *, Aig_Obj_t *, Aig_Obj_t *)

Detailed Description

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

FileName [sswClass.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Inductive prover with constraints.]

Synopsis [Representation of candidate equivalence classes.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]

Definition at line 36 of file sswClass.c.

Field Documentation

int Ssw_Cla_t_::fConstCorr

Definition at line 42 of file sswClass.c.

int Ssw_Cla_t_::nCands1

Definition at line 45 of file sswClass.c.

int Ssw_Cla_t_::nClasses

Definition at line 44 of file sswClass.c.

int Ssw_Cla_t_::nLits

Definition at line 46 of file sswClass.c.

Aig_Man_t* Ssw_Cla_t_::pAig

Definition at line 39 of file sswClass.c.

int* Ssw_Cla_t_::pClassSizes

Definition at line 41 of file sswClass.c.

unsigned(* Ssw_Cla_t_::pFuncNodeHash)(void *, Aig_Obj_t *)

Definition at line 56 of file sswClass.c.

int(* Ssw_Cla_t_::pFuncNodeIsConst)(void *, Aig_Obj_t *)

Definition at line 57 of file sswClass.c.

int(* Ssw_Cla_t_::pFuncNodesAreEqual)(void *, Aig_Obj_t *, Aig_Obj_t *)

Definition at line 58 of file sswClass.c.

Aig_Obj_t*** Ssw_Cla_t_::pId2Class

Definition at line 40 of file sswClass.c.

void* Ssw_Cla_t_::pManData

Definition at line 55 of file sswClass.c.

Aig_Obj_t** Ssw_Cla_t_::pMemClasses

Definition at line 48 of file sswClass.c.

Aig_Obj_t** Ssw_Cla_t_::pMemClassesFree

Definition at line 49 of file sswClass.c.

Vec_Ptr_t* Ssw_Cla_t_::vClassNew

Definition at line 52 of file sswClass.c.

Vec_Ptr_t* Ssw_Cla_t_::vClassOld

Definition at line 51 of file sswClass.c.

Vec_Ptr_t* Ssw_Cla_t_::vRefined

Definition at line 53 of file sswClass.c.

---

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

• sswClass.c