Cut_OracleStruct_t_ Struct Reference

DECLARATIONS ///. More...

Data Fields
Cut_Params_t *	pParams
Vec_Int_t *	vFanCounts
int	fSimul
Vec_Ptr_t *	vCutsNew
Vec_Ptr_t *	vCuts0
Vec_Ptr_t *	vCuts1
Vec_Int_t *	vNodeCuts
Vec_Int_t *	vNodeStarts
Vec_Int_t *	vCutPairs
Extra_MmFixed_t *	pMmCuts
int	EntrySize
int	nTruthWords
abctime	timeTotal
int	nCuts
int	nCutsTriv

Detailed Description

DECLARATIONS ///.

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

FileName [cutOracle.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [K-feasible cut computation package.]

Synopsis [Procedures to compute cuts for a node using the oracle.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

cutOracle.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 30 of file cutOracle.c.

Field Documentation

int Cut_OracleStruct_t_::EntrySize

Definition at line 46 of file cutOracle.c.

int Cut_OracleStruct_t_::fSimul

Definition at line 35 of file cutOracle.c.

int Cut_OracleStruct_t_::nCuts

Definition at line 50 of file cutOracle.c.

int Cut_OracleStruct_t_::nCutsTriv

Definition at line 51 of file cutOracle.c.

int Cut_OracleStruct_t_::nTruthWords

Definition at line 47 of file cutOracle.c.

Extra_MmFixed_t* Cut_OracleStruct_t_::pMmCuts

Definition at line 45 of file cutOracle.c.

Cut_Params_t* Cut_OracleStruct_t_::pParams

Definition at line 33 of file cutOracle.c.

abctime Cut_OracleStruct_t_::timeTotal

Definition at line 49 of file cutOracle.c.

Vec_Int_t* Cut_OracleStruct_t_::vCutPairs

Definition at line 43 of file cutOracle.c.

Vec_Ptr_t* Cut_OracleStruct_t_::vCuts0

Definition at line 38 of file cutOracle.c.

Vec_Ptr_t* Cut_OracleStruct_t_::vCuts1

Definition at line 39 of file cutOracle.c.

Vec_Ptr_t* Cut_OracleStruct_t_::vCutsNew

Definition at line 37 of file cutOracle.c.

Vec_Int_t* Cut_OracleStruct_t_::vFanCounts

Definition at line 34 of file cutOracle.c.

Vec_Int_t* Cut_OracleStruct_t_::vNodeCuts

Definition at line 41 of file cutOracle.c.

Vec_Int_t* Cut_OracleStruct_t_::vNodeStarts

Definition at line 42 of file cutOracle.c.

---

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

• cutOracle.c