Data Fields
Aig_Man_t *	pAig

Aig_Obj_t ***	pId2Class

int *	pClassSizes

int	nClasses

int	nCands1

int	nLits

Aig_Obj_t **	pMemClasses

Aig_Obj_t **	pMemClassesFree

Vec_Ptr_t *	vClassOld

Vec_Ptr_t *	vClassNew

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 [dchClass.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Choice computation for tech-mapping.]

Synopsis [Representation of candidate equivalence classes.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 29, 2008.]

Revision [

]

Definition at line 36 of file dchClass.c.

Field Documentation

int Dch_Cla_t_::nCands1

Definition at line 44 of file dchClass.c.

int Dch_Cla_t_::nClasses

Definition at line 43 of file dchClass.c.

int Dch_Cla_t_::nLits

Definition at line 45 of file dchClass.c.

Aig_Man_t* Dch_Cla_t_::pAig

Definition at line 39 of file dchClass.c.

int* Dch_Cla_t_::pClassSizes

Definition at line 41 of file dchClass.c.

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

Definition at line 54 of file dchClass.c.

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

Definition at line 55 of file dchClass.c.

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

Definition at line 56 of file dchClass.c.

Aig_Obj_t*** Dch_Cla_t_::pId2Class

Definition at line 40 of file dchClass.c.

void* Dch_Cla_t_::pManData

Definition at line 53 of file dchClass.c.

Aig_Obj_t** Dch_Cla_t_::pMemClasses

Definition at line 47 of file dchClass.c.

Aig_Obj_t** Dch_Cla_t_::pMemClassesFree

Definition at line 48 of file dchClass.c.

Vec_Ptr_t* Dch_Cla_t_::vClassNew

Definition at line 51 of file dchClass.c.

Vec_Ptr_t* Dch_Cla_t_::vClassOld

Definition at line 50 of file dchClass.c.

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