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 |
int | timeTotal |
int | nCuts |
int | nCutsTriv |
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 [
] DECLARATIONS ///
Definition at line 27 of file cutOracle.c.
Definition at line 43 of file cutOracle.c.
Definition at line 32 of file cutOracle.c.
Definition at line 47 of file cutOracle.c.
Definition at line 48 of file cutOracle.c.
Definition at line 44 of file cutOracle.c.
Definition at line 42 of file cutOracle.c.
Definition at line 30 of file cutOracle.c.
Definition at line 46 of file cutOracle.c.
Definition at line 40 of file cutOracle.c.
Definition at line 35 of file cutOracle.c.
Definition at line 36 of file cutOracle.c.
Definition at line 34 of file cutOracle.c.
Definition at line 31 of file cutOracle.c.
Definition at line 38 of file cutOracle.c.
Definition at line 39 of file cutOracle.c.