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

Public Attributes

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.

Member Data Documentation

◆ fConstCorr

int Ssw_Cla_t_::fConstCorr

Definition at line 42 of file sswClass.c.

◆ nCands1

int Ssw_Cla_t_::nCands1

Definition at line 45 of file sswClass.c.

◆ nClasses

int Ssw_Cla_t_::nClasses

Definition at line 44 of file sswClass.c.

◆ nLits

int Ssw_Cla_t_::nLits

Definition at line 46 of file sswClass.c.

◆ pAig

Aig_Man_t* Ssw_Cla_t_::pAig

Definition at line 39 of file sswClass.c.

◆ pClassSizes

int* Ssw_Cla_t_::pClassSizes

Definition at line 41 of file sswClass.c.

◆ pFuncNodeHash

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

Definition at line 56 of file sswClass.c.

◆ pFuncNodeIsConst

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

Definition at line 57 of file sswClass.c.

◆ pFuncNodesAreEqual

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

Definition at line 58 of file sswClass.c.

◆ pId2Class

Aig_Obj_t*** Ssw_Cla_t_::pId2Class

Definition at line 40 of file sswClass.c.

◆ pManData

void* Ssw_Cla_t_::pManData

Definition at line 55 of file sswClass.c.

◆ pMemClasses

Aig_Obj_t** Ssw_Cla_t_::pMemClasses

Definition at line 48 of file sswClass.c.

◆ pMemClassesFree

Aig_Obj_t** Ssw_Cla_t_::pMemClassesFree

Definition at line 49 of file sswClass.c.

◆ vClassNew

Vec_Ptr_t* Ssw_Cla_t_::vClassNew

Definition at line 52 of file sswClass.c.

◆ vClassOld

Vec_Ptr_t* Ssw_Cla_t_::vClassOld

Definition at line 51 of file sswClass.c.

◆ vRefined

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: