ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dch_Cla_t_ Struct Reference
Collaboration diagram for Dch_Cla_t_:
Collaboration graph
[legend]

Public Attributes

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 [

Id
dchClass.c,v 1.00 2008/07/29 00:00:00 alanmi Exp

]

Definition at line 36 of file dchClass.c.

Member Data Documentation

◆ nCands1

int Dch_Cla_t_::nCands1

Definition at line 44 of file dchClass.c.

◆ nClasses

int Dch_Cla_t_::nClasses

Definition at line 43 of file dchClass.c.

◆ nLits

int Dch_Cla_t_::nLits

Definition at line 45 of file dchClass.c.

◆ pAig

Aig_Man_t* Dch_Cla_t_::pAig

Definition at line 39 of file dchClass.c.

◆ pClassSizes

int* Dch_Cla_t_::pClassSizes

Definition at line 41 of file dchClass.c.

◆ pFuncNodeHash

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

Definition at line 54 of file dchClass.c.

◆ pFuncNodeIsConst

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

Definition at line 55 of file dchClass.c.

◆ pFuncNodesAreEqual

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

Definition at line 56 of file dchClass.c.

◆ pId2Class

Aig_Obj_t*** Dch_Cla_t_::pId2Class

Definition at line 40 of file dchClass.c.

◆ pManData

void* Dch_Cla_t_::pManData

Definition at line 53 of file dchClass.c.

◆ pMemClasses

Aig_Obj_t** Dch_Cla_t_::pMemClasses

Definition at line 47 of file dchClass.c.

◆ pMemClassesFree

Aig_Obj_t** Dch_Cla_t_::pMemClassesFree

Definition at line 48 of file dchClass.c.

◆ vClassNew

Vec_Ptr_t* Dch_Cla_t_::vClassNew

Definition at line 51 of file dchClass.c.

◆ vClassOld

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: