abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
gia.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [gia.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Scalable AIG package.]
8 
9  Synopsis [External declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - June 20, 2005.]
16 
17  Revision [$Id: gia.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__aig__gia__gia_h
22 #define ABC__aig__gia__gia_h
23 
24 
25 ////////////////////////////////////////////////////////////////////////
26 /// INCLUDES ///
27 ////////////////////////////////////////////////////////////////////////
28 
29 #include <stdio.h>
30 #include <stdlib.h>
31 #include <string.h>
32 #include <assert.h>
33 
34 #include "misc/vec/vec.h"
35 #include "misc/util/utilCex.h"
36 
37 ////////////////////////////////////////////////////////////////////////
38 /// PARAMETERS ///
39 ////////////////////////////////////////////////////////////////////////
40 
41 
42 ABC_NAMESPACE_HEADER_START
43 
44 #define GIA_NONE 0x1FFFFFFF
45 #define GIA_VOID 0x0FFFFFFF
46 
47 ////////////////////////////////////////////////////////////////////////
48 /// BASIC TYPES ///
49 ////////////////////////////////////////////////////////////////////////
50 
51 typedef struct Gia_MmFixed_t_ Gia_MmFixed_t;
52 typedef struct Gia_MmFlex_t_ Gia_MmFlex_t;
53 typedef struct Gia_MmStep_t_ Gia_MmStep_t;
54 
55 typedef struct Gia_Rpr_t_ Gia_Rpr_t;
56 struct Gia_Rpr_t_
57 {
58  unsigned iRepr : 28; // representative node
59  unsigned fProved : 1; // marks the proved equivalence
60  unsigned fFailed : 1; // marks the failed equivalence
61  unsigned fColorA : 1; // marks cone of A
62  unsigned fColorB : 1; // marks cone of B
63 };
64 
65 typedef struct Gia_Plc_t_ Gia_Plc_t;
66 struct Gia_Plc_t_
67 {
68  unsigned fFixed : 1; // the placement of this object is fixed
69  unsigned xCoord : 15; // x-ooordinate of the placement
70  unsigned fUndef : 1; // the placement of this object is not assigned
71  unsigned yCoord : 15; // y-ooordinate of the placement
72 };
73 
74 typedef struct Gia_Obj_t_ Gia_Obj_t;
75 struct Gia_Obj_t_
76 {
77  unsigned iDiff0 : 29; // the diff of the first fanin
78  unsigned fCompl0: 1; // the complemented attribute
79  unsigned fMark0 : 1; // first user-controlled mark
80  unsigned fTerm : 1; // terminal node (CI/CO)
81 
82  unsigned iDiff1 : 29; // the diff of the second fanin
83  unsigned fCompl1: 1; // the complemented attribute
84  unsigned fMark1 : 1; // second user-controlled mark
85  unsigned fPhase : 1; // value under 000 pattern
86 
87  unsigned Value; // application-specific value
88 };
89 // Value is currently used to store several types of information
90 // - pointer to the next node in the hash table during structural hashing
91 // - pointer to the node copy during duplication
92 
93 // new AIG manager
94 typedef struct Gia_Man_t_ Gia_Man_t;
95 struct Gia_Man_t_
96 {
97  char * pName; // name of the AIG
98  char * pSpec; // name of the input file
99  int nRegs; // number of registers
100  int nRegsAlloc; // number of allocated registers
101  int nObjs; // number of objects
102  int nObjsAlloc; // number of allocated objects
103  Gia_Obj_t * pObjs; // the array of objects
104  unsigned * pMuxes; // control signals of MUXes
105  int nXors; // the number of XORs
106  int nMuxes; // the number of MUXes
107  int nBufs; // the number of buffers
108  Vec_Int_t * vCis; // the vector of CIs (PIs + LOs)
109  Vec_Int_t * vCos; // the vector of COs (POs + LIs)
110  int * pHTable; // hash table
111  int nHTable; // hash table size
112  int fAddStrash; // performs additional structural hashing
113  int fSweeper; // sweeper is running
114  int * pRefs; // the reference count
115  Vec_Int_t * vLevels; // levels of the nodes
116  int nLevels; // the mamixum level
117  int nConstrs; // the number of constraints
118  int nTravIds; // the current traversal ID
119  int nFront; // frontier size
120  int * pReprsOld; // representatives (for CIs and ANDs)
121  Gia_Rpr_t * pReprs; // representatives (for CIs and ANDs)
122  int * pNexts; // next nodes in the equivalence classes
123  int * pSibls; // next nodes in the choice nodes
124  int * pIso; // pairs of structurally isomorphic nodes
125  int nTerLoop; // the state where loop begins
126  int nTerStates; // the total number of ternary states
127  int * pFanData; // the database to store fanout information
128  int nFansAlloc; // the size of fanout representation
129  Vec_Int_t * vFanoutNums; // static fanout
130  Vec_Int_t * vFanout; // static fanout
131  Vec_Int_t * vMapping; // mapping for each node
132  Vec_Int_t * vCellMapping; // mapping for each node
133  Vec_Int_t * vPacking; // packing information
134  Vec_Int_t * vLutConfigs; // LUT configurations
135  Abc_Cex_t * pCexComb; // combinational counter-example
136  Abc_Cex_t * pCexSeq; // sequential counter-example
137  Vec_Ptr_t * vSeqModelVec; // sequential counter-examples
138  Vec_Int_t vCopies; // intermediate copies
139  Vec_Int_t * vTruths; // used for truth table computation
140  Vec_Int_t * vFlopClasses; // classes of flops for retiming/merging/etc
141  Vec_Int_t * vGateClasses; // classes of gates for abstraction
142  Vec_Int_t * vObjClasses; // classes of objects for abstraction
143  Vec_Int_t * vInitClasses; // classes of flops for retiming/merging/etc
144  Vec_Int_t * vRegClasses; // classes of registers for sequential synthesis
145  Vec_Int_t * vDoms; // dominators
146  Vec_Int_t * vBarBufs; // barrier buffers
147  unsigned char* pSwitching; // switching activity for each object
148  Gia_Plc_t * pPlacement; // placement of the objects
149  Gia_Man_t * pAigExtra; // combinational logic of holes
150  Vec_Flt_t * vInArrs; // PI arrival times
151  Vec_Flt_t * vOutReqs; // PO required times
152  Vec_Int_t * vSwitching; // switching activity
153  int * pTravIds; // separate traversal ID representation
154  int nTravIdsAlloc; // the number of trav IDs allocated
155  Vec_Ptr_t * vNamesIn; // the input names
156  Vec_Ptr_t * vNamesOut; // the output names
157  Vec_Int_t * vUserPiIds; // numbers assigned to PIs by the user
158  Vec_Int_t * vUserPoIds; // numbers assigned to POs by the user
159  Vec_Int_t * vUserFfIds; // numbers assigned to FFs by the user
160  Vec_Int_t * vCiNumsOrig; // original CI names
161  Vec_Int_t * vCoNumsOrig; // original CO names
162  Vec_Int_t * vCofVars; // cofactoring variables
163  Vec_Vec_t * vClockDoms; // clock domains
164  Vec_Flt_t * vTiming; // arrival/required/slack
165  void * pManTime; // the timing manager
166  void * pLutLib; // LUT library
167  word nHashHit; // hash table hit
168  word nHashMiss; // hash table miss
169  void * pData; // various user data
170  unsigned * pData2; // various user data
171  int iData; // various user data
172  int iData2; // various user data
173  int nAnd2Delay; // AND2 delay scaled to match delay numbers used
174  int fVerbose; // verbose reports
175  // bit-parallel simulation
176  int iPatsPi;
177  Vec_Wrd_t * vSims;
178  Vec_Wrd_t * vSimsPi;
179  Vec_Int_t * vClassOld;
180  Vec_Int_t * vClassNew;
181  // truth table computation for small functions
182  int nTtVars; // truth table variables
183  int nTtWords; // truth table words
184  Vec_Int_t * vTtNums; // object numbers
185  Vec_Int_t * vTtNodes; // internal nodes
186  Vec_Ptr_t * vTtInputs; // truth tables for constant and primary inputs
187  Vec_Wrd_t * vTtMemory; // truth tables for internal nodes
188  // balancing
189  Vec_Int_t * vSuper; // supergate
190  Vec_Int_t * vStore; // node storage
191 };
192 
193 
194 typedef struct Gps_Par_t_ Gps_Par_t;
195 struct Gps_Par_t_
196 {
197  int fTents;
198  int fSwitch;
199  int fCut;
200  int fNpn;
201  int fLutProf;
202  int fMuxXor;
203  int fMiter;
204  int fSkipMap;
205  char * pDumpFile;
206 };
207 
208 typedef struct Emb_Par_t_ Emb_Par_t;
209 struct Emb_Par_t_
210 {
211  int nDims; // the number of dimension
212  int nSols; // the number of solutions (typically, 2)
213  int nIters; // the number of iterations of FORCE
214  int fRefine; // use refinement by FORCE
215  int fCluster; // use clustered representation
216  int fDump; // dump Gnuplot file
217  int fDumpLarge; // dump Gnuplot file for large benchmarks
218  int fShowImage; // shows image if Gnuplot is installed
219  int fVerbose; // verbose flag
220 };
221 
222 
223 // frames parameters
224 typedef struct Gia_ParFra_t_ Gia_ParFra_t;
225 struct Gia_ParFra_t_
226 {
227  int nFrames; // the number of frames to unroll
228  int fInit; // initialize the timeframes
229  int fSaveLastLit; // adds POs for outputs of each frame
230  int fDisableSt; // disables strashing
231  int fOrPos; // ORs respective POs in each timeframe
232  int fVerbose; // enables verbose output
233 };
234 
235 
236 // simulation parameters
237 typedef struct Gia_ParSim_t_ Gia_ParSim_t;
238 struct Gia_ParSim_t_
239 {
240  // user-controlled parameters
241  int nWords; // the number of machine words
242  int nIters; // the number of timeframes
243  int RandSeed; // seed to generate random numbers
244  int TimeLimit; // time limit in seconds
245  int fCheckMiter; // check if miter outputs are non-zero
246  int fVerbose; // enables verbose output
247  int iOutFail; // index of the failed output
248 };
249 
250 typedef struct Gia_ManSim_t_ Gia_ManSim_t;
251 struct Gia_ManSim_t_
252 {
253  Gia_Man_t * pAig;
254  Gia_ParSim_t * pPars;
255  int nWords;
256  Vec_Int_t * vCis2Ids;
257  Vec_Int_t * vConsts;
258  // simulation information
259  unsigned * pDataSim; // simulation data
260  unsigned * pDataSimCis; // simulation data for CIs
261  unsigned * pDataSimCos; // simulation data for COs
262 };
263 
264 typedef struct Jf_Par_t_ Jf_Par_t;
265 struct Jf_Par_t_
266 {
267  int nLutSize;
268  int nCutNum;
269  int nProcNum;
270  int nRounds;
271  int nRoundsEla;
272  int nRelaxRatio;
273  int nCoarseLimit;
274  int nAreaTuner;
275  int nVerbLimit;
276  int DelayTarget;
277  int fAreaOnly;
278  int fOptEdge;
279  int fUseMux7;
280  int fPower;
281  int fCoarsen;
282  int fCutMin;
283  int fFuncDsd;
284  int fGenCnf;
285  int fCnfObjIds;
286  int fAddOrCla;
287  int fPureAig;
288  int fDoAverage;
289  int fCutHashing;
290  int fCutSimple;
291  int fVerbose;
292  int fVeryVerbose;
293  int nLutSizeMax;
294  int nCutNumMax;
295  int nProcNumMax;
296  int nLutSizeMux;
297  word Delay;
298  word Area;
299  word Edge;
300  word Clause;
301  word Mux7;
302  float MapDelay;
303  float MapArea;
304  float MapDelayTarget;
305  float Epsilon;
306  float * pTimesArr;
307  float * pTimesReq;
308 };
309 
310 static inline unsigned Gia_ObjCutSign( unsigned ObjId ) { return (1 << (ObjId & 31)); }
311 static inline int Gia_WordHasOneBit( unsigned uWord ) { return (uWord & (uWord-1)) == 0; }
312 static inline int Gia_WordHasOnePair( unsigned uWord ) { return Gia_WordHasOneBit(uWord & (uWord>>1) & 0x55555555); }
313 static inline int Gia_WordCountOnes( unsigned uWord )
314 {
315  uWord = (uWord & 0x55555555) + ((uWord>>1) & 0x55555555);
316  uWord = (uWord & 0x33333333) + ((uWord>>2) & 0x33333333);
317  uWord = (uWord & 0x0F0F0F0F) + ((uWord>>4) & 0x0F0F0F0F);
318  uWord = (uWord & 0x00FF00FF) + ((uWord>>8) & 0x00FF00FF);
319  return (uWord & 0x0000FFFF) + (uWord>>16);
320 }
321 static inline int Gia_WordFindFirstBit( unsigned uWord )
322 {
323  int i;
324  for ( i = 0; i < 32; i++ )
325  if ( uWord & (1 << i) )
326  return i;
327  return -1;
328 }
329 
330 static inline int Gia_ManTruthIsConst0( unsigned * pIn, int nVars )
331 {
332  int w;
333  for ( w = Abc_TruthWordNum(nVars)-1; w >= 0; w-- )
334  if ( pIn[w] )
335  return 0;
336  return 1;
337 }
338 static inline int Gia_ManTruthIsConst1( unsigned * pIn, int nVars )
339 {
340  int w;
341  for ( w = Abc_TruthWordNum(nVars)-1; w >= 0; w-- )
342  if ( pIn[w] != ~(unsigned)0 )
343  return 0;
344  return 1;
345 }
346 static inline void Gia_ManTruthCopy( unsigned * pOut, unsigned * pIn, int nVars )
347 {
348  int w;
349  for ( w = Abc_TruthWordNum(nVars)-1; w >= 0; w-- )
350  pOut[w] = pIn[w];
351 }
352 static inline void Gia_ManTruthClear( unsigned * pOut, int nVars )
353 {
354  int w;
355  for ( w = Abc_TruthWordNum(nVars)-1; w >= 0; w-- )
356  pOut[w] = 0;
357 }
358 static inline void Gia_ManTruthFill( unsigned * pOut, int nVars )
359 {
360  int w;
361  for ( w = Abc_TruthWordNum(nVars)-1; w >= 0; w-- )
362  pOut[w] = ~(unsigned)0;
363 }
364 static inline void Gia_ManTruthNot( unsigned * pOut, unsigned * pIn, int nVars )
365 {
366  int w;
367  for ( w = Abc_TruthWordNum(nVars)-1; w >= 0; w-- )
368  pOut[w] = ~pIn[w];
369 }
370 
371 static inline int Gia_ManConst0Lit() { return 0; }
372 static inline int Gia_ManConst1Lit() { return 1; }
373 static inline int Gia_ManIsConst0Lit( int iLit ) { return (iLit == 0); }
374 static inline int Gia_ManIsConst1Lit( int iLit ) { return (iLit == 1); }
375 static inline int Gia_ManIsConstLit( int iLit ) { return (iLit <= 1); }
376 
377 static inline Gia_Obj_t * Gia_Regular( Gia_Obj_t * p ) { return (Gia_Obj_t *)((ABC_PTRUINT_T)(p) & ~01); }
378 static inline Gia_Obj_t * Gia_Not( Gia_Obj_t * p ) { return (Gia_Obj_t *)((ABC_PTRUINT_T)(p) ^ 01); }
379 static inline Gia_Obj_t * Gia_NotCond( Gia_Obj_t * p, int c ) { return (Gia_Obj_t *)((ABC_PTRUINT_T)(p) ^ (c)); }
380 static inline int Gia_IsComplement( Gia_Obj_t * p ) { return (int)((ABC_PTRUINT_T)(p) & 01); }
381 
382 static inline char * Gia_ManName( Gia_Man_t * p ) { return p->pName; }
383 static inline int Gia_ManCiNum( Gia_Man_t * p ) { return Vec_IntSize(p->vCis); }
384 static inline int Gia_ManCoNum( Gia_Man_t * p ) { return Vec_IntSize(p->vCos); }
385 static inline int Gia_ManPiNum( Gia_Man_t * p ) { return Vec_IntSize(p->vCis) - p->nRegs; }
386 static inline int Gia_ManPoNum( Gia_Man_t * p ) { return Vec_IntSize(p->vCos) - p->nRegs; }
387 static inline int Gia_ManRegNum( Gia_Man_t * p ) { return p->nRegs; }
388 static inline int Gia_ManObjNum( Gia_Man_t * p ) { return p->nObjs; }
389 static inline int Gia_ManAndNum( Gia_Man_t * p ) { return p->nObjs - Vec_IntSize(p->vCis) - Vec_IntSize(p->vCos) - 1; }
390 static inline int Gia_ManXorNum( Gia_Man_t * p ) { return p->nXors; }
391 static inline int Gia_ManMuxNum( Gia_Man_t * p ) { return p->nMuxes; }
392 static inline int Gia_ManBufNum( Gia_Man_t * p ) { return p->nBufs; }
393 static inline int Gia_ManAndNotBufNum( Gia_Man_t * p ){ return Gia_ManAndNum(p) - Gia_ManBufNum(p); }
394 static inline int Gia_ManCandNum( Gia_Man_t * p ) { return Gia_ManCiNum(p) + Gia_ManAndNum(p); }
395 static inline int Gia_ManConstrNum( Gia_Man_t * p ) { return p->nConstrs; }
396 static inline void Gia_ManFlipVerbose( Gia_Man_t * p ) { p->fVerbose ^= 1; }
397 static inline int Gia_ManHasChoices( Gia_Man_t * p ) { return p->pSibls != NULL; }
398 static inline int Gia_ManChoiceNum( Gia_Man_t * p ) { int c = 0; if (p->pSibls) { int i; for (i = 0; i < p->nObjs; i++) c += (int)(p->pSibls[i] > 0); } return c; }
399 
400 static inline Gia_Obj_t * Gia_ManConst0( Gia_Man_t * p ) { return p->pObjs; }
401 static inline Gia_Obj_t * Gia_ManConst1( Gia_Man_t * p ) { return Gia_Not(Gia_ManConst0(p)); }
402 static inline Gia_Obj_t * Gia_ManObj( Gia_Man_t * p, int v ) { assert( v >= 0 && v < p->nObjs ); return p->pObjs + v; }
403 static inline Gia_Obj_t * Gia_ManCi( Gia_Man_t * p, int v ) { return Gia_ManObj( p, Vec_IntEntry(p->vCis,v) ); }
404 static inline Gia_Obj_t * Gia_ManCo( Gia_Man_t * p, int v ) { return Gia_ManObj( p, Vec_IntEntry(p->vCos,v) ); }
405 static inline Gia_Obj_t * Gia_ManPi( Gia_Man_t * p, int v ) { assert( v < Gia_ManPiNum(p) ); return Gia_ManCi( p, v ); }
406 static inline Gia_Obj_t * Gia_ManPo( Gia_Man_t * p, int v ) { assert( v < Gia_ManPoNum(p) ); return Gia_ManCo( p, v ); }
407 static inline Gia_Obj_t * Gia_ManRo( Gia_Man_t * p, int v ) { assert( v < Gia_ManRegNum(p) ); return Gia_ManCi( p, Gia_ManPiNum(p)+v ); }
408 static inline Gia_Obj_t * Gia_ManRi( Gia_Man_t * p, int v ) { assert( v < Gia_ManRegNum(p) ); return Gia_ManCo( p, Gia_ManPoNum(p)+v ); }
409 
410 static inline int Gia_ObjId( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( p->pObjs <= pObj && pObj < p->pObjs + p->nObjs ); return pObj - p->pObjs; }
411 static inline int Gia_ObjCioId( Gia_Obj_t * pObj ) { assert( pObj->fTerm ); return pObj->iDiff1; }
412 static inline void Gia_ObjSetCioId( Gia_Obj_t * pObj, int v ) { assert( pObj->fTerm ); pObj->iDiff1 = v; }
413 static inline int Gia_ObjValue( Gia_Obj_t * pObj ) { return pObj->Value; }
414 static inline void Gia_ObjSetValue( Gia_Obj_t * pObj, int i ) { pObj->Value = i; }
415 static inline int Gia_ObjPhase( Gia_Obj_t * pObj ) { return pObj->fPhase; }
416 static inline int Gia_ObjPhaseReal( Gia_Obj_t * pObj ) { return Gia_Regular(pObj)->fPhase ^ Gia_IsComplement(pObj); }
417 
418 static inline int Gia_ObjIsTerm( Gia_Obj_t * pObj ) { return pObj->fTerm; }
419 static inline int Gia_ObjIsAndOrConst0( Gia_Obj_t * pObj ) { return!pObj->fTerm; }
420 static inline int Gia_ObjIsCi( Gia_Obj_t * pObj ) { return pObj->fTerm && pObj->iDiff0 == GIA_NONE; }
421 static inline int Gia_ObjIsCo( Gia_Obj_t * pObj ) { return pObj->fTerm && pObj->iDiff0 != GIA_NONE; }
422 static inline int Gia_ObjIsAnd( Gia_Obj_t * pObj ) { return!pObj->fTerm && pObj->iDiff0 != GIA_NONE; }
423 static inline int Gia_ObjIsXor( Gia_Obj_t * pObj ) { return Gia_ObjIsAnd(pObj) && pObj->iDiff0 < pObj->iDiff1; }
424 static inline int Gia_ObjIsMuxId( Gia_Man_t * p, int iObj ) { return p->pMuxes && p->pMuxes[iObj] > 0; }
425 static inline int Gia_ObjIsMux( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjIsMuxId( p, Gia_ObjId(p, pObj) ); }
426 static inline int Gia_ObjIsAndReal( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjIsAnd(pObj) && pObj->iDiff0 > pObj->iDiff1 && !Gia_ObjIsMux(p, pObj); }
427 static inline int Gia_ObjIsBuf( Gia_Obj_t * pObj ) { return pObj->iDiff0 == pObj->iDiff1 && pObj->iDiff0 != GIA_NONE && !pObj->fTerm; }
428 static inline int Gia_ObjIsAndNotBuf( Gia_Obj_t * pObj ) { return Gia_ObjIsAnd(pObj) && pObj->iDiff0 != pObj->iDiff1; }
429 static inline int Gia_ObjIsCand( Gia_Obj_t * pObj ) { return Gia_ObjIsAnd(pObj) || Gia_ObjIsCi(pObj); }
430 static inline int Gia_ObjIsConst0( Gia_Obj_t * pObj ) { return pObj->iDiff0 == GIA_NONE && pObj->iDiff1 == GIA_NONE; }
431 static inline int Gia_ManObjIsConst0( Gia_Man_t * p, Gia_Obj_t * pObj){ return pObj == p->pObjs; }
432 
433 static inline int Gia_Obj2Lit( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Abc_Var2Lit(Gia_ObjId(p, Gia_Regular(pObj)), Gia_IsComplement(pObj)); }
434 static inline Gia_Obj_t * Gia_Lit2Obj( Gia_Man_t * p, int iLit ) { return Gia_NotCond(Gia_ManObj(p, Abc_Lit2Var(iLit)), Abc_LitIsCompl(iLit)); }
435 static inline int Gia_ManCiLit( Gia_Man_t * p, int CiId ) { return Gia_Obj2Lit( p, Gia_ManCi(p, CiId) ); }
436 
437 static inline int Gia_ManIdToCioId( Gia_Man_t * p, int Id ) { return Gia_ObjCioId( Gia_ManObj(p, Id) ); }
438 static inline int Gia_ManCiIdToId( Gia_Man_t * p, int CiId ) { return Gia_ObjId( p, Gia_ManCi(p, CiId) ); }
439 static inline int Gia_ManCoIdToId( Gia_Man_t * p, int CoId ) { return Gia_ObjId( p, Gia_ManCo(p, CoId) ); }
440 
441 static inline int Gia_ObjIsPi( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjIsCi(pObj) && Gia_ObjCioId(pObj) < Gia_ManPiNum(p); }
442 static inline int Gia_ObjIsPo( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjIsCo(pObj) && Gia_ObjCioId(pObj) < Gia_ManPoNum(p); }
443 static inline int Gia_ObjIsRo( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjIsCi(pObj) && Gia_ObjCioId(pObj) >= Gia_ManPiNum(p); }
444 static inline int Gia_ObjIsRi( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjIsCo(pObj) && Gia_ObjCioId(pObj) >= Gia_ManPoNum(p); }
445 
446 static inline Gia_Obj_t * Gia_ObjRoToRi( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjIsRo(p, pObj) ); return Gia_ManCo(p, Gia_ManCoNum(p) - Gia_ManCiNum(p) + Gia_ObjCioId(pObj)); }
447 static inline Gia_Obj_t * Gia_ObjRiToRo( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjIsRi(p, pObj) ); return Gia_ManCi(p, Gia_ManCiNum(p) - Gia_ManCoNum(p) + Gia_ObjCioId(pObj)); }
448 
449 static inline int Gia_ObjDiff0( Gia_Obj_t * pObj ) { return pObj->iDiff0; }
450 static inline int Gia_ObjDiff1( Gia_Obj_t * pObj ) { return pObj->iDiff1; }
451 static inline int Gia_ObjFaninC0( Gia_Obj_t * pObj ) { return pObj->fCompl0; }
452 static inline int Gia_ObjFaninC1( Gia_Obj_t * pObj ) { return pObj->fCompl1; }
453 static inline int Gia_ObjFaninC2( Gia_Man_t * p, Gia_Obj_t * pObj ) { return p->pMuxes && Abc_LitIsCompl(p->pMuxes[Gia_ObjId(p, pObj)]); }
454 static inline Gia_Obj_t * Gia_ObjFanin0( Gia_Obj_t * pObj ) { return pObj - pObj->iDiff0; }
455 static inline Gia_Obj_t * Gia_ObjFanin1( Gia_Obj_t * pObj ) { return pObj - pObj->iDiff1; }
456 static inline Gia_Obj_t * Gia_ObjFanin2( Gia_Man_t * p, Gia_Obj_t * pObj ) { return p->pMuxes ? Gia_ManObj(p, Abc_Lit2Var(p->pMuxes[Gia_ObjId(p, pObj)])) : NULL; }
457 static inline Gia_Obj_t * Gia_ObjChild0( Gia_Obj_t * pObj ) { return Gia_NotCond( Gia_ObjFanin0(pObj), Gia_ObjFaninC0(pObj) ); }
458 static inline Gia_Obj_t * Gia_ObjChild1( Gia_Obj_t * pObj ) { return Gia_NotCond( Gia_ObjFanin1(pObj), Gia_ObjFaninC1(pObj) ); }
459 static inline Gia_Obj_t * Gia_ObjChild2( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_NotCond( Gia_ObjFanin2(p, pObj), Gia_ObjFaninC2(p, pObj) ); }
460 static inline int Gia_ObjFaninId0( Gia_Obj_t * pObj, int ObjId ) { return ObjId - pObj->iDiff0; }
461 static inline int Gia_ObjFaninId1( Gia_Obj_t * pObj, int ObjId ) { return ObjId - pObj->iDiff1; }
462 static inline int Gia_ObjFaninId2( Gia_Man_t * p, int ObjId ) { return (p->pMuxes && p->pMuxes[ObjId]) ? Abc_Lit2Var(p->pMuxes[ObjId]) : -1; }
463 static inline int Gia_ObjFaninId0p( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjFaninId0( pObj, Gia_ObjId(p, pObj) ); }
464 static inline int Gia_ObjFaninId1p( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjFaninId1( pObj, Gia_ObjId(p, pObj) ); }
465 static inline int Gia_ObjFaninId2p( Gia_Man_t * p, Gia_Obj_t * pObj ) { return (p->pMuxes && p->pMuxes[Gia_ObjId(p, pObj)]) ? Abc_Lit2Var(p->pMuxes[Gia_ObjId(p, pObj)]) : -1; }
466 static inline int Gia_ObjFaninLit0( Gia_Obj_t * pObj, int ObjId ) { return Abc_Var2Lit( Gia_ObjFaninId0(pObj, ObjId), Gia_ObjFaninC0(pObj) ); }
467 static inline int Gia_ObjFaninLit1( Gia_Obj_t * pObj, int ObjId ) { return Abc_Var2Lit( Gia_ObjFaninId1(pObj, ObjId), Gia_ObjFaninC1(pObj) ); }
468 static inline int Gia_ObjFaninLit2( Gia_Man_t * p, int ObjId ) { return (p->pMuxes && p->pMuxes[ObjId]) ? p->pMuxes[ObjId] : -1; }
469 static inline int Gia_ObjFaninLit0p( Gia_Man_t * p, Gia_Obj_t * pObj) { return Abc_Var2Lit( Gia_ObjFaninId0p(p, pObj), Gia_ObjFaninC0(pObj) ); }
470 static inline int Gia_ObjFaninLit1p( Gia_Man_t * p, Gia_Obj_t * pObj) { return Abc_Var2Lit( Gia_ObjFaninId1p(p, pObj), Gia_ObjFaninC1(pObj) ); }
471 static inline int Gia_ObjFaninLit2p( Gia_Man_t * p, Gia_Obj_t * pObj) { return (p->pMuxes && p->pMuxes[Gia_ObjId(p, pObj)]) ? p->pMuxes[Gia_ObjId(p, pObj)] : -1; }
472 static inline void Gia_ObjFlipFaninC0( Gia_Obj_t * pObj ) { assert( Gia_ObjIsCo(pObj) ); pObj->fCompl0 ^= 1; }
473 static inline int Gia_ObjWhatFanin( Gia_Obj_t * pObj, Gia_Obj_t * pFanin ) { return Gia_ObjFanin0(pObj) == pFanin ? 0 : (Gia_ObjFanin1(pObj) == pFanin ? 1 : -1); }
474 
475 static inline int Gia_ManPoIsConst0( Gia_Man_t * p, int iPoIndex ) { return Gia_ManIsConst0Lit( Gia_ObjFaninLit0p(p, Gia_ManPo(p, iPoIndex)) ); }
476 static inline int Gia_ManPoIsConst1( Gia_Man_t * p, int iPoIndex ) { return Gia_ManIsConst1Lit( Gia_ObjFaninLit0p(p, Gia_ManPo(p, iPoIndex)) ); }
477 
478 static inline Gia_Obj_t * Gia_ObjCopy( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ManObj( p, Abc_Lit2Var(pObj->Value) ); }
479 static inline int Gia_ObjLitCopy( Gia_Man_t * p, int iLit ) { return Abc_LitNotCond( Gia_ManObj(p, Abc_Lit2Var(iLit))->Value, Abc_LitIsCompl(iLit)); }
480 
481 static inline int Gia_ObjFanin0Copy( Gia_Obj_t * pObj ) { return Abc_LitNotCond( Gia_ObjFanin0(pObj)->Value, Gia_ObjFaninC0(pObj) ); }
482 static inline int Gia_ObjFanin1Copy( Gia_Obj_t * pObj ) { return Abc_LitNotCond( Gia_ObjFanin1(pObj)->Value, Gia_ObjFaninC1(pObj) ); }
483 static inline int Gia_ObjFanin2Copy( Gia_Man_t * p, Gia_Obj_t * pObj ){ return Abc_LitNotCond(Gia_ObjFanin2(p, pObj)->Value, Gia_ObjFaninC2(p, pObj)); }
484 
485 static inline int Gia_ObjCopyF( Gia_Man_t * p, int f, Gia_Obj_t * pObj ) { return Vec_IntEntry(&p->vCopies, Gia_ManObjNum(p) * f + Gia_ObjId(p,pObj)); }
486 static inline void Gia_ObjSetCopyF( Gia_Man_t * p, int f, Gia_Obj_t * pObj, int iLit ) { Vec_IntWriteEntry(&p->vCopies, Gia_ManObjNum(p) * f + Gia_ObjId(p,pObj), iLit); }
487 static inline int Gia_ObjCopyArray( Gia_Man_t * p, int iObj ) { return Vec_IntEntry(&p->vCopies, iObj); }
488 static inline void Gia_ObjSetCopyArray( Gia_Man_t * p, int iObj, int iLit ) { Vec_IntWriteEntry(&p->vCopies, iObj, iLit); }
489 static inline void Gia_ManCleanCopyArray( Gia_Man_t * p ) { Vec_IntFill( &p->vCopies, Gia_ManObjNum(p), -1 ); }
490 
491 static inline int Gia_ObjFanin0CopyF( Gia_Man_t * p, int f, Gia_Obj_t * pObj ) { return Abc_LitNotCond(Gia_ObjCopyF(p, f, Gia_ObjFanin0(pObj)), Gia_ObjFaninC0(pObj)); }
492 static inline int Gia_ObjFanin1CopyF( Gia_Man_t * p, int f, Gia_Obj_t * pObj ) { return Abc_LitNotCond(Gia_ObjCopyF(p, f, Gia_ObjFanin1(pObj)), Gia_ObjFaninC1(pObj)); }
493 static inline int Gia_ObjFanin0CopyArray( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Abc_LitNotCond(Gia_ObjCopyArray(p, Gia_ObjFaninId0p(p,pObj)), Gia_ObjFaninC0(pObj)); }
494 static inline int Gia_ObjFanin1CopyArray( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Abc_LitNotCond(Gia_ObjCopyArray(p, Gia_ObjFaninId1p(p,pObj)), Gia_ObjFaninC1(pObj)); }
495 
496 static inline Gia_Obj_t * Gia_ObjFromLit( Gia_Man_t * p, int iLit ) { return Gia_NotCond( Gia_ManObj(p, Abc_Lit2Var(iLit)), Abc_LitIsCompl(iLit) ); }
497 static inline int Gia_ObjToLit( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Abc_Var2Lit( Gia_ObjId(p, Gia_Regular(pObj)), Gia_IsComplement(pObj) ); }
498 static inline int Gia_ObjPhaseRealLit( Gia_Man_t * p, int iLit ) { return Gia_ObjPhaseReal( Gia_ObjFromLit(p, iLit) ); }
499 
500 static inline int Gia_ObjLevelId( Gia_Man_t * p, int Id ) { return Vec_IntGetEntry(p->vLevels, Id); }
501 static inline int Gia_ObjLevel( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjLevelId( p, Gia_ObjId(p,pObj) ); }
502 static inline void Gia_ObjSetLevelId( Gia_Man_t * p, int Id, int l ) { Vec_IntSetEntry(p->vLevels, Id, l); }
503 static inline void Gia_ObjSetLevel( Gia_Man_t * p, Gia_Obj_t * pObj, int l ) { Gia_ObjSetLevelId( p, Gia_ObjId(p,pObj), l ); }
504 static inline void Gia_ObjSetCoLevel( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjIsCo(pObj) ); Gia_ObjSetLevel( p, pObj, Gia_ObjLevel(p,Gia_ObjFanin0(pObj)) ); }
505 static inline void Gia_ObjSetBufLevel( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjIsAnd(pObj) ); Gia_ObjSetLevel( p, pObj, Gia_ObjLevel(p,Gia_ObjFanin0(pObj)) ); }
506 static inline void Gia_ObjSetAndLevel( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjIsAnd(pObj) ); Gia_ObjSetLevel( p, pObj, 1+Abc_MaxInt(Gia_ObjLevel(p,Gia_ObjFanin0(pObj)),Gia_ObjLevel(p,Gia_ObjFanin1(pObj))) ); }
507 static inline void Gia_ObjSetXorLevel( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjIsXor(pObj) ); Gia_ObjSetLevel( p, pObj, 2+Abc_MaxInt(Gia_ObjLevel(p,Gia_ObjFanin0(pObj)),Gia_ObjLevel(p,Gia_ObjFanin1(pObj))) ); }
508 static inline void Gia_ObjSetMuxLevel( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjIsMux(p,pObj) ); Gia_ObjSetLevel( p, pObj, 2+Abc_MaxInt( Abc_MaxInt(Gia_ObjLevel(p,Gia_ObjFanin0(pObj)),Gia_ObjLevel(p,Gia_ObjFanin1(pObj))), Gia_ObjLevel(p,Gia_ObjFanin2(p,pObj))) ); }
509 static inline void Gia_ObjSetGateLevel( Gia_Man_t * p, Gia_Obj_t * pObj ){ if ( Gia_ObjIsBuf(pObj) ) Gia_ObjSetBufLevel(p, pObj); else if ( Gia_ObjIsMux(p,pObj) ) Gia_ObjSetMuxLevel(p, pObj); else if ( Gia_ObjIsXor(pObj) ) Gia_ObjSetXorLevel(p, pObj); else if ( Gia_ObjIsAnd(pObj) ) Gia_ObjSetAndLevel(p, pObj); }
510 
511 static inline int Gia_ObjHasNumId( Gia_Man_t * p, int Id ) { return Vec_IntEntry(p->vTtNums, Id) > -ABC_INFINITY; }
512 static inline int Gia_ObjNumId( Gia_Man_t * p, int Id ) { return Vec_IntEntry(p->vTtNums, Id); }
513 static inline int Gia_ObjNum( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Vec_IntEntry(p->vTtNums, Gia_ObjId(p,pObj)); }
514 static inline void Gia_ObjSetNumId( Gia_Man_t * p, int Id, int n ) { Vec_IntWriteEntry(p->vTtNums, Id, n); }
515 static inline void Gia_ObjSetNum( Gia_Man_t * p, Gia_Obj_t * pObj, int n ) { Vec_IntWriteEntry(p->vTtNums, Gia_ObjId(p,pObj), n); }
516 static inline void Gia_ObjResetNumId( Gia_Man_t * p, int Id ) { Vec_IntWriteEntry(p->vTtNums, Id, -ABC_INFINITY); }
517 
518 static inline int Gia_ObjRefNumId( Gia_Man_t * p, int Id ) { return p->pRefs[Id]; }
519 static inline int Gia_ObjRefIncId( Gia_Man_t * p, int Id ) { return p->pRefs[Id]++; }
520 static inline int Gia_ObjRefDecId( Gia_Man_t * p, int Id ) { return --p->pRefs[Id]; }
521 static inline int Gia_ObjRefNum( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjRefNumId( p, Gia_ObjId(p, pObj) ); }
522 static inline int Gia_ObjRefInc( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjRefIncId( p, Gia_ObjId(p, pObj) ); }
523 static inline int Gia_ObjRefDec( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjRefDecId( p, Gia_ObjId(p, pObj) ); }
524 static inline void Gia_ObjRefFanin0Inc(Gia_Man_t * p, Gia_Obj_t * pObj){ Gia_ObjRefInc(p, Gia_ObjFanin0(pObj)); }
525 static inline void Gia_ObjRefFanin1Inc(Gia_Man_t * p, Gia_Obj_t * pObj){ Gia_ObjRefInc(p, Gia_ObjFanin1(pObj)); }
526 static inline void Gia_ObjRefFanin2Inc(Gia_Man_t * p, Gia_Obj_t * pObj){ Gia_ObjRefInc(p, Gia_ObjFanin2(p, pObj)); }
527 static inline void Gia_ObjRefFanin0Dec(Gia_Man_t * p, Gia_Obj_t * pObj){ Gia_ObjRefDec(p, Gia_ObjFanin0(pObj)); }
528 static inline void Gia_ObjRefFanin1Dec(Gia_Man_t * p, Gia_Obj_t * pObj){ Gia_ObjRefDec(p, Gia_ObjFanin1(pObj)); }
529 static inline void Gia_ObjRefFanin2Dec(Gia_Man_t * p, Gia_Obj_t * pObj){ Gia_ObjRefDec(p, Gia_ObjFanin2(p, pObj)); }
530 
531 static inline void Gia_ObjSetTravIdCurrent( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjId(p, pObj) < p->nTravIdsAlloc ); p->pTravIds[Gia_ObjId(p, pObj)] = p->nTravIds; }
532 static inline void Gia_ObjSetTravIdPrevious( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjId(p, pObj) < p->nTravIdsAlloc ); p->pTravIds[Gia_ObjId(p, pObj)] = p->nTravIds - 1; }
533 static inline int Gia_ObjIsTravIdCurrent( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjId(p, pObj) < p->nTravIdsAlloc ); return (p->pTravIds[Gia_ObjId(p, pObj)] == p->nTravIds); }
534 static inline int Gia_ObjIsTravIdPrevious( Gia_Man_t * p, Gia_Obj_t * pObj ) { assert( Gia_ObjId(p, pObj) < p->nTravIdsAlloc ); return (p->pTravIds[Gia_ObjId(p, pObj)] == p->nTravIds - 1); }
535 static inline void Gia_ObjSetTravIdCurrentId( Gia_Man_t * p, int Id ) { assert( Id < p->nTravIdsAlloc ); p->pTravIds[Id] = p->nTravIds; }
536 static inline int Gia_ObjIsTravIdCurrentId( Gia_Man_t * p, int Id ) { assert( Id < p->nTravIdsAlloc ); return (p->pTravIds[Id] == p->nTravIds); }
537 
538 static inline void Gia_ManTimeClean( Gia_Man_t * p ) { int i; assert( p->vTiming != NULL ); Vec_FltFill(p->vTiming, 3*Gia_ManObjNum(p), 0); for ( i = 0; i < Gia_ManObjNum(p); i++ ) Vec_FltWriteEntry( p->vTiming, 3*i+1, (float)(ABC_INFINITY) ); }
539 static inline void Gia_ManTimeStart( Gia_Man_t * p ) { assert( p->vTiming == NULL ); p->vTiming = Vec_FltAlloc(0); Gia_ManTimeClean( p ); }
540 static inline void Gia_ManTimeStop( Gia_Man_t * p ) { assert( p->vTiming != NULL ); Vec_FltFreeP(&p->vTiming); }
541 static inline float Gia_ObjTimeArrival( Gia_Man_t * p, int Id ) { return Vec_FltEntry(p->vTiming, 3*Id+0); }
542 static inline float Gia_ObjTimeRequired( Gia_Man_t * p, int Id ) { return Vec_FltEntry(p->vTiming, 3*Id+1); }
543 static inline float Gia_ObjTimeSlack( Gia_Man_t * p, int Id ) { return Vec_FltEntry(p->vTiming, 3*Id+2); }
544 static inline float Gia_ObjTimeArrivalObj( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjTimeArrival( p, Gia_ObjId(p, pObj) ); }
545 static inline float Gia_ObjTimeRequiredObj( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjTimeRequired( p, Gia_ObjId(p, pObj) ); }
546 static inline float Gia_ObjTimeSlackObj( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjTimeSlack( p, Gia_ObjId(p, pObj) ); }
547 static inline void Gia_ObjSetTimeArrival( Gia_Man_t * p, int Id, float t ) { Vec_FltWriteEntry( p->vTiming, 3*Id+0, t ); }
548 static inline void Gia_ObjSetTimeRequired( Gia_Man_t * p, int Id, float t ) { Vec_FltWriteEntry( p->vTiming, 3*Id+1, t ); }
549 static inline void Gia_ObjSetTimeSlack( Gia_Man_t * p, int Id, float t ) { Vec_FltWriteEntry( p->vTiming, 3*Id+2, t ); }
550 static inline void Gia_ObjSetTimeArrivalObj( Gia_Man_t * p, Gia_Obj_t * pObj, float t ) { Gia_ObjSetTimeArrival( p, Gia_ObjId(p, pObj), t ); }
551 static inline void Gia_ObjSetTimeRequiredObj( Gia_Man_t * p, Gia_Obj_t * pObj, float t ) { Gia_ObjSetTimeRequired( p, Gia_ObjId(p, pObj), t ); }
552 static inline void Gia_ObjSetTimeSlackObj( Gia_Man_t * p, Gia_Obj_t * pObj, float t ) { Gia_ObjSetTimeSlack( p, Gia_ObjId(p, pObj), t ); }
553 
554 static inline int Gia_ObjSimWords( Gia_Man_t * p ) { return Vec_WrdSize( p->vSimsPi ) / Gia_ManPiNum( p ); }
555 static inline word * Gia_ObjSimPi( Gia_Man_t * p, int PiId ) { return Vec_WrdEntryP( p->vSimsPi, PiId * Gia_ObjSimWords(p) ); }
556 static inline word * Gia_ObjSim( Gia_Man_t * p, int Id ) { return Vec_WrdEntryP( p->vSims, Id * Gia_ObjSimWords(p) ); }
557 static inline word * Gia_ObjSimObj( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjSim( p, Gia_ObjId(p, pObj) ); }
558 
559 // AIG construction
560 extern void Gia_ObjAddFanout( Gia_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pFanout );
561 static inline Gia_Obj_t * Gia_ManAppendObj( Gia_Man_t * p )
562 {
563  if ( p->nObjs == p->nObjsAlloc )
564  {
565  int nObjNew = Abc_MinInt( 2 * p->nObjsAlloc, (1 << 29) );
566  if ( p->nObjs == (1 << 29) )
567  printf( "Hard limit on the number of nodes (2^29) is reached. Quitting...\n" ), exit(1);
568  assert( p->nObjs < nObjNew );
569  if ( p->fVerbose )
570  printf("Extending GIA object storage: %d -> %d.\n", p->nObjsAlloc, nObjNew );
571  assert( p->nObjsAlloc > 0 );
572  p->pObjs = ABC_REALLOC( Gia_Obj_t, p->pObjs, nObjNew );
573  memset( p->pObjs + p->nObjsAlloc, 0, sizeof(Gia_Obj_t) * (nObjNew - p->nObjsAlloc) );
574  if ( p->pMuxes )
575  {
576  p->pMuxes = ABC_REALLOC( unsigned, p->pMuxes, nObjNew );
577  memset( p->pMuxes + p->nObjsAlloc, 0, sizeof(unsigned) * (nObjNew - p->nObjsAlloc) );
578  }
579  p->nObjsAlloc = nObjNew;
580  }
581  return Gia_ManObj( p, p->nObjs++ );
582 }
583 static inline int Gia_ManAppendCi( Gia_Man_t * p )
584 {
585  Gia_Obj_t * pObj = Gia_ManAppendObj( p );
586  pObj->fTerm = 1;
587  pObj->iDiff0 = GIA_NONE;
588  pObj->iDiff1 = Vec_IntSize( p->vCis );
589  Vec_IntPush( p->vCis, Gia_ObjId(p, pObj) );
590  return Gia_ObjId( p, pObj ) << 1;
591 }
592 static inline int Gia_ManAppendAnd( Gia_Man_t * p, int iLit0, int iLit1 )
593 {
594  Gia_Obj_t * pObj = Gia_ManAppendObj( p );
595  assert( iLit0 >= 0 && Abc_Lit2Var(iLit0) < Gia_ManObjNum(p) );
596  assert( iLit1 >= 0 && Abc_Lit2Var(iLit1) < Gia_ManObjNum(p) );
597  assert( Abc_Lit2Var(iLit0) != Abc_Lit2Var(iLit1) );
598  if ( iLit0 < iLit1 )
599  {
600  pObj->iDiff0 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit0);
601  pObj->fCompl0 = Abc_LitIsCompl(iLit0);
602  pObj->iDiff1 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit1);
603  pObj->fCompl1 = Abc_LitIsCompl(iLit1);
604  }
605  else
606  {
607  pObj->iDiff1 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit0);
608  pObj->fCompl1 = Abc_LitIsCompl(iLit0);
609  pObj->iDiff0 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit1);
610  pObj->fCompl0 = Abc_LitIsCompl(iLit1);
611  }
612  if ( p->pFanData )
613  {
614  Gia_ObjAddFanout( p, Gia_ObjFanin0(pObj), pObj );
615  Gia_ObjAddFanout( p, Gia_ObjFanin1(pObj), pObj );
616  }
617  if ( p->fSweeper )
618  {
619  Gia_Obj_t * pFan0 = Gia_ObjFanin0(pObj);
620  Gia_Obj_t * pFan1 = Gia_ObjFanin1(pObj);
621  if ( pFan0->fMark0 ) pFan0->fMark1 = 1; else pFan0->fMark0 = 1;
622  if ( pFan1->fMark0 ) pFan1->fMark1 = 1; else pFan1->fMark0 = 1;
623  pObj->fPhase = (Gia_ObjPhase(pFan0) ^ Gia_ObjFaninC0(pObj)) & (Gia_ObjPhase(pFan1) ^ Gia_ObjFaninC1(pObj));
624  }
625  return Gia_ObjId( p, pObj ) << 1;
626 }
627 static inline int Gia_ManAppendAnd2( Gia_Man_t * p, int iLit0, int iLit1 )
628 {
629  if ( iLit0 < 2 )
630  return iLit0 ? iLit1 : 0;
631  if ( iLit1 < 2 )
632  return iLit1 ? iLit0 : 0;
633  if ( iLit0 == iLit1 )
634  return iLit1;
635  if ( iLit0 == Abc_LitNot(iLit1) )
636  return 0;
637  return Gia_ManAppendAnd( p, iLit0, iLit1 );
638 }
639 static inline int Gia_ManAppendXorReal( Gia_Man_t * p, int iLit0, int iLit1 )
640 {
641  Gia_Obj_t * pObj = Gia_ManAppendObj( p );
642  assert( iLit0 >= 0 && Abc_Lit2Var(iLit0) < Gia_ManObjNum(p) );
643  assert( iLit1 >= 0 && Abc_Lit2Var(iLit1) < Gia_ManObjNum(p) );
644  assert( Abc_Lit2Var(iLit0) != Abc_Lit2Var(iLit1) );
645  assert( !Abc_LitIsCompl(iLit0) );
646  assert( !Abc_LitIsCompl(iLit1) );
647  if ( Abc_Lit2Var(iLit0) > Abc_Lit2Var(iLit1) )
648  {
649  pObj->iDiff0 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit0);
650  pObj->fCompl0 = Abc_LitIsCompl(iLit0);
651  pObj->iDiff1 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit1);
652  pObj->fCompl1 = Abc_LitIsCompl(iLit1);
653  }
654  else
655  {
656  pObj->iDiff1 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit0);
657  pObj->fCompl1 = Abc_LitIsCompl(iLit0);
658  pObj->iDiff0 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit1);
659  pObj->fCompl0 = Abc_LitIsCompl(iLit1);
660  }
661  p->nXors++;
662  return Gia_ObjId( p, pObj ) << 1;
663 }
664 static inline int Gia_ManAppendMuxReal( Gia_Man_t * p, int iLitC, int iLit1, int iLit0 )
665 {
666  Gia_Obj_t * pObj = Gia_ManAppendObj( p );
667  assert( p->pMuxes != NULL );
668  assert( iLit0 >= 0 && Abc_Lit2Var(iLit0) < Gia_ManObjNum(p) );
669  assert( iLit1 >= 0 && Abc_Lit2Var(iLit1) < Gia_ManObjNum(p) );
670  assert( iLitC >= 0 && Abc_Lit2Var(iLitC) < Gia_ManObjNum(p) );
671  assert( Abc_Lit2Var(iLit0) != Abc_Lit2Var(iLit1) );
672  assert( Abc_Lit2Var(iLitC) != Abc_Lit2Var(iLit0) );
673  assert( Abc_Lit2Var(iLitC) != Abc_Lit2Var(iLit1) );
674  assert( !p->pHTable || !Abc_LitIsCompl(iLit1) );
675  if ( Abc_Lit2Var(iLit0) < Abc_Lit2Var(iLit1) )
676  {
677  pObj->iDiff0 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit0);
678  pObj->fCompl0 = Abc_LitIsCompl(iLit0);
679  pObj->iDiff1 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit1);
680  pObj->fCompl1 = Abc_LitIsCompl(iLit1);
681  p->pMuxes[Gia_ObjId(p, pObj)] = iLitC;
682  }
683  else
684  {
685  pObj->iDiff1 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit0);
686  pObj->fCompl1 = Abc_LitIsCompl(iLit0);
687  pObj->iDiff0 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit1);
688  pObj->fCompl0 = Abc_LitIsCompl(iLit1);
689  p->pMuxes[Gia_ObjId(p, pObj)] = Abc_LitNot(iLitC);
690  }
691  p->nMuxes++;
692  return Gia_ObjId( p, pObj ) << 1;
693 }
694 static inline int Gia_ManAppendBuf( Gia_Man_t * p, int iLit )
695 {
696  Gia_Obj_t * pObj = Gia_ManAppendObj( p );
697  assert( iLit >= 0 && Abc_Lit2Var(iLit) < Gia_ManObjNum(p) );
698  pObj->iDiff0 = pObj->iDiff1 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit);
699  pObj->fCompl0 = pObj->fCompl1 = Abc_LitIsCompl(iLit);
700  p->nBufs++;
701  return Gia_ObjId( p, pObj ) << 1;
702 }
703 static inline int Gia_ManAppendCo( Gia_Man_t * p, int iLit0 )
704 {
705  Gia_Obj_t * pObj;
706  assert( iLit0 >= 0 && Abc_Lit2Var(iLit0) < Gia_ManObjNum(p) );
707  assert( !Gia_ObjIsCo(Gia_ManObj(p, Abc_Lit2Var(iLit0))) );
708  pObj = Gia_ManAppendObj( p );
709  pObj->fTerm = 1;
710  pObj->iDiff0 = Gia_ObjId(p, pObj) - Abc_Lit2Var(iLit0);
711  pObj->fCompl0 = Abc_LitIsCompl(iLit0);
712  pObj->iDiff1 = Vec_IntSize( p->vCos );
713  Vec_IntPush( p->vCos, Gia_ObjId(p, pObj) );
714  if ( p->pFanData )
715  Gia_ObjAddFanout( p, Gia_ObjFanin0(pObj), pObj );
716  return Gia_ObjId( p, pObj ) << 1;
717 }
718 static inline int Gia_ManAppendOr( Gia_Man_t * p, int iLit0, int iLit1 )
719 {
720  return Abc_LitNot(Gia_ManAppendAnd( p, Abc_LitNot(iLit0), Abc_LitNot(iLit1) ));
721 }
722 static inline int Gia_ManAppendMux( Gia_Man_t * p, int iCtrl, int iData1, int iData0 )
723 {
724  int iTemp0 = Gia_ManAppendAnd( p, Abc_LitNot(iCtrl), iData0 );
725  int iTemp1 = Gia_ManAppendAnd( p, iCtrl, iData1 );
726  return Abc_LitNotCond( Gia_ManAppendAnd( p, Abc_LitNot(iTemp0), Abc_LitNot(iTemp1) ), 1 );
727 }
728 static inline int Gia_ManAppendMaj( Gia_Man_t * p, int iData0, int iData1, int iData2 )
729 {
730  int iTemp0 = Gia_ManAppendOr( p, iData1, iData2 );
731  int iTemp1 = Gia_ManAppendAnd( p, iData0, iTemp0 );
732  int iTemp2 = Gia_ManAppendAnd( p, iData1, iData2 );
733  return Gia_ManAppendOr( p, iTemp1, iTemp2 );
734 }
735 static inline int Gia_ManAppendXor( Gia_Man_t * p, int iLit0, int iLit1 )
736 {
737  return Gia_ManAppendMux( p, iLit0, Abc_LitNot(iLit1), iLit1 );
738 }
739 static inline void Gia_ManPatchCoDriver( Gia_Man_t * p, int iCoIndex, int iLit0 )
740 {
741  Gia_Obj_t * pObjCo = Gia_ManCo( p, iCoIndex );
742  assert( Gia_ObjId(p, pObjCo) > Abc_Lit2Var(iLit0) );
743  pObjCo->iDiff0 = Gia_ObjId(p, pObjCo) - Abc_Lit2Var(iLit0);
744  pObjCo->fCompl0 = Abc_LitIsCompl(iLit0);
745 }
746 
747 #define GIA_ZER 1
748 #define GIA_ONE 2
749 #define GIA_UND 3
750 
751 static inline int Gia_XsimNotCond( int Value, int fCompl )
752 {
753  if ( Value == GIA_UND )
754  return GIA_UND;
755  if ( Value == GIA_ZER + fCompl )
756  return GIA_ZER;
757  return GIA_ONE;
758 }
759 static inline int Gia_XsimAndCond( int Value0, int fCompl0, int Value1, int fCompl1 )
760 {
761  if ( Value0 == GIA_ZER + fCompl0 || Value1 == GIA_ZER + fCompl1 )
762  return GIA_ZER;
763  if ( Value0 == GIA_UND || Value1 == GIA_UND )
764  return GIA_UND;
765  return GIA_ONE;
766 }
767 
768 
769 static inline void Gia_ObjTerSimSetC( Gia_Obj_t * pObj ) { pObj->fMark0 = 0; pObj->fMark1 = 0; }
770 static inline void Gia_ObjTerSimSet0( Gia_Obj_t * pObj ) { pObj->fMark0 = 1; pObj->fMark1 = 0; }
771 static inline void Gia_ObjTerSimSet1( Gia_Obj_t * pObj ) { pObj->fMark0 = 0; pObj->fMark1 = 1; }
772 static inline void Gia_ObjTerSimSetX( Gia_Obj_t * pObj ) { pObj->fMark0 = 1; pObj->fMark1 = 1; }
773 
774 static inline int Gia_ObjTerSimGetC( Gia_Obj_t * pObj ) { return !pObj->fMark0 && !pObj->fMark1; }
775 static inline int Gia_ObjTerSimGet0( Gia_Obj_t * pObj ) { return pObj->fMark0 && !pObj->fMark1; }
776 static inline int Gia_ObjTerSimGet1( Gia_Obj_t * pObj ) { return !pObj->fMark0 && pObj->fMark1; }
777 static inline int Gia_ObjTerSimGetX( Gia_Obj_t * pObj ) { return pObj->fMark0 && pObj->fMark1; }
778 
779 static inline int Gia_ObjTerSimGet0Fanin0( Gia_Obj_t * pObj ) { return (Gia_ObjTerSimGet1(Gia_ObjFanin0(pObj)) && Gia_ObjFaninC0(pObj)) || (Gia_ObjTerSimGet0(Gia_ObjFanin0(pObj)) && !Gia_ObjFaninC0(pObj)); }
780 static inline int Gia_ObjTerSimGet1Fanin0( Gia_Obj_t * pObj ) { return (Gia_ObjTerSimGet0(Gia_ObjFanin0(pObj)) && Gia_ObjFaninC0(pObj)) || (Gia_ObjTerSimGet1(Gia_ObjFanin0(pObj)) && !Gia_ObjFaninC0(pObj)); }
781 
782 static inline int Gia_ObjTerSimGet0Fanin1( Gia_Obj_t * pObj ) { return (Gia_ObjTerSimGet1(Gia_ObjFanin1(pObj)) && Gia_ObjFaninC1(pObj)) || (Gia_ObjTerSimGet0(Gia_ObjFanin1(pObj)) && !Gia_ObjFaninC1(pObj)); }
783 static inline int Gia_ObjTerSimGet1Fanin1( Gia_Obj_t * pObj ) { return (Gia_ObjTerSimGet0(Gia_ObjFanin1(pObj)) && Gia_ObjFaninC1(pObj)) || (Gia_ObjTerSimGet1(Gia_ObjFanin1(pObj)) && !Gia_ObjFaninC1(pObj)); }
784 
785 static inline void Gia_ObjTerSimAnd( Gia_Obj_t * pObj )
786 {
787  assert( Gia_ObjIsAnd(pObj) );
788  assert( !Gia_ObjTerSimGetC( Gia_ObjFanin0(pObj) ) );
789  assert( !Gia_ObjTerSimGetC( Gia_ObjFanin1(pObj) ) );
790  if ( Gia_ObjTerSimGet0Fanin0(pObj) || Gia_ObjTerSimGet0Fanin1(pObj) )
791  Gia_ObjTerSimSet0( pObj );
792  else if ( Gia_ObjTerSimGet1Fanin0(pObj) && Gia_ObjTerSimGet1Fanin1(pObj) )
793  Gia_ObjTerSimSet1( pObj );
794  else
795  Gia_ObjTerSimSetX( pObj );
796 }
797 static inline void Gia_ObjTerSimCo( Gia_Obj_t * pObj )
798 {
799  assert( Gia_ObjIsCo(pObj) );
800  assert( !Gia_ObjTerSimGetC( Gia_ObjFanin0(pObj) ) );
801  if ( Gia_ObjTerSimGet0Fanin0(pObj) )
802  Gia_ObjTerSimSet0( pObj );
803  else if ( Gia_ObjTerSimGet1Fanin0(pObj) )
804  Gia_ObjTerSimSet1( pObj );
805  else
806  Gia_ObjTerSimSetX( pObj );
807 }
808 static inline void Gia_ObjTerSimRo( Gia_Man_t * p, Gia_Obj_t * pObj )
809 {
810  Gia_Obj_t * pTemp = Gia_ObjRoToRi(p, pObj);
811  assert( Gia_ObjIsRo(p, pObj) );
812  assert( !Gia_ObjTerSimGetC( pTemp ) );
813  pObj->fMark0 = pTemp->fMark0;
814  pObj->fMark1 = pTemp->fMark1;
815 }
816 
817 static inline void Gia_ObjTerSimPrint( Gia_Obj_t * pObj )
818 {
819  if ( Gia_ObjTerSimGet0(pObj) )
820  printf( "0" );
821  else if ( Gia_ObjTerSimGet1(pObj) )
822  printf( "1" );
823  else if ( Gia_ObjTerSimGetX(pObj) )
824  printf( "X" );
825 }
826 
827 static inline int Gia_AigerReadInt( unsigned char * pPos )
828 {
829  int i, Value = 0;
830  for ( i = 0; i < 4; i++ )
831  Value = (Value << 8) | *pPos++;
832  return Value;
833 }
834 static inline void Gia_AigerWriteInt( unsigned char * pPos, int Value )
835 {
836  int i;
837  for ( i = 3; i >= 0; i-- )
838  *pPos++ = (Value >> (8*i)) & 255;
839 }
840 static inline unsigned Gia_AigerReadUnsigned( unsigned char ** ppPos )
841 {
842  unsigned x = 0, i = 0;
843  unsigned char ch;
844  while ((ch = *(*ppPos)++) & 0x80)
845  x |= (ch & 0x7f) << (7 * i++);
846  return x | (ch << (7 * i));
847 }
848 static inline void Gia_AigerWriteUnsigned( Vec_Str_t * vStr, unsigned x )
849 {
850  unsigned char ch;
851  while (x & ~0x7f)
852  {
853  ch = (x & 0x7f) | 0x80;
854  Vec_StrPush( vStr, ch );
855  x >>= 7;
856  }
857  ch = x;
858  Vec_StrPush( vStr, ch );
859 }
860 static inline void Gia_AigerWriteUnsignedFile( FILE * pFile, unsigned x )
861 {
862  unsigned char ch;
863  while (x & ~0x7f)
864  {
865  ch = (x & 0x7f) | 0x80;
866  fputc( ch, pFile );
867  x >>= 7;
868  }
869  ch = x;
870  fputc( ch, pFile );
871 }
872 static inline int Gia_AigerWriteUnsignedBuffer( unsigned char * pBuffer, int Pos, unsigned x )
873 {
874  unsigned char ch;
875  while (x & ~0x7f)
876  {
877  ch = (x & 0x7f) | 0x80;
878  pBuffer[Pos++] = ch;
879  x >>= 7;
880  }
881  ch = x;
882  pBuffer[Pos++] = ch;
883  return Pos;
884 }
885 
886 static inline Gia_Obj_t * Gia_ObjReprObj( Gia_Man_t * p, int Id ) { return p->pReprs[Id].iRepr == GIA_VOID ? NULL : Gia_ManObj( p, p->pReprs[Id].iRepr ); }
887 static inline int Gia_ObjRepr( Gia_Man_t * p, int Id ) { return p->pReprs[Id].iRepr; }
888 static inline void Gia_ObjSetRepr( Gia_Man_t * p, int Id, int Num ) { assert( Num == GIA_VOID || Num < Id ); p->pReprs[Id].iRepr = Num; }
889 static inline void Gia_ObjSetReprRev( Gia_Man_t * p, int Id, int Num ){ assert( Num == GIA_VOID || Num > Id ); p->pReprs[Id].iRepr = Num; }
890 static inline void Gia_ObjUnsetRepr( Gia_Man_t * p, int Id ) { p->pReprs[Id].iRepr = GIA_VOID; }
891 static inline int Gia_ObjHasRepr( Gia_Man_t * p, int Id ) { return p->pReprs[Id].iRepr != GIA_VOID; }
892 static inline int Gia_ObjReprSelf( Gia_Man_t * p, int Id ) { return Gia_ObjHasRepr(p, Id) ? Gia_ObjRepr(p, Id) : Id; }
893 static inline int Gia_ObjSibl( Gia_Man_t * p, int Id ) { return p->pSibls ? p->pSibls[Id] : 0; }
894 static inline Gia_Obj_t * Gia_ObjSiblObj( Gia_Man_t * p, int Id ) { return (p->pSibls && p->pSibls[Id]) ? Gia_ManObj(p, p->pSibls[Id]) : NULL; }
895 
896 static inline int Gia_ObjProved( Gia_Man_t * p, int Id ) { return p->pReprs[Id].fProved; }
897 static inline void Gia_ObjSetProved( Gia_Man_t * p, int Id ) { p->pReprs[Id].fProved = 1; }
898 static inline void Gia_ObjUnsetProved( Gia_Man_t * p, int Id ) { p->pReprs[Id].fProved = 0; }
899 
900 static inline int Gia_ObjFailed( Gia_Man_t * p, int Id ) { return p->pReprs[Id].fFailed; }
901 static inline void Gia_ObjSetFailed( Gia_Man_t * p, int Id ) { p->pReprs[Id].fFailed = 1; }
902 
903 static inline int Gia_ObjColor( Gia_Man_t * p, int Id, int c ) { return c? p->pReprs[Id].fColorB : p->pReprs[Id].fColorA; }
904 static inline int Gia_ObjColors( Gia_Man_t * p, int Id ) { return p->pReprs[Id].fColorB * 2 + p->pReprs[Id].fColorA; }
905 static inline void Gia_ObjSetColor( Gia_Man_t * p, int Id, int c ) { if (c) p->pReprs[Id].fColorB = 1; else p->pReprs[Id].fColorA = 1; }
906 static inline void Gia_ObjSetColors( Gia_Man_t * p, int Id ) { p->pReprs[Id].fColorB = p->pReprs[Id].fColorA = 1; }
907 static inline int Gia_ObjVisitColor( Gia_Man_t * p, int Id, int c ) { int x; if (c) { x = p->pReprs[Id].fColorB; p->pReprs[Id].fColorB = 1; } else { x = p->pReprs[Id].fColorA; p->pReprs[Id].fColorA = 1; } return x; }
908 static inline int Gia_ObjDiffColors( Gia_Man_t * p, int i, int j ) { return (p->pReprs[i].fColorA ^ p->pReprs[j].fColorA) && (p->pReprs[i].fColorB ^ p->pReprs[j].fColorB); }
909 static inline int Gia_ObjDiffColors2( Gia_Man_t * p, int i, int j ) { return (p->pReprs[i].fColorA ^ p->pReprs[j].fColorA) || (p->pReprs[i].fColorB ^ p->pReprs[j].fColorB); }
910 
911 static inline Gia_Obj_t * Gia_ObjNextObj( Gia_Man_t * p, int Id ) { return p->pNexts[Id] == 0 ? NULL : Gia_ManObj( p, p->pNexts[Id] );}
912 static inline int Gia_ObjNext( Gia_Man_t * p, int Id ) { return p->pNexts[Id]; }
913 static inline void Gia_ObjSetNext( Gia_Man_t * p, int Id, int Num ) { p->pNexts[Id] = Num; }
914 
915 static inline int Gia_ObjIsConst( Gia_Man_t * p, int Id ) { return Gia_ObjRepr(p, Id) == 0; }
916 static inline int Gia_ObjIsHead( Gia_Man_t * p, int Id ) { return Gia_ObjRepr(p, Id) == GIA_VOID && Gia_ObjNext(p, Id) > 0; }
917 static inline int Gia_ObjIsNone( Gia_Man_t * p, int Id ) { return Gia_ObjRepr(p, Id) == GIA_VOID && Gia_ObjNext(p, Id) == 0; }
918 static inline int Gia_ObjIsTail( Gia_Man_t * p, int Id ) { return (Gia_ObjRepr(p, Id) > 0 && Gia_ObjRepr(p, Id) != GIA_VOID) && Gia_ObjNext(p, Id) == 0; }
919 static inline int Gia_ObjIsClass( Gia_Man_t * p, int Id ) { return (Gia_ObjRepr(p, Id) > 0 && Gia_ObjRepr(p, Id) != GIA_VOID) || Gia_ObjNext(p, Id) > 0; }
920 static inline int Gia_ObjHasSameRepr( Gia_Man_t * p, int i, int k ) { assert( k ); return i? (Gia_ObjRepr(p, i) == Gia_ObjRepr(p, k) && Gia_ObjRepr(p, i) != GIA_VOID) : Gia_ObjRepr(p, k) == 0; }
921 static inline int Gia_ObjIsFailedPair( Gia_Man_t * p, int i, int k ) { assert( k ); return i? (Gia_ObjFailed(p, i) || Gia_ObjFailed(p, k)) : Gia_ObjFailed(p, k); }
922 static inline int Gia_ClassIsPair( Gia_Man_t * p, int i ) { assert( Gia_ObjIsHead(p, i) ); assert( Gia_ObjNext(p, i) ); return Gia_ObjNext(p, Gia_ObjNext(p, i)) == 0; }
923 static inline void Gia_ClassUndoPair( Gia_Man_t * p, int i ) { assert( Gia_ClassIsPair(p,i) ); Gia_ObjSetRepr(p, Gia_ObjNext(p, i), GIA_VOID); Gia_ObjSetNext(p, i, 0); }
924 
925 #define Gia_ManForEachConst( p, i ) \
926  for ( i = 1; i < Gia_ManObjNum(p); i++ ) if ( !Gia_ObjIsConst(p, i) ) {} else
927 #define Gia_ManForEachClass( p, i ) \
928  for ( i = 1; i < Gia_ManObjNum(p); i++ ) if ( !Gia_ObjIsHead(p, i) ) {} else
929 #define Gia_ManForEachClassReverse( p, i ) \
930  for ( i = Gia_ManObjNum(p) - 1; i > 0; i-- ) if ( !Gia_ObjIsHead(p, i) ) {} else
931 #define Gia_ClassForEachObj( p, i, iObj ) \
932  for ( assert(Gia_ObjIsHead(p, i)), iObj = i; iObj; iObj = Gia_ObjNext(p, iObj) )
933 #define Gia_ClassForEachObj1( p, i, iObj ) \
934  for ( assert(Gia_ObjIsHead(p, i)), iObj = Gia_ObjNext(p, i); iObj; iObj = Gia_ObjNext(p, iObj) )
935 
936 
937 static inline int Gia_ObjFoffsetId( Gia_Man_t * p, int Id ) { return Vec_IntEntry( p->vFanout, Id ); }
938 static inline int Gia_ObjFoffset( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjFoffsetId( p, Gia_ObjId(p, pObj) ); }
939 static inline int Gia_ObjFanoutNumId( Gia_Man_t * p, int Id ) { return Vec_IntEntry( p->vFanoutNums, Id ); }
940 static inline int Gia_ObjFanoutNum( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ObjFanoutNumId( p, Gia_ObjId(p, pObj) ); }
941 static inline int Gia_ObjFanoutId( Gia_Man_t * p, int Id, int i ) { return Vec_IntEntry( p->vFanout, Gia_ObjFoffsetId(p, Id) + i ); }
942 static inline Gia_Obj_t * Gia_ObjFanout0( Gia_Man_t * p, Gia_Obj_t * pObj ) { return Gia_ManObj( p, Gia_ObjFanoutId(p, Gia_ObjId(p, pObj), 0) ); }
943 static inline Gia_Obj_t * Gia_ObjFanout( Gia_Man_t * p, Gia_Obj_t * pObj, int i ) { return Gia_ManObj( p, Gia_ObjFanoutId(p, Gia_ObjId(p, pObj), i) ); }
944 static inline void Gia_ObjSetFanout( Gia_Man_t * p, Gia_Obj_t * pObj, int i, Gia_Obj_t * pFan ) { Vec_IntWriteEntry( p->vFanout, Gia_ObjFoffset(p, pObj) + i, Gia_ObjId(p, pFan) ); }
945 
946 #define Gia_ObjForEachFanoutStatic( p, pObj, pFanout, i ) \
947  for ( i = 0; (i < Gia_ObjFanoutNum(p, pObj)) && (((pFanout) = Gia_ObjFanout(p, pObj, i)), 1); i++ )
948 #define Gia_ObjForEachFanoutStaticId( p, Id, FanId, i ) \
949  for ( i = 0; (i < Gia_ObjFanoutNumId(p, Id)) && (((FanId) = Gia_ObjFanoutId(p, Id, i)), 1); i++ )
950 
951 static inline int Gia_ManHasMapping( Gia_Man_t * p ) { return p->vMapping != NULL; }
952 static inline int Gia_ObjIsLut( Gia_Man_t * p, int Id ) { return Vec_IntEntry(p->vMapping, Id) != 0; }
953 static inline int Gia_ObjLutSize( Gia_Man_t * p, int Id ) { return Vec_IntEntry(p->vMapping, Vec_IntEntry(p->vMapping, Id)); }
954 static inline int * Gia_ObjLutFanins( Gia_Man_t * p, int Id ) { return Vec_IntEntryP(p->vMapping, Vec_IntEntry(p->vMapping, Id)) + 1; }
955 static inline int Gia_ObjLutFanin( Gia_Man_t * p, int Id, int i ) { return Gia_ObjLutFanins(p, Id)[i]; }
956 static inline int Gia_ObjLutMuxId( Gia_Man_t * p, int Id ) { return Gia_ObjLutFanins(p, Id)[Gia_ObjLutSize(p, Id)]; }
957 static inline int Gia_ObjLutIsMux( Gia_Man_t * p, int Id ) { return (int)(Gia_ObjLutMuxId(p, Id) < 0); }
958 
959 static inline int Gia_ManHasCellMapping( Gia_Man_t * p ) { return p->vCellMapping != NULL; }
960 static inline int Gia_ObjIsCell( Gia_Man_t * p, int iLit ) { return Vec_IntEntry(p->vCellMapping, iLit) != 0; }
961 static inline int Gia_ObjIsCellInv( Gia_Man_t * p, int iLit ) { return Vec_IntEntry(p->vCellMapping, iLit) == -1; }
962 static inline int Gia_ObjIsCellBuf( Gia_Man_t * p, int iLit ) { return Vec_IntEntry(p->vCellMapping, iLit) == -2; }
963 static inline int Gia_ObjCellSize( Gia_Man_t * p, int iLit ) { return Vec_IntEntry(p->vCellMapping, Vec_IntEntry(p->vCellMapping, iLit)); }
964 static inline int * Gia_ObjCellFanins( Gia_Man_t * p, int iLit ) { return Vec_IntEntryP(p->vCellMapping, Vec_IntEntry(p->vCellMapping, iLit))+1; }
965 static inline int Gia_ObjCellFanin( Gia_Man_t * p, int iLit, int i ){ return Gia_ObjCellFanins(p, iLit)[i]; }
966 static inline int Gia_ObjCellId( Gia_Man_t * p, int iLit ) { return Gia_ObjCellFanins(p, iLit)[Gia_ObjCellSize(p, iLit)]; }
967 
968 #define Gia_ManForEachLut( p, i ) \
969  for ( i = 1; i < Gia_ManObjNum(p); i++ ) if ( !Gia_ObjIsLut(p, i) ) {} else
970 #define Gia_LutForEachFanin( p, i, iFan, k ) \
971  for ( k = 0; k < Gia_ObjLutSize(p,i) && ((iFan = Gia_ObjLutFanins(p,i)[k]),1); k++ )
972 #define Gia_LutForEachFaninObj( p, i, pFanin, k ) \
973  for ( k = 0; k < Gia_ObjLutSize(p,i) && ((pFanin = Gia_ManObj(p, Gia_ObjLutFanins(p,i)[k])),1); k++ )
974 
975 #define Gia_ManForEachCell( p, i ) \
976  for ( i = 2; i < 2*Gia_ManObjNum(p); i++ ) if ( !Gia_ObjIsCell(p, i) ) {} else
977 #define Gia_CellForEachFanin( p, i, iFanLit, k ) \
978  for ( k = 0; k < Gia_ObjCellSize(p,i) && ((iFanLit = Gia_ObjCellFanins(p,i)[k]),1); k++ )
979 
980 ////////////////////////////////////////////////////////////////////////
981 /// MACRO DEFINITIONS ///
982 ////////////////////////////////////////////////////////////////////////
983 
984 #define Gia_ManForEachObj( p, pObj, i ) \
985  for ( i = 0; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ )
986 #define Gia_ManForEachObj1( p, pObj, i ) \
987  for ( i = 1; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ )
988 #define Gia_ManForEachObjVec( vVec, p, pObj, i ) \
989  for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Gia_ManObj(p, Vec_IntEntry(vVec,i))); i++ )
990 #define Gia_ManForEachObjVecReverse( vVec, p, pObj, i ) \
991  for ( i = Vec_IntSize(vVec) - 1; (i >= 0) && ((pObj) = Gia_ManObj(p, Vec_IntEntry(vVec,i))); i-- )
992 #define Gia_ManForEachObjVecLit( vVec, p, pObj, fCompl, i ) \
993  for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Gia_ManObj(p, Abc_Lit2Var(Vec_IntEntry(vVec,i)))) && (((fCompl) = Abc_LitIsCompl(Vec_IntEntry(vVec,i))),1); i++ )
994 #define Gia_ManForEachObjReverse( p, pObj, i ) \
995  for ( i = p->nObjs - 1; (i >= 0) && ((pObj) = Gia_ManObj(p, i)); i-- )
996 #define Gia_ManForEachObjReverse1( p, pObj, i ) \
997  for ( i = p->nObjs - 1; (i > 0) && ((pObj) = Gia_ManObj(p, i)); i-- )
998 #define Gia_ManForEachBuf( p, pObj, i ) \
999  for ( i = Gia_ManBufNum(p) ? 0 : p->nObjs; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ ) if ( !Gia_ObjIsBuf(pObj) ) {} else
1000 #define Gia_ManForEachBufId( p, i ) \
1001  for ( i = 0; (i < p->nObjs); i++ ) if ( !Gia_ObjIsBuf(Gia_ManObj(p, i)) ) {} else
1002 #define Gia_ManForEachAnd( p, pObj, i ) \
1003  for ( i = 0; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ ) if ( !Gia_ObjIsAnd(pObj) ) {} else
1004 #define Gia_ManForEachAndId( p, i ) \
1005  for ( i = 0; (i < p->nObjs); i++ ) if ( !Gia_ObjIsAnd(Gia_ManObj(p, i)) ) {} else
1006 #define Gia_ManForEachMuxId( p, i ) \
1007  for ( i = 0; (i < p->nObjs); i++ ) if ( !Gia_ObjIsMuxId(p, i) ) {} else
1008 #define Gia_ManForEachCand( p, pObj, i ) \
1009  for ( i = 0; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ ) if ( !Gia_ObjIsCand(pObj) ) {} else
1010 #define Gia_ManForEachAndReverse( p, pObj, i ) \
1011  for ( i = p->nObjs - 1; (i > 0) && ((pObj) = Gia_ManObj(p, i)); i-- ) if ( !Gia_ObjIsAnd(pObj) ) {} else
1012 #define Gia_ManForEachAndReverseId( p, i ) \
1013  for ( i = p->nObjs - 1; (i > 0); i-- ) if ( !Gia_ObjIsAnd(Gia_ManObj(p, i)) ) {} else
1014 #define Gia_ManForEachMux( p, pObj, i ) \
1015  for ( i = 0; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ ) if ( !Gia_ObjIsMuxId(p, i) ) {} else
1016 #define Gia_ManForEachCi( p, pObj, i ) \
1017  for ( i = 0; (i < Vec_IntSize(p->vCis)) && ((pObj) = Gia_ManCi(p, i)); i++ )
1018 #define Gia_ManForEachCiId( p, Id, i ) \
1019  for ( i = 0; (i < Vec_IntSize(p->vCis)) && ((Id) = Gia_ObjId(p, Gia_ManCi(p, i))); i++ )
1020 #define Gia_ManForEachCiReverse( p, pObj, i ) \
1021  for ( i = Vec_IntSize(p->vCis) - 1; (i >= 0) && ((pObj) = Gia_ManCi(p, i)); i-- )
1022 #define Gia_ManForEachCo( p, pObj, i ) \
1023  for ( i = 0; (i < Vec_IntSize(p->vCos)) && ((pObj) = Gia_ManCo(p, i)); i++ )
1024 #define Gia_ManForEachCoVec( vVec, p, pObj, i ) \
1025  for ( i = 0; (i < Vec_IntSize(vVec)) && ((pObj) = Gia_ManCo(p, Vec_IntEntry(vVec,i))); i++ )
1026 #define Gia_ManForEachCoId( p, Id, i ) \
1027  for ( i = 0; (i < Vec_IntSize(p->vCos)) && ((Id) = Gia_ObjId(p, Gia_ManCo(p, i))); i++ )
1028 #define Gia_ManForEachCoReverse( p, pObj, i ) \
1029  for ( i = Vec_IntSize(p->vCos) - 1; (i >= 0) && ((pObj) = Gia_ManCo(p, i)); i-- )
1030 #define Gia_ManForEachCoDriver( p, pObj, i ) \
1031  for ( i = 0; (i < Vec_IntSize(p->vCos)) && ((pObj) = Gia_ObjFanin0(Gia_ManCo(p, i))); i++ )
1032 #define Gia_ManForEachCoDriverId( p, DriverId, i ) \
1033  for ( i = 0; (i < Vec_IntSize(p->vCos)) && (((DriverId) = Gia_ObjFaninId0p(p, Gia_ManCo(p, i))), 1); i++ )
1034 #define Gia_ManForEachPi( p, pObj, i ) \
1035  for ( i = 0; (i < Gia_ManPiNum(p)) && ((pObj) = Gia_ManCi(p, i)); i++ )
1036 #define Gia_ManForEachPo( p, pObj, i ) \
1037  for ( i = 0; (i < Gia_ManPoNum(p)) && ((pObj) = Gia_ManCo(p, i)); i++ )
1038 #define Gia_ManForEachRo( p, pObj, i ) \
1039  for ( i = 0; (i < Gia_ManRegNum(p)) && ((pObj) = Gia_ManCi(p, Gia_ManPiNum(p)+i)); i++ )
1040 #define Gia_ManForEachRi( p, pObj, i ) \
1041  for ( i = 0; (i < Gia_ManRegNum(p)) && ((pObj) = Gia_ManCo(p, Gia_ManPoNum(p)+i)); i++ )
1042 #define Gia_ManForEachRiRo( p, pObjRi, pObjRo, i ) \
1043  for ( i = 0; (i < Gia_ManRegNum(p)) && ((pObjRi) = Gia_ManCo(p, Gia_ManPoNum(p)+i)) && ((pObjRo) = Gia_ManCi(p, Gia_ManPiNum(p)+i)); i++ )
1044 
1045 ////////////////////////////////////////////////////////////////////////
1046 /// FUNCTION DECLARATIONS ///
1047 ////////////////////////////////////////////////////////////////////////
1048 
1049 /*=== giaAiger.c ===========================================================*/
1050 extern int Gia_FileSize( char * pFileName );
1051 extern Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipStrash, int fCheck );
1052 extern Gia_Man_t * Gia_AigerRead( char * pFileName, int fSkipStrash, int fCheck );
1053 extern void Gia_AigerWrite( Gia_Man_t * p, char * pFileName, int fWriteSymbols, int fCompact );
1054 extern void Gia_DumpAiger( Gia_Man_t * p, char * pFilePrefix, int iFileNum, int nFileNumDigits );
1055 extern Vec_Str_t * Gia_AigerWriteIntoMemoryStr( Gia_Man_t * p );
1056 extern Vec_Str_t * Gia_AigerWriteIntoMemoryStrPart( Gia_Man_t * p, Vec_Int_t * vCis, Vec_Int_t * vAnds, Vec_Int_t * vCos, int nRegs );
1057 extern void Gia_AigerWriteSimple( Gia_Man_t * pInit, char * pFileName );
1058 /*=== giaBalance.c ===========================================================*/
1059 extern Gia_Man_t * Gia_ManBalance( Gia_Man_t * p, int fSimpleAnd, int fVerbose );
1060 extern Gia_Man_t * Gia_ManAreaBalance( Gia_Man_t * p, int fSimpleAnd, int nNewNodesMax, int fVerbose, int fVeryVerbose );
1061 extern Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * p, int fOldAlgo, int fCoarsen, int fCutMin, int nRelaxRatio, int fDelayMin, int fVerbose, int fVeryVerbose );
1062 extern Gia_Man_t * Gia_ManAigSyn3( Gia_Man_t * p, int fVerbose, int fVeryVerbose );
1063 extern Gia_Man_t * Gia_ManAigSyn4( Gia_Man_t * p, int fVerbose, int fVeryVerbose );
1064 /*=== giaBidec.c ===========================================================*/
1065 extern unsigned * Gia_ManConvertAigToTruth( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vLeaves, Vec_Int_t * vTruth, Vec_Int_t * vVisited );
1066 extern Gia_Man_t * Gia_ManPerformBidec( Gia_Man_t * p, int fVerbose );
1067 /*=== giaCex.c ============================================================*/
1068 extern int Gia_ManVerifyCex( Gia_Man_t * pAig, Abc_Cex_t * p, int fDualOut );
1069 extern int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p, int nOutputs );
1070 extern int Gia_ManSetFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p );
1071 extern void Gia_ManCounterExampleValueStart( Gia_Man_t * pGia, Abc_Cex_t * pCex );
1072 extern void Gia_ManCounterExampleValueStop( Gia_Man_t * pGia );
1073 extern int Gia_ManCounterExampleValueLookup( Gia_Man_t * pGia, int Id, int iFrame );
1074 extern Abc_Cex_t * Gia_ManCexExtendToIncludeCurrentStates( Gia_Man_t * p, Abc_Cex_t * pCex );
1075 extern Abc_Cex_t * Gia_ManCexExtendToIncludeAllObjects( Gia_Man_t * p, Abc_Cex_t * pCex );
1076 /*=== giaCsatOld.c ============================================================*/
1077 extern Vec_Int_t * Cbs_ManSolveMiter( Gia_Man_t * pGia, int nConfs, Vec_Str_t ** pvStatus, int fVerbose );
1078 /*=== giaCsat.c ============================================================*/
1079 extern Vec_Int_t * Cbs_ManSolveMiterNc( Gia_Man_t * pGia, int nConfs, Vec_Str_t ** pvStatus, int fVerbose );
1080 /*=== giaCTas.c ============================================================*/
1081 extern Vec_Int_t * Tas_ManSolveMiterNc( Gia_Man_t * pGia, int nConfs, Vec_Str_t ** pvStatus, int fVerbose );
1082 /*=== giaCof.c =============================================================*/
1083 extern void Gia_ManPrintFanio( Gia_Man_t * pGia, int nNodes );
1084 extern Gia_Man_t * Gia_ManDupCof( Gia_Man_t * p, int iVar );
1085 extern Gia_Man_t * Gia_ManDupCofAllInt( Gia_Man_t * p, Vec_Int_t * vSigs, int fVerbose );
1086 extern Gia_Man_t * Gia_ManDupCofAll( Gia_Man_t * p, int nFanLim, int fVerbose );
1087 /*=== giaDfs.c ============================================================*/
1088 extern void Gia_ManCollectCis( Gia_Man_t * p, int * pNodes, int nNodes, Vec_Int_t * vSupp );
1089 extern void Gia_ManCollectAnds( Gia_Man_t * p, int * pNodes, int nNodes, Vec_Int_t * vNodes );
1090 extern Vec_Int_t * Gia_ManCollectNodesCis( Gia_Man_t * p, int * pNodes, int nNodes );
1091 extern int Gia_ManSuppSize( Gia_Man_t * p, int * pNodes, int nNodes );
1092 extern int Gia_ManConeSize( Gia_Man_t * p, int * pNodes, int nNodes );
1093 extern Vec_Vec_t * Gia_ManLevelize( Gia_Man_t * p );
1094 extern Vec_Int_t * Gia_ManOrderReverse( Gia_Man_t * p );
1095 /*=== giaDup.c ============================================================*/
1096 extern void Gia_ManDupRemapEquiv( Gia_Man_t * pNew, Gia_Man_t * p );
1097 extern Gia_Man_t * Gia_ManDupOrderDfs( Gia_Man_t * p );
1098 extern Gia_Man_t * Gia_ManDupOrderDfsChoices( Gia_Man_t * p );
1099 extern Gia_Man_t * Gia_ManDupOrderDfsReverse( Gia_Man_t * p );
1100 extern Gia_Man_t * Gia_ManDupOutputGroup( Gia_Man_t * p, int iOutStart, int iOutStop );
1101 extern Gia_Man_t * Gia_ManDupOutputVec( Gia_Man_t * p, Vec_Int_t * vOutPres );
1102 extern Gia_Man_t * Gia_ManDupSelectedOutputs( Gia_Man_t * p, Vec_Int_t * vOutsLeft );
1103 extern Gia_Man_t * Gia_ManDupOrderAiger( Gia_Man_t * p );
1104 extern Gia_Man_t * Gia_ManDupLastPis( Gia_Man_t * p, int nLastPis );
1105 extern Gia_Man_t * Gia_ManDupFlip( Gia_Man_t * p, int * pInitState );
1106 extern Gia_Man_t * Gia_ManDupCycled( Gia_Man_t * pAig, Abc_Cex_t * pCex, int nFrames );
1107 extern Gia_Man_t * Gia_ManDup( Gia_Man_t * p );
1108 extern Gia_Man_t * Gia_ManDupWithAttributes( Gia_Man_t * p );
1109 extern Gia_Man_t * Gia_ManDupZero( Gia_Man_t * p );
1110 extern Gia_Man_t * Gia_ManDupPerm( Gia_Man_t * p, Vec_Int_t * vPiPerm );
1111 extern Gia_Man_t * Gia_ManDupPermFlop( Gia_Man_t * p, Vec_Int_t * vFfPerm );
1112 extern Gia_Man_t * Gia_ManDupPermFlopGap( Gia_Man_t * p, Vec_Int_t * vFfPerm );
1113 extern void Gia_ManDupAppend( Gia_Man_t * p, Gia_Man_t * pTwo );
1114 extern void Gia_ManDupAppendShare( Gia_Man_t * p, Gia_Man_t * pTwo );
1115 extern Gia_Man_t * Gia_ManDupAppendNew( Gia_Man_t * pOne, Gia_Man_t * pTwo );
1116 extern Gia_Man_t * Gia_ManDupAppendCones( Gia_Man_t * p, Gia_Man_t ** ppCones, int nCones, int fOnlyRegs );
1117 extern Gia_Man_t * Gia_ManDupSelf( Gia_Man_t * p );
1118 extern Gia_Man_t * Gia_ManDupFlopClass( Gia_Man_t * p, int iClass );
1119 extern Gia_Man_t * Gia_ManDupMarked( Gia_Man_t * p );
1120 extern Gia_Man_t * Gia_ManDupTimes( Gia_Man_t * p, int nTimes );
1121 extern Gia_Man_t * Gia_ManDupDfs( Gia_Man_t * p );
1122 extern Gia_Man_t * Gia_ManDupCofactorVar( Gia_Man_t * p, int iVar, int Value );
1123 extern Gia_Man_t * Gia_ManDupCofactorObj( Gia_Man_t * p, int iObj, int Value );
1124 extern Gia_Man_t * Gia_ManDupExist( Gia_Man_t * p, int iVar );
1125 extern Gia_Man_t * Gia_ManDupDfsSkip( Gia_Man_t * p );
1126 extern Gia_Man_t * Gia_ManDupDfsCone( Gia_Man_t * p, Gia_Obj_t * pObj );
1127 extern Gia_Man_t * Gia_ManDupDfsNode( Gia_Man_t * p, Gia_Obj_t * pObj );
1128 extern Gia_Man_t * Gia_ManDupDfsLitArray( Gia_Man_t * p, Vec_Int_t * vLits );
1129 extern Gia_Man_t * Gia_ManDupTrimmed( Gia_Man_t * p, int fTrimCis, int fTrimCos, int fDualOut, int OutValue );
1130 extern Gia_Man_t * Gia_ManDupOntop( Gia_Man_t * p, Gia_Man_t * p2 );
1131 extern Gia_Man_t * Gia_ManDupWithNewPo( Gia_Man_t * p1, Gia_Man_t * p2 );
1132 extern Gia_Man_t * Gia_ManDupDfsCiMap( Gia_Man_t * p, int * pCi2Lit, Vec_Int_t * vLits );
1133 extern Gia_Man_t * Gia_ManDupDfsClasses( Gia_Man_t * p );
1134 extern Gia_Man_t * Gia_ManDupTopAnd( Gia_Man_t * p, int fVerbose );
1135 extern Gia_Man_t * Gia_ManMiter( Gia_Man_t * pAig0, Gia_Man_t * pAig1, int nInsDup, int fDualOut, int fSeq, int fImplic, int fVerbose );
1136 extern Gia_Man_t * Gia_ManDupAndOr( Gia_Man_t * p, int nOuts, int fUseOr, int fCompl );
1137 extern Gia_Man_t * Gia_ManDupZeroUndc( Gia_Man_t * p, char * pInit, int fVerbose );
1138 extern Gia_Man_t * Gia_ManMiter2( Gia_Man_t * p, char * pInit, int fVerbose );
1139 extern Gia_Man_t * Gia_ManTransformMiter( Gia_Man_t * p );
1140 extern Gia_Man_t * Gia_ManTransformToDual( Gia_Man_t * p );
1141 extern Gia_Man_t * Gia_ManChoiceMiter( Vec_Ptr_t * vGias );
1142 extern Gia_Man_t * Gia_ManDupWithConstraints( Gia_Man_t * p, Vec_Int_t * vPoTypes );
1143 extern Gia_Man_t * Gia_ManDupCones( Gia_Man_t * p, int * pPos, int nPos, int fTrimPis );
1144 extern Gia_Man_t * Gia_ManDupOneHot( Gia_Man_t * p );
1145 extern Gia_Man_t * Gia_ManDupLevelized( Gia_Man_t * p );
1146 extern Gia_Man_t * Gia_ManDupFromVecs( Gia_Man_t * p, Vec_Int_t * vCis, Vec_Int_t * vAnds, Vec_Int_t * vCos, int nRegs );
1147 extern Gia_Man_t * Gia_ManDupSliced( Gia_Man_t * p, int nSuppMax );
1148 /*=== giaEnable.c ==========================================================*/
1149 extern void Gia_ManDetectSeqSignals( Gia_Man_t * p, int fSetReset, int fVerbose );
1150 extern Gia_Man_t * Gia_ManUnrollAndCofactor( Gia_Man_t * p, int nFrames, int nFanMax, int fVerbose );
1151 extern Gia_Man_t * Gia_ManRemoveEnables( Gia_Man_t * p );
1152 /*=== giaEquiv.c ==========================================================*/
1153 extern void Gia_ManEquivFixOutputPairs( Gia_Man_t * p );
1154 extern int Gia_ManCheckTopoOrder( Gia_Man_t * p );
1155 extern int * Gia_ManDeriveNexts( Gia_Man_t * p );
1156 extern void Gia_ManDeriveReprs( Gia_Man_t * p );
1157 extern int Gia_ManEquivCountLits( Gia_Man_t * p );
1158 extern int Gia_ManEquivCountLitsAll( Gia_Man_t * p );
1159 extern int Gia_ManEquivCountClasses( Gia_Man_t * p );
1160 extern void Gia_ManEquivPrintOne( Gia_Man_t * p, int i, int Counter );
1161 extern void Gia_ManEquivPrintClasses( Gia_Man_t * p, int fVerbose, float Mem );
1162 extern Gia_Man_t * Gia_ManEquivReduce( Gia_Man_t * p, int fUseAll, int fDualOut, int fSkipPhase, int fVerbose );
1163 extern Gia_Man_t * Gia_ManEquivReduceAndRemap( Gia_Man_t * p, int fSeq, int fMiterPairs );
1164 extern int Gia_ManEquivSetColors( Gia_Man_t * p, int fVerbose );
1165 extern Gia_Man_t * Gia_ManSpecReduce( Gia_Man_t * p, int fDualOut, int fSynthesis, int fReduce, int fSkipSome, int fVerbose );
1166 extern Gia_Man_t * Gia_ManSpecReduceInit( Gia_Man_t * p, Abc_Cex_t * pInit, int nFrames, int fDualOut );
1167 extern Gia_Man_t * Gia_ManSpecReduceInitFrames( Gia_Man_t * p, Abc_Cex_t * pInit, int nFramesMax, int * pnFrames, int fDualOut, int nMinOutputs );
1168 extern void Gia_ManEquivTransform( Gia_Man_t * p, int fVerbose );
1169 extern void Gia_ManEquivImprove( Gia_Man_t * p );
1170 extern Gia_Man_t * Gia_ManEquivToChoices( Gia_Man_t * p, int nSnapshots );
1171 extern int Gia_ManCountChoiceNodes( Gia_Man_t * p );
1172 extern int Gia_ManCountChoices( Gia_Man_t * p );
1173 extern int Gia_ManFilterEquivsForSpeculation( Gia_Man_t * pGia, char * pName1, char * pName2, int fLatchA, int fLatchB );
1174 extern int Gia_ManFilterEquivsUsingParts( Gia_Man_t * pGia, char * pName1, char * pName2 );
1175 extern void Gia_ManFilterEquivsUsingLatches( Gia_Man_t * pGia, int fFlopsOnly, int fFlopsWith, int fUseRiDrivers );
1176 /*=== giaFanout.c =========================================================*/
1177 extern void Gia_ObjAddFanout( Gia_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pFanout );
1178 extern void Gia_ObjRemoveFanout( Gia_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pFanout );
1179 extern void Gia_ManFanoutStart( Gia_Man_t * p );
1180 extern void Gia_ManFanoutStop( Gia_Man_t * p );
1181 extern void Gia_ManStaticFanoutStart( Gia_Man_t * p );
1182 extern void Gia_ManStaticFanoutStop( Gia_Man_t * p );
1183 /*=== giaForce.c =========================================================*/
1184 extern void For_ManExperiment( Gia_Man_t * pGia, int nIters, int fClustered, int fVerbose );
1185 /*=== giaFrames.c =========================================================*/
1186 extern Gia_Man_t * Gia_ManUnrollDup( Gia_Man_t * p, Vec_Int_t * vLimit );
1187 extern Vec_Ptr_t * Gia_ManUnrollAbs( Gia_Man_t * p, int nFrames );
1188 extern void * Gia_ManUnrollStart( Gia_Man_t * pAig, Gia_ParFra_t * pPars );
1189 extern void * Gia_ManUnrollAdd( void * pMan, int fMax );
1190 extern void Gia_ManUnrollStop( void * pMan );
1191 extern int Gia_ManUnrollLastLit( void * pMan );
1192 extern void Gia_ManFraSetDefaultParams( Gia_ParFra_t * p );
1193 extern Gia_Man_t * Gia_ManFrames( Gia_Man_t * pAig, Gia_ParFra_t * pPars );
1194 extern Gia_Man_t * Gia_ManFramesInitSpecial( Gia_Man_t * pAig, int nFrames, int fVerbose );
1195 /*=== giaFront.c ==========================================================*/
1196 extern Gia_Man_t * Gia_ManFront( Gia_Man_t * p );
1197 extern void Gia_ManFrontTest( Gia_Man_t * p );
1198 /*=== giaFx.c ==========================================================*/
1199 extern Gia_Man_t * Gia_ManPerformFx( Gia_Man_t * p, int nNewNodesMax, int LitCountMax, int fReverse, int fVerbose, int fVeryVerbose );
1200 /*=== giaHash.c ===========================================================*/
1201 extern void Gia_ManHashAlloc( Gia_Man_t * p );
1202 extern void Gia_ManHashStart( Gia_Man_t * p );
1203 extern void Gia_ManHashStop( Gia_Man_t * p );
1204 extern int Gia_ManHashXorReal( Gia_Man_t * p, int iLit0, int iLit1 );
1205 extern int Gia_ManHashMuxReal( Gia_Man_t * p, int iLitC, int iLit1, int iLit0 );
1206 extern int Gia_ManHashAnd( Gia_Man_t * p, int iLit0, int iLit1 );
1207 extern int Gia_ManHashOr( Gia_Man_t * p, int iLit0, int iLit1 );
1208 extern int Gia_ManHashXor( Gia_Man_t * p, int iLit0, int iLit1 );
1209 extern int Gia_ManHashMux( Gia_Man_t * p, int iCtrl, int iData1, int iData0 );
1210 extern int Gia_ManHashMaj( Gia_Man_t * p, int iData0, int iData1, int iData2 );
1211 extern int Gia_ManHashAndTry( Gia_Man_t * p, int iLit0, int iLit1 );
1212 extern Gia_Man_t * Gia_ManRehash( Gia_Man_t * p, int fAddStrash );
1213 extern void Gia_ManHashProfile( Gia_Man_t * p );
1214 extern int Gia_ManHashLookup( Gia_Man_t * p, Gia_Obj_t * p0, Gia_Obj_t * p1 );
1215 extern int Gia_ManHashAndMulti( Gia_Man_t * p, Vec_Int_t * vLits );
1216 /*=== giaIf.c ===========================================================*/
1217 extern void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile );
1218 extern void Gia_ManPrintPackingStats( Gia_Man_t * p );
1219 extern void Gia_ManPrintLutStats( Gia_Man_t * p );
1220 extern int Gia_ManLutFaninCount( Gia_Man_t * p );
1221 extern int Gia_ManLutSizeMax( Gia_Man_t * p );
1222 extern int Gia_ManLutNum( Gia_Man_t * p );
1223 extern int Gia_ManLutLevel( Gia_Man_t * p );
1224 extern void Gia_ManLutParams( Gia_Man_t * p, int * pnCurLuts, int * pnCurEdges, int * pnCurLevels );
1225 extern void Gia_ManSetRefsMapped( Gia_Man_t * p );
1226 extern void Gia_ManSetIfParsDefault( void * pIfPars );
1227 extern void Gia_ManMappingVerify( Gia_Man_t * p );
1228 extern void Gia_ManTransferMapping( Gia_Man_t * p, Gia_Man_t * pGia );
1229 extern void Gia_ManTransferPacking( Gia_Man_t * p, Gia_Man_t * pGia );
1230 extern void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia );
1231 extern Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pIfPars );
1232 extern Gia_Man_t * Gia_ManPerformSopBalance( Gia_Man_t * p, int nCutNum, int nRelaxRatio, int fVerbose );
1233 extern Gia_Man_t * Gia_ManPerformDsdBalance( Gia_Man_t * p, int nLutSize, int nCutNum, int nRelaxRatio, int fVerbose );
1234 /*=== giaJf.c ===========================================================*/
1235 extern void Jf_ManSetDefaultPars( Jf_Par_t * pPars );
1236 extern Gia_Man_t * Jf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars );
1237 extern Gia_Man_t * Jf_ManDeriveCnf( Gia_Man_t * p, int fCnfObjIds );
1238 /*=== giaIso.c ===========================================================*/
1239 extern Gia_Man_t * Gia_ManIsoCanonicize( Gia_Man_t * p, int fVerbose );
1240 extern Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t ** pvPiPerms, int fEstimate, int fDualOut, int fVerbose, int fVeryVerbose );
1241 extern Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t ** pvPiPerms, int fEstimate, int fBetterQual, int fDualOut, int fVerbose, int fVeryVerbose );
1242 /*=== giaLf.c ===========================================================*/
1243 extern void Lf_ManSetDefaultPars( Jf_Par_t * pPars );
1244 extern Gia_Man_t * Lf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars );
1245 extern Gia_Man_t * Gia_ManPerformLfMapping( Gia_Man_t * p, Jf_Par_t * pPars, int fNormalized );
1246 /*=== giaLogic.c ===========================================================*/
1247 extern void Gia_ManTestDistance( Gia_Man_t * p );
1248 extern void Gia_ManSolveProblem( Gia_Man_t * pGia, Emb_Par_t * pPars );
1249  /*=== giaMan.c ===========================================================*/
1250 extern Gia_Man_t * Gia_ManStart( int nObjsMax );
1251 extern void Gia_ManStop( Gia_Man_t * p );
1252 extern void Gia_ManStopP( Gia_Man_t ** p );
1253 extern double Gia_ManMemory( Gia_Man_t * p );
1254 extern void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars );
1255 extern void Gia_ManPrintStatsShort( Gia_Man_t * p );
1256 extern void Gia_ManPrintMiterStatus( Gia_Man_t * p );
1257 extern void Gia_ManPrintStatsMiter( Gia_Man_t * p, int fVerbose );
1258 extern void Gia_ManSetRegNum( Gia_Man_t * p, int nRegs );
1259 extern void Gia_ManReportImprovement( Gia_Man_t * p, Gia_Man_t * pNew );
1260 extern void Gia_ManPrintNpnClasses( Gia_Man_t * p );
1261 /*=== giaMem.c ===========================================================*/
1262 extern Gia_MmFixed_t * Gia_MmFixedStart( int nEntrySize, int nEntriesMax );
1263 extern void Gia_MmFixedStop( Gia_MmFixed_t * p, int fVerbose );
1264 extern char * Gia_MmFixedEntryFetch( Gia_MmFixed_t * p );
1265 extern void Gia_MmFixedEntryRecycle( Gia_MmFixed_t * p, char * pEntry );
1266 extern void Gia_MmFixedRestart( Gia_MmFixed_t * p );
1267 extern int Gia_MmFixedReadMemUsage( Gia_MmFixed_t * p );
1268 extern int Gia_MmFixedReadMaxEntriesUsed( Gia_MmFixed_t * p );
1269 extern Gia_MmFlex_t * Gia_MmFlexStart();
1270 extern void Gia_MmFlexStop( Gia_MmFlex_t * p, int fVerbose );
1271 extern char * Gia_MmFlexEntryFetch( Gia_MmFlex_t * p, int nBytes );
1272 extern void Gia_MmFlexRestart( Gia_MmFlex_t * p );
1273 extern int Gia_MmFlexReadMemUsage( Gia_MmFlex_t * p );
1274 extern Gia_MmStep_t * Gia_MmStepStart( int nSteps );
1275 extern void Gia_MmStepStop( Gia_MmStep_t * p, int fVerbose );
1276 extern char * Gia_MmStepEntryFetch( Gia_MmStep_t * p, int nBytes );
1277 extern void Gia_MmStepEntryRecycle( Gia_MmStep_t * p, char * pEntry, int nBytes );
1278 extern int Gia_MmStepReadMemUsage( Gia_MmStep_t * p );
1279 /*=== giaMf.c ===========================================================*/
1280 extern void Mf_ManSetDefaultPars( Jf_Par_t * pPars );
1281 extern Gia_Man_t * Mf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars );
1282 /*=== giaMini.c ===========================================================*/
1283 extern Gia_Man_t * Gia_ManReadMiniAig( char * pFileName );
1284 extern void Gia_ManWriteMiniAig( Gia_Man_t * pGia, char * pFileName );
1285 /*=== giaMuxes.c ===========================================================*/
1286 extern void Gia_ManCountMuxXor( Gia_Man_t * p, int * pnMuxes, int * pnXors );
1287 extern void Gia_ManPrintMuxStats( Gia_Man_t * p );
1288 extern Gia_Man_t * Gia_ManDupMuxes( Gia_Man_t * p, int Limit );
1289 extern Gia_Man_t * Gia_ManDupNoMuxes( Gia_Man_t * p );
1290 /*=== giaPat.c ===========================================================*/
1291 extern void Gia_SatVerifyPattern( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vCex, Vec_Int_t * vVisit );
1292 /*=== giaRetime.c ===========================================================*/
1293 extern Gia_Man_t * Gia_ManRetimeForward( Gia_Man_t * p, int nMaxIters, int fVerbose );
1294 /*=== giaSat.c ============================================================*/
1295 extern int Sat_ManTest( Gia_Man_t * pGia, Gia_Obj_t * pObj, int nConfsMax );
1296 /*=== giaScl.c ============================================================*/
1297 extern int Gia_ManSeqMarkUsed( Gia_Man_t * p );
1298 extern int Gia_ManCombMarkUsed( Gia_Man_t * p );
1299 extern Gia_Man_t * Gia_ManCleanup( Gia_Man_t * p );
1300 extern Gia_Man_t * Gia_ManCleanupOutputs( Gia_Man_t * p, int nOutputs );
1301 extern Gia_Man_t * Gia_ManSeqCleanup( Gia_Man_t * p );
1302 extern Gia_Man_t * Gia_ManSeqStructSweep( Gia_Man_t * p, int fConst, int fEquiv, int fVerbose );
1303 /*=== giaShrink.c ===========================================================*/
1304 extern Gia_Man_t * Gia_ManMapShrink4( Gia_Man_t * p, int fKeepLevel, int fVerbose );
1305 extern Gia_Man_t * Gia_ManMapShrink6( Gia_Man_t * p, int nFanoutMax, int fKeepLevel, int fVerbose );
1306 /*=== giaSopb.c ============================================================*/
1307 extern Gia_Man_t * Gia_ManExtractWindow( Gia_Man_t * p, int LevelMax, int nTimeWindow, int fVerbose );
1308 extern Gia_Man_t * Gia_ManPerformSopBalanceWin( Gia_Man_t * p, int LevelMax, int nTimeWindow, int nCutNum, int nRelaxRatio, int fVerbose );
1309 extern Gia_Man_t * Gia_ManPerformDsdBalanceWin( Gia_Man_t * p, int LevelMax, int nTimeWindow, int nLutSize, int nCutNum, int nRelaxRatio, int fVerbose );
1310 /*=== giaSort.c ============================================================*/
1311 extern int * Gia_SortFloats( float * pArray, int * pPerm, int nSize );
1312 /*=== giaSim.c ============================================================*/
1313 extern void Gia_ManSimSetDefaultParams( Gia_ParSim_t * p );
1314 extern int Gia_ManSimSimulate( Gia_Man_t * pAig, Gia_ParSim_t * pPars );
1315 extern unsigned * Gia_SimDataExt( Gia_ManSim_t * p, int i );
1316 extern unsigned * Gia_SimDataCiExt( Gia_ManSim_t * p, int i );
1317 extern unsigned * Gia_SimDataCoExt( Gia_ManSim_t * p, int i );
1318 extern void Gia_ManSimInfoInit( Gia_ManSim_t * p );
1319 extern void Gia_ManSimInfoTransfer( Gia_ManSim_t * p );
1320 extern void Gia_ManSimulateRound( Gia_ManSim_t * p );
1321 /*=== giaSpeedup.c ============================================================*/
1322 extern float Gia_ManDelayTraceLut( Gia_Man_t * p );
1323 extern float Gia_ManDelayTraceLutPrint( Gia_Man_t * p, int fVerbose );
1324 extern Gia_Man_t * Gia_ManSpeedup( Gia_Man_t * p, int Percentage, int Degree, int fVerbose, int fVeryVerbose );
1325 /*=== giaStg.c ============================================================*/
1326 extern void Gia_ManStgPrint( FILE * pFile, Vec_Int_t * vLines, int nIns, int nOuts, int nStates );
1327 extern Gia_Man_t * Gia_ManStgRead( char * pFileName, int kHot, int fVerbose );
1328 /*=== giaSweep.c ============================================================*/
1329 extern Gia_Man_t * Gia_ManFraigSweepSimple( Gia_Man_t * p, void * pPars );
1330 extern Gia_Man_t * Gia_ManSweepWithBoxes( Gia_Man_t * p, void * pParsC, void * pParsS, int fConst, int fEquiv, int fVerbose );
1331 extern void Gia_ManCheckIntegrityWithBoxes( Gia_Man_t * p );
1332 /*=== giaSweeper.c ============================================================*/
1333 extern Gia_Man_t * Gia_SweeperStart( Gia_Man_t * p );
1334 extern void Gia_SweeperStop( Gia_Man_t * p );
1335 extern int Gia_SweeperIsRunning( Gia_Man_t * p );
1336 extern void Gia_SweeperPrintStats( Gia_Man_t * p );
1337 extern void Gia_SweeperSetConflictLimit( Gia_Man_t * p, int nConfMax );
1338 extern void Gia_SweeperSetRuntimeLimit( Gia_Man_t * p, int nSeconds );
1339 extern Vec_Int_t * Gia_SweeperGetCex( Gia_Man_t * p );
1340 extern int Gia_SweeperProbeCreate( Gia_Man_t * p, int iLit );
1341 extern int Gia_SweeperProbeDelete( Gia_Man_t * p, int ProbeId );
1342 extern int Gia_SweeperProbeUpdate( Gia_Man_t * p, int ProbeId, int iLitNew );
1343 extern int Gia_SweeperProbeLit( Gia_Man_t * p, int ProbeId );
1344 extern Vec_Int_t * Gia_SweeperCollectValidProbeIds( Gia_Man_t * p );
1345 extern int Gia_SweeperCondPop( Gia_Man_t * p );
1346 extern void Gia_SweeperCondPush( Gia_Man_t * p, int ProbeId );
1347 extern Vec_Int_t * Gia_SweeperCondVector( Gia_Man_t * p );
1348 extern int Gia_SweeperCondCheckUnsat( Gia_Man_t * p );
1349 extern int Gia_SweeperCheckEquiv( Gia_Man_t * p, int ProbeId1, int ProbeId2 );
1350 extern Gia_Man_t * Gia_SweeperExtractUserLogic( Gia_Man_t * p, Vec_Int_t * vProbeIds, Vec_Ptr_t * vInNames, Vec_Ptr_t * vOutNames );
1351 extern void Gia_SweeperLogicDump( Gia_Man_t * p, Vec_Int_t * vProbeIds, int fDumpConds, char * pFileName );
1352 extern Gia_Man_t * Gia_SweeperCleanup( Gia_Man_t * p, char * pCommLime );
1353 extern Vec_Int_t * Gia_SweeperGraft( Gia_Man_t * pDst, Vec_Int_t * vProbes, Gia_Man_t * pSrc );
1354 extern int Gia_SweeperFraig( Gia_Man_t * p, Vec_Int_t * vProbeIds, char * pCommLime, int nWords, int nConfs, int fVerify, int fVerbose );
1355 extern int Gia_SweeperRun( Gia_Man_t * p, Vec_Int_t * vProbeIds, char * pCommLime, int fVerbose );
1356 /*=== giaSwitch.c ============================================================*/
1357 extern float Gia_ManEvaluateSwitching( Gia_Man_t * p );
1358 extern float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbOne );
1359 extern Vec_Int_t * Gia_ManComputeSwitchProbs( Gia_Man_t * pGia, int nFrames, int nPref, int fProbOne );
1360 extern Vec_Flt_t * Gia_ManPrintOutputProb( Gia_Man_t * p );
1361 /*=== giaTim.c ===========================================================*/
1362 extern int Gia_ManBoxNum( Gia_Man_t * p );
1363 extern int Gia_ManRegBoxNum( Gia_Man_t * p );
1364 extern int Gia_ManNonRegBoxNum( Gia_Man_t * p );
1365 extern int Gia_ManBoxCiNum( Gia_Man_t * p );
1366 extern int Gia_ManBoxCoNum( Gia_Man_t * p );
1367 extern int Gia_ManClockDomainNum( Gia_Man_t * p );
1368 extern int Gia_ManIsSeqWithBoxes( Gia_Man_t * p );
1369 extern int Gia_ManIsNormalized( Gia_Man_t * p );
1370 extern Gia_Man_t * Gia_ManDupNormalize( Gia_Man_t * p );
1371 extern Gia_Man_t * Gia_ManDupUnnormalize( Gia_Man_t * p );
1372 extern Gia_Man_t * Gia_ManDupUnshuffleInputs( Gia_Man_t * p );
1373 extern int Gia_ManLevelWithBoxes( Gia_Man_t * p );
1374 extern int Gia_ManLutLevelWithBoxes( Gia_Man_t * p );
1375 extern void * Gia_ManUpdateTimMan( Gia_Man_t * p, Vec_Int_t * vBoxPres );
1376 extern void * Gia_ManUpdateTimMan2( Gia_Man_t * p, Vec_Int_t * vBoxesLeft, int nTermsDiff );
1377 extern Gia_Man_t * Gia_ManUpdateExtraAig( void * pTime, Gia_Man_t * pAig, Vec_Int_t * vBoxPres );
1378 extern Gia_Man_t * Gia_ManUpdateExtraAig2( void * pTime, Gia_Man_t * pAig, Vec_Int_t * vBoxesLeft );
1379 extern Gia_Man_t * Gia_ManDupCollapse( Gia_Man_t * p, Gia_Man_t * pBoxes, Vec_Int_t * vBoxPres, int fSeq );
1380 extern int Gia_ManVerifyWithBoxes( Gia_Man_t * pGia, int nBTLimit, int nTimeLim, int fSeq, int fVerbose, char * pFileSpec );
1381 /*=== giaTruth.c ===========================================================*/
1382 extern word Gia_ObjComputeTruthTable6Lut( Gia_Man_t * p, int iObj, Vec_Wrd_t * vTemp );
1383 extern word Gia_ObjComputeTruthTable6( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSupp, Vec_Wrd_t * vTruths );
1384 extern void Gia_ObjCollectInternal( Gia_Man_t * p, Gia_Obj_t * pObj );
1385 extern word * Gia_ObjComputeTruthTable( Gia_Man_t * p, Gia_Obj_t * pObj );
1386 extern void Gia_ObjComputeTruthTableStart( Gia_Man_t * p, int nVarsMax );
1387 extern void Gia_ObjComputeTruthTableStop( Gia_Man_t * p );
1388 extern word * Gia_ObjComputeTruthTableCut( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vLeaves );
1389 /*=== giaTsim.c ============================================================*/
1390 extern Gia_Man_t * Gia_ManReduceConst( Gia_Man_t * pAig, int fVerbose );
1391 /*=== giaUtil.c ===========================================================*/
1392 extern unsigned Gia_ManRandom( int fReset );
1393 extern word Gia_ManRandomW( int fReset );
1394 extern void Gia_ManRandomInfo( Vec_Ptr_t * vInfo, int iInputStart, int iWordStart, int iWordStop );
1395 extern char * Gia_TimeStamp();
1396 extern char * Gia_FileNameGenericAppend( char * pBase, char * pSuffix );
1397 extern void Gia_ManIncrementTravId( Gia_Man_t * p );
1398 extern void Gia_ManCleanMark01( Gia_Man_t * p );
1399 extern void Gia_ManSetMark0( Gia_Man_t * p );
1400 extern void Gia_ManCleanMark0( Gia_Man_t * p );
1401 extern void Gia_ManCheckMark0( Gia_Man_t * p );
1402 extern void Gia_ManSetMark1( Gia_Man_t * p );
1403 extern void Gia_ManCleanMark1( Gia_Man_t * p );
1404 extern void Gia_ManCheckMark1( Gia_Man_t * p );
1405 extern void Gia_ManCleanValue( Gia_Man_t * p );
1406 extern void Gia_ManCleanLevels( Gia_Man_t * p, int Size );
1407 extern void Gia_ManCleanTruth( Gia_Man_t * p );
1408 extern void Gia_ManFillValue( Gia_Man_t * p );
1409 extern void Gia_ObjSetPhase( Gia_Man_t * p, Gia_Obj_t * pObj );
1410 extern void Gia_ManSetPhase( Gia_Man_t * p );
1411 extern void Gia_ManSetPhasePattern( Gia_Man_t * p, Vec_Int_t * vCiValues );
1412 extern void Gia_ManSetPhase1( Gia_Man_t * p );
1413 extern void Gia_ManCleanPhase( Gia_Man_t * p );
1414 extern int Gia_ManCheckCoPhase( Gia_Man_t * p );
1415 extern int Gia_ManLevelNum( Gia_Man_t * p );
1416 extern Vec_Int_t * Gia_ManGetCiLevels( Gia_Man_t * p );
1417 extern int Gia_ManSetLevels( Gia_Man_t * p, Vec_Int_t * vCiLevels );
1418 extern Vec_Int_t * Gia_ManReverseLevel( Gia_Man_t * p );
1419 extern Vec_Int_t * Gia_ManRequiredLevel( Gia_Man_t * p );
1420 extern void Gia_ManCreateValueRefs( Gia_Man_t * p );
1421 extern void Gia_ManCreateRefs( Gia_Man_t * p );
1422 extern int * Gia_ManCreateMuxRefs( Gia_Man_t * p );
1423 extern int Gia_ManCrossCut( Gia_Man_t * p, int fReverse );
1424 extern Vec_Int_t * Gia_ManCollectPoIds( Gia_Man_t * p );
1425 extern int Gia_ObjIsMuxType( Gia_Obj_t * pNode );
1426 extern int Gia_ObjRecognizeExor( Gia_Obj_t * pObj, Gia_Obj_t ** ppFan0, Gia_Obj_t ** ppFan1 );
1427 extern Gia_Obj_t * Gia_ObjRecognizeMux( Gia_Obj_t * pNode, Gia_Obj_t ** ppNodeT, Gia_Obj_t ** ppNodeE );
1428 extern int Gia_ObjRecognizeMuxLits( Gia_Man_t * p, Gia_Obj_t * pNode, int * iLitT, int * iLitE );
1429 extern int Gia_NodeMffcSize( Gia_Man_t * p, Gia_Obj_t * pNode );
1430 extern int Gia_ManHasDangling( Gia_Man_t * p );
1431 extern int Gia_ManMarkDangling( Gia_Man_t * p );
1432 extern Vec_Int_t * Gia_ManGetDangling( Gia_Man_t * p );
1433 extern void Gia_ObjPrint( Gia_Man_t * p, Gia_Obj_t * pObj );
1434 extern void Gia_ManPrint( Gia_Man_t * p );
1435 extern void Gia_ManPrintCo( Gia_Man_t * p, Gia_Obj_t * pObj );
1436 extern void Gia_ManPrintCone( Gia_Man_t * p, Gia_Obj_t * pObj, int * pLeaves, int nLeaves, Vec_Int_t * vNodes );
1437 extern void Gia_ManPrintCone2( Gia_Man_t * p, Gia_Obj_t * pObj );
1438 extern void Gia_ManInvertConstraints( Gia_Man_t * pAig );
1439 extern void Gia_ManInvertPos( Gia_Man_t * pAig );
1440 extern int Gia_ManCompare( Gia_Man_t * p1, Gia_Man_t * p2 );
1441 extern void Gia_ManMarkFanoutDrivers( Gia_Man_t * p );
1442 extern void Gia_ManSwapPos( Gia_Man_t * p, int i );
1443 extern Vec_Int_t * Gia_ManSaveValue( Gia_Man_t * p );
1444 extern void Gia_ManLoadValue( Gia_Man_t * p, Vec_Int_t * vValues );
1445 extern Vec_Int_t * Gia_ManFirstFanouts( Gia_Man_t * p );
1446 
1447 /*=== giaCTas.c ===========================================================*/
1448 typedef struct Tas_Man_t_ Tas_Man_t;
1449 extern Tas_Man_t * Tas_ManAlloc( Gia_Man_t * pAig, int nBTLimit );
1450 extern void Tas_ManStop( Tas_Man_t * p );
1451 extern Vec_Int_t * Tas_ReadModel( Tas_Man_t * p );
1452 extern void Tas_ManSatPrintStats( Tas_Man_t * p );
1453 extern int Tas_ManSolve( Tas_Man_t * p, Gia_Obj_t * pObj, Gia_Obj_t * pObj2 );
1454 extern int Tas_ManSolveArray( Tas_Man_t * p, Vec_Ptr_t * vObjs );
1455 
1456 
1457 ABC_NAMESPACE_HEADER_END
1458 
1459 
1460 #endif
1461 
1462 ////////////////////////////////////////////////////////////////////////
1463 /// END OF FILE ///
1464 ////////////////////////////////////////////////////////////////////////
1465 
Gia_WordHasOneBit
static int Gia_WordHasOneBit(unsigned uWord)
Definition: gia.h:311
Tas_ManAlloc
Tas_Man_t * Tas_ManAlloc(Gia_Man_t *pAig, int nBTLimit)
Definition: giaCTas.c:187
Gia_Man_t_::nObjsAlloc
int nObjsAlloc
Definition: gia.h:102
Gia_ObjFanin2Copy
static int Gia_ObjFanin2Copy(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:483
memset
char * memset()
Gia_ManCleanCopyArray
static void Gia_ManCleanCopyArray(Gia_Man_t *p)
Definition: gia.h:489
Gia_ManPatchCoDriver
static void Gia_ManPatchCoDriver(Gia_Man_t *p, int iCoIndex, int iLit0)
Definition: gia.h:739
Gia_ManDupMarked
Gia_Man_t * Gia_ManDupMarked(Gia_Man_t *p)
Definition: giaDup.c:975
Gia_ManTruthCopy
static void Gia_ManTruthCopy(unsigned *pOut, unsigned *pIn, int nVars)
Definition: gia.h:346
Gia_ObjRefFanin2Inc
static void Gia_ObjRefFanin2Inc(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:526
Jf_Par_t_::Mux7
word Mux7
Definition: gia.h:301
Gia_ObjIsCellBuf
static int Gia_ObjIsCellBuf(Gia_Man_t *p, int iLit)
Definition: gia.h:962
Gia_ObjToLit
static int Gia_ObjToLit(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:497
Gia_ObjLevelId
static int Gia_ObjLevelId(Gia_Man_t *p, int Id)
Definition: gia.h:500
Tas_ManSolveArray
int Tas_ManSolveArray(Tas_Man_t *p, Vec_Ptr_t *vObjs)
Definition: giaCTas.c:1423
Gia_Man_t_::pLutLib
void * pLutLib
Definition: gia.h:166
Gia_ManAppendAnd
static int Gia_ManAppendAnd(Gia_Man_t *p, int iLit0, int iLit1)
Definition: gia.h:592
Gia_Plc_t_::fFixed
unsigned fFixed
Definition: gia.h:68
Gia_ObjSetCopyF
static void Gia_ObjSetCopyF(Gia_Man_t *p, int f, Gia_Obj_t *pObj, int iLit)
Definition: gia.h:486
Gia_ObjTerSimCo
static void Gia_ObjTerSimCo(Gia_Obj_t *pObj)
Definition: gia.h:797
Gia_ManCountMuxXor
void Gia_ManCountMuxXor(Gia_Man_t *p, int *pnMuxes, int *pnXors)
DECLARATIONS ///.
Definition: giaMuxes.c:47
Gia_ManCreateRefs
void Gia_ManCreateRefs(Gia_Man_t *p)
Definition: giaUtil.c:715
Gia_ObjRefFanin0Inc
static void Gia_ObjRefFanin0Inc(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:524
Gia_ManDelayTraceLutPrint
float Gia_ManDelayTraceLutPrint(Gia_Man_t *p, int fVerbose)
Definition: giaSpeedup.c:443
Gia_MmStepStop
void Gia_MmStepStop(Gia_MmStep_t *p, int fVerbose)
Definition: giaMem.c:507
Gia_ManCleanPhase
void Gia_ManCleanPhase(Gia_Man_t *p)
Definition: giaUtil.c:431
Gia_ManMapShrink4
Gia_Man_t * Gia_ManMapShrink4(Gia_Man_t *p, int fKeepLevel, int fVerbose)
FUNCTION DEFINITIONS ///.
Definition: giaShrink.c:49
Gia_Obj_t_::iDiff0
unsigned iDiff0
Definition: gia.h:77
Gia_ObjChild0
static Gia_Obj_t * Gia_ObjChild0(Gia_Obj_t *pObj)
Definition: gia.h:457
exit
VOID_HACK exit()
Jf_Par_t_::pTimesArr
float * pTimesArr
Definition: gia.h:306
Gia_ParFra_t_::nFrames
int nFrames
Definition: gia.h:227
Gia_ManMuxNum
static int Gia_ManMuxNum(Gia_Man_t *p)
Definition: gia.h:391
Gia_SweeperCleanup
Gia_Man_t * Gia_SweeperCleanup(Gia_Man_t *p, char *pCommLime)
Definition: giaSweeper.c:461
Gps_Par_t_::fCut
int fCut
Definition: gia.h:199
Gia_Man_t_::nHashMiss
word nHashMiss
Definition: gia.h:168
Gia_ObjRecognizeExor
int Gia_ObjRecognizeExor(Gia_Obj_t *pObj, Gia_Obj_t **ppFan0, Gia_Obj_t **ppFan1)
Definition: giaUtil.c:921
Gia_ObjFaninC2
static int Gia_ObjFaninC2(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:453
Gia_ManSpecReduce
Gia_Man_t * Gia_ManSpecReduce(Gia_Man_t *p, int fDualOut, int fSynthesis, int fReduce, int fSkipSome, int fVerbose)
Definition: giaEquiv.c:848
Gia_Man_t_::vUserFfIds
Vec_Int_t * vUserFfIds
Definition: gia.h:159
Gia_ManSim_t_::vConsts
Vec_Int_t * vConsts
Definition: gia.h:257
Gia_ObjUnsetRepr
static void Gia_ObjUnsetRepr(Gia_Man_t *p, int Id)
Definition: gia.h:890
Gia_ObjSetLevelId
static void Gia_ObjSetLevelId(Gia_Man_t *p, int Id, int l)
Definition: gia.h:502
Gia_ManDupUnshuffleInputs
Gia_Man_t * Gia_ManDupUnshuffleInputs(Gia_Man_t *p)
Definition: giaTim.c:194
Gia_Man_t_::vSims
Vec_Wrd_t * vSims
Definition: gia.h:177
Gia_ManDupCones
Gia_Man_t * Gia_ManDupCones(Gia_Man_t *p, int *pPos, int nPos, int fTrimPis)
Definition: giaDup.c:2691
Gia_ObjCellId
static int Gia_ObjCellId(Gia_Man_t *p, int iLit)
Definition: gia.h:966
Gia_ManGetCiLevels
Vec_Int_t * Gia_ManGetCiLevels(Gia_Man_t *p)
Definition: giaUtil.c:546
Gia_ObjComputeTruthTable6
word Gia_ObjComputeTruthTable6(Gia_Man_t *p, Gia_Obj_t *pObj, Vec_Int_t *vSupp, Vec_Wrd_t *vTruths)
Definition: giaTruth.c:116
Gia_ObjFaninLit0
static int Gia_ObjFaninLit0(Gia_Obj_t *pObj, int ObjId)
Definition: gia.h:466
Gia_ManComputeSwitching
float Gia_ManComputeSwitching(Gia_Man_t *p, int nFrames, int nPref, int fProbOne)
Definition: giaSwitch.c:781
Gia_ManEquivCountLits
int Gia_ManEquivCountLits(Gia_Man_t *p)
Definition: giaEquiv.c:253
Gia_ObjTerSimRo
static void Gia_ObjTerSimRo(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:808
Vec_Ptr_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
Definition: vecPtr.h:42
Gia_ManInvertConstraints
void Gia_ManInvertConstraints(Gia_Man_t *pAig)
Definition: giaUtil.c:1415
Gia_ManDupTrimmed
Gia_Man_t * Gia_ManDupTrimmed(Gia_Man_t *p, int fTrimCis, int fTrimCos, int fDualOut, int OutValue)
Definition: giaDup.c:1638
Gia_ManIsSeqWithBoxes
int Gia_ManIsSeqWithBoxes(Gia_Man_t *p)
Definition: giaTim.c:93
Jf_ManPerformMapping
Gia_Man_t * Jf_ManPerformMapping(Gia_Man_t *pGia, Jf_Par_t *pPars)
Definition: giaJf.c:1712
Gia_ObjFaninLit2
static int Gia_ObjFaninLit2(Gia_Man_t *p, int ObjId)
Definition: gia.h:468
Gia_ManDeriveReprs
void Gia_ManDeriveReprs(Gia_Man_t *p)
Definition: giaEquiv.c:129
GIA_UND
#define GIA_UND
Definition: gia.h:749
Gia_ObjIsAndNotBuf
static int Gia_ObjIsAndNotBuf(Gia_Obj_t *pObj)
Definition: gia.h:428
Gia_ManPerformDsdBalanceWin
Gia_Man_t * Gia_ManPerformDsdBalanceWin(Gia_Man_t *p, int LevelMax, int nTimeWindow, int nLutSize, int nCutNum, int nRelaxRatio, int fVerbose)
Definition: giaBalMap.c:298
Gia_ManAppendMuxReal
static int Gia_ManAppendMuxReal(Gia_Man_t *p, int iLitC, int iLit1, int iLit0)
Definition: gia.h:664
Lf_ManSetDefaultPars
void Lf_ManSetDefaultPars(Jf_Par_t *pPars)
Definition: giaLf.c:1981
Gia_ManDupUnnormalize
Gia_Man_t * Gia_ManDupUnnormalize(Gia_Man_t *p)
Definition: giaTim.c:373
Emb_Par_t_::nDims
int nDims
Definition: gia.h:211
Gia_ObjIsClass
static int Gia_ObjIsClass(Gia_Man_t *p, int Id)
Definition: gia.h:919
Gia_ObjIsAndReal
static int Gia_ObjIsAndReal(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:426
Gia_ManCrossCut
int Gia_ManCrossCut(Gia_Man_t *p, int fReverse)
Definition: giaUtil.c:820
Gia_ObjFoffsetId
static int Gia_ObjFoffsetId(Gia_Man_t *p, int Id)
Definition: gia.h:937
Gia_ObjPhase
static int Gia_ObjPhase(Gia_Obj_t *pObj)
Definition: gia.h:415
Gia_ObjTerSimSet0
static void Gia_ObjTerSimSet0(Gia_Obj_t *pObj)
Definition: gia.h:770
Gia_MmFixedReadMaxEntriesUsed
int Gia_MmFixedReadMaxEntriesUsed(Gia_MmFixed_t *p)
Definition: giaMem.c:287
Gia_ObjSetTimeSlackObj
static void Gia_ObjSetTimeSlackObj(Gia_Man_t *p, Gia_Obj_t *pObj, float t)
Definition: gia.h:552
Gia_ManPerformBidec
Gia_Man_t * Gia_ManPerformBidec(Gia_Man_t *p, int fVerbose)
Definition: giaBidec.c:233
Gia_ObjSiblObj
static Gia_Obj_t * Gia_ObjSiblObj(Gia_Man_t *p, int Id)
Definition: gia.h:894
Gia_ManIsoReduce
Gia_Man_t * Gia_ManIsoReduce(Gia_Man_t *p, Vec_Ptr_t **pvPosEquivs, Vec_Ptr_t **pvPiPerms, int fEstimate, int fDualOut, int fVerbose, int fVeryVerbose)
Definition: giaIso.c:1075
Gia_ObjIsTravIdPrevious
static int Gia_ObjIsTravIdPrevious(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:534
Gia_ManExtractWindow
Gia_Man_t * Gia_ManExtractWindow(Gia_Man_t *p, int LevelMax, int nTimeWindow, int fVerbose)
Definition: giaBalMap.c:236
Gia_ManAppendXor
static int Gia_ManAppendXor(Gia_Man_t *p, int iLit0, int iLit1)
Definition: gia.h:735
Gia_ManDup
Gia_Man_t * Gia_ManDup(Gia_Man_t *p)
Definition: giaDup.c:552
Jf_Par_t_::nCutNum
int nCutNum
Definition: gia.h:268
Gia_ManSuppSize
int Gia_ManSuppSize(Gia_Man_t *p, int *pNodes, int nNodes)
Definition: giaDfs.c:300
Jf_Par_t_::nLutSize
int nLutSize
Definition: gia.h:267
Jf_Par_t_::MapArea
float MapArea
Definition: gia.h:303
Gia_ManDelayTraceLut
float Gia_ManDelayTraceLut(Gia_Man_t *p)
Definition: giaSpeedup.c:230
Tas_Man_t_
Definition: giaCTas.c:82
Gia_ObjCollectInternal
void Gia_ObjCollectInternal(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaTruth.c:159
Gia_ObjPhaseReal
static int Gia_ObjPhaseReal(Gia_Obj_t *pObj)
Definition: gia.h:416
Gia_Man_t_::vFanoutNums
Vec_Int_t * vFanoutNums
Definition: gia.h:129
Gia_ManSim_t_::vCis2Ids
Vec_Int_t * vCis2Ids
Definition: gia.h:256
Gia_ManStop
void Gia_ManStop(Gia_Man_t *p)
Definition: giaMan.c:77
Gia_ManTransformMiter
Gia_Man_t * Gia_ManTransformMiter(Gia_Man_t *p)
Definition: giaDup.c:2324
Gia_AigerWriteInt
static void Gia_AigerWriteInt(unsigned char *pPos, int Value)
Definition: gia.h:834
Gia_ManDupOneHot
Gia_Man_t * Gia_ManDupOneHot(Gia_Man_t *p)
Definition: giaDup.c:2785
Vec_FltWriteEntry
static void Vec_FltWriteEntry(Vec_Flt_t *p, int i, float Entry)
Definition: vecFlt.h:364
Gia_ManUpdateExtraAig
Gia_Man_t * Gia_ManUpdateExtraAig(void *pTime, Gia_Man_t *pAig, Vec_Int_t *vBoxPres)
Definition: giaTim.c:683
Cbs_ManSolveMiter
Vec_Int_t * Cbs_ManSolveMiter(Gia_Man_t *pGia, int nConfs, Vec_Str_t **pvStatus, int fVerbose)
Definition: giaCSatOld.c:708
Gia_ParSim_t_::nWords
int nWords
Definition: gia.h:241
Gia_ManEquivPrintOne
void Gia_ManEquivPrintOne(Gia_Man_t *p, int i, int Counter)
Definition: giaEquiv.c:292
Gia_ManSolveProblem
void Gia_ManSolveProblem(Gia_Man_t *pGia, Emb_Par_t *pPars)
Definition: giaEmbed.c:1791
Jf_Par_t_::Edge
word Edge
Definition: gia.h:299
Gia_Man_t_::pHTable
int * pHTable
Definition: gia.h:110
Gia_Man_t_::pTravIds
int * pTravIds
Definition: gia.h:153
Gia_SimDataCiExt
unsigned * Gia_SimDataCiExt(Gia_ManSim_t *p, int i)
Definition: giaSim.c:35
Gia_ManEquivReduceAndRemap
Gia_Man_t * Gia_ManEquivReduceAndRemap(Gia_Man_t *p, int fSeq, int fMiterPairs)
Definition: giaEquiv.c:638
Gia_SweeperIsRunning
int Gia_SweeperIsRunning(Gia_Man_t *p)
Definition: giaSweeper.c:164
Tas_ManStop
void Tas_ManStop(Tas_Man_t *p)
Definition: giaCTas.c:223
Gia_ManVerifyCex
int Gia_ManVerifyCex(Gia_Man_t *pAig, Abc_Cex_t *p, int fDualOut)
DECLARATIONS ///.
Definition: giaCex.c:44
Vec_Vec_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Vec_t_ Vec_Vec_t
INCLUDES ///.
Definition: vecVec.h:42
Gia_ManSetRefsMapped
void Gia_ManSetRefsMapped(Gia_Man_t *p)
Definition: giaIf.c:245
Gia_ManPrintStats
void Gia_ManPrintStats(Gia_Man_t *p, Gps_Par_t *pPars)
Definition: giaMan.c:389
Gia_ObjComputeTruthTableStart
void Gia_ObjComputeTruthTableStart(Gia_Man_t *p, int nVarsMax)
Definition: giaTruth.c:282
Gia_Man_t_::pAigExtra
Gia_Man_t * pAigExtra
Definition: gia.h:149
Gia_Man_t_::pNexts
int * pNexts
Definition: gia.h:122
Gia_AigerRead
Gia_Man_t * Gia_AigerRead(char *pFileName, int fSkipStrash, int fCheck)
Definition: giaAiger.c:821
Gia_ManLoadValue
void Gia_ManLoadValue(Gia_Man_t *p, Vec_Int_t *vValues)
Definition: giaUtil.c:1615
Gia_ManDupCofAllInt
Gia_Man_t * Gia_ManDupCofAllInt(Gia_Man_t *p, Vec_Int_t *vSigs, int fVerbose)
Definition: giaCof.c:936
Gia_ManPoNum
static int Gia_ManPoNum(Gia_Man_t *p)
Definition: gia.h:386
Gia_ObjFaninC1
static int Gia_ObjFaninC1(Gia_Obj_t *pObj)
Definition: gia.h:452
Jf_Par_t_::nLutSizeMux
int nLutSizeMux
Definition: gia.h:296
Gia_ObjTerSimGet0Fanin1
static int Gia_ObjTerSimGet0Fanin1(Gia_Obj_t *pObj)
Definition: gia.h:782
Emb_Par_t_::nIters
int nIters
Definition: gia.h:213
Gia_ObjSetValue
static void Gia_ObjSetValue(Gia_Obj_t *pObj, int i)
Definition: gia.h:414
Gia_ManCi
static Gia_Obj_t * Gia_ManCi(Gia_Man_t *p, int v)
Definition: gia.h:403
Gia_ObjColor
static int Gia_ObjColor(Gia_Man_t *p, int Id, int c)
Definition: gia.h:903
Gia_ManAppendCo
static int Gia_ManAppendCo(Gia_Man_t *p, int iLit0)
Definition: gia.h:703
p
static Llb_Mgr_t * p
Definition: llb3Image.c:950
Gia_SweeperSetRuntimeLimit
void Gia_SweeperSetRuntimeLimit(Gia_Man_t *p, int nSeconds)
Definition: giaSweeper.c:225
Gia_NotCond
static Gia_Obj_t * Gia_NotCond(Gia_Obj_t *p, int c)
Definition: gia.h:379
Gia_ParFra_t_::fSaveLastLit
int fSaveLastLit
Definition: gia.h:229
Gia_ManLutLevel
int Gia_ManLutLevel(Gia_Man_t *p)
Definition: giaIf.c:163
Gia_ManChoiceNum
static int Gia_ManChoiceNum(Gia_Man_t *p)
Definition: gia.h:398
Gia_ManHashXor
int Gia_ManHashXor(Gia_Man_t *p, int iLit0, int iLit1)
Definition: giaHash.c:658
Gia_ManDupPerm
Gia_Man_t * Gia_ManDupPerm(Gia_Man_t *p, Vec_Int_t *vPiPerm)
Definition: giaDup.c:632
Vec_Int_t
typedefABC_NAMESPACE_IMPL_START struct Vec_Int_t_ Vec_Int_t
DECLARATIONS ///.
Definition: bblif.c:37
Gia_ManRegBoxNum
int Gia_ManRegBoxNum(Gia_Man_t *p)
Definition: giaTim.c:53
Gia_ObjRefFanin1Inc
static void Gia_ObjRefFanin1Inc(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:525
Gia_Man_t_::vRegClasses
Vec_Int_t * vRegClasses
Definition: gia.h:144
Gia_ObjComputeTruthTableCut
word * Gia_ObjComputeTruthTableCut(Gia_Man_t *p, Gia_Obj_t *pObj, Vec_Int_t *vLeaves)
Definition: giaTruth.c:351
Gia_ManSimSimulate
int Gia_ManSimSimulate(Gia_Man_t *pAig, Gia_ParSim_t *pPars)
Definition: giaSim.c:598
Gia_ManStgPrint
void Gia_ManStgPrint(FILE *pFile, Vec_Int_t *vLines, int nIns, int nOuts, int nStates)
Definition: giaStg.c:407
Gia_ManCollectNodesCis
Vec_Int_t * Gia_ManCollectNodesCis(Gia_Man_t *p, int *pNodes, int nNodes)
Definition: giaDfs.c:178
Gia_AigerReadFromMemory
Gia_Man_t * Gia_AigerReadFromMemory(char *pContents, int nFileSize, int fSkipStrash, int fCheck)
Definition: giaAiger.c:176
Gia_Regular
static Gia_Obj_t * Gia_Regular(Gia_Obj_t *p)
Definition: gia.h:377
Gia_ManCompare
int Gia_ManCompare(Gia_Man_t *p1, Gia_Man_t *p2)
Definition: giaUtil.c:1511
Gia_ObjFaninLit2p
static int Gia_ObjFaninLit2p(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:471
Gia_ObjIsTravIdCurrent
static int Gia_ObjIsTravIdCurrent(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:533
Gia_ObjSetTravIdPrevious
static void Gia_ObjSetTravIdPrevious(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:532
Gia_ManDupOrderAiger
Gia_Man_t * Gia_ManDupOrderAiger(Gia_Man_t *p)
Definition: giaDup.c:397
Gia_ManIsConstLit
static int Gia_ManIsConstLit(int iLit)
Definition: gia.h:375
Gia_Man_t_::vObjClasses
Vec_Int_t * vObjClasses
Definition: gia.h:142
Gia_ManCiLit
static int Gia_ManCiLit(Gia_Man_t *p, int CiId)
Definition: gia.h:435
Gia_ManName
static char * Gia_ManName(Gia_Man_t *p)
Definition: gia.h:382
Gia_ObjFromLit
static Gia_Obj_t * Gia_ObjFromLit(Gia_Man_t *p, int iLit)
Definition: gia.h:496
Gia_ObjFanin1CopyF
static int Gia_ObjFanin1CopyF(Gia_Man_t *p, int f, Gia_Obj_t *pObj)
Definition: gia.h:492
Gia_ManFirstFanouts
Vec_Int_t * Gia_ManFirstFanouts(Gia_Man_t *p)
Definition: giaUtil.c:1635
Gia_ManDupCofactorObj
Gia_Man_t * Gia_ManDupCofactorObj(Gia_Man_t *p, int iObj, int Value)
Definition: giaDup.c:1319
Gia_ManReadMiniAig
Gia_Man_t * Gia_ManReadMiniAig(char *pFileName)
Definition: giaMini.c:167
Gia_ManPo
static Gia_Obj_t * Gia_ManPo(Gia_Man_t *p, int v)
Definition: gia.h:406
Gia_ManSetMark1
void Gia_ManSetMark1(Gia_Man_t *p)
Definition: giaUtil.c:253
Gia_Man_t_::nFront
int nFront
Definition: gia.h:119
Gia_ParFra_t_::fOrPos
int fOrPos
Definition: gia.h:231
ABC_REALLOC
#define ABC_REALLOC(type, obj, num)
Definition: abc_global.h:233
Gia_ObjFaninLit0p
static int Gia_ObjFaninLit0p(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:469
Gia_ObjIsCand
static int Gia_ObjIsCand(Gia_Obj_t *pObj)
Definition: gia.h:429
Gia_ObjNum
static int Gia_ObjNum(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:513
Gia_ManDupPermFlop
Gia_Man_t * Gia_ManDupPermFlop(Gia_Man_t *p, Vec_Int_t *vFfPerm)
Definition: giaDup.c:663
Pos
ush Pos
Definition: deflate.h:88
Gps_Par_t_::fLutProf
int fLutProf
Definition: gia.h:201
Gia_Man_t_::pSibls
int * pSibls
Definition: gia.h:123
Gia_MmFlexRestart
void Gia_MmFlexRestart(Gia_MmFlex_t *p)
Definition: giaMem.c:411
Gia_SweeperGetCex
Vec_Int_t * Gia_SweeperGetCex(Gia_Man_t *p)
Definition: giaSweeper.c:230
Gia_Man_t_::vSwitching
Vec_Int_t * vSwitching
Definition: gia.h:152
Gia_ManSeqMarkUsed
int Gia_ManSeqMarkUsed(Gia_Man_t *p)
Definition: giaScl.c:156
Gia_SweeperGraft
Vec_Int_t * Gia_SweeperGraft(Gia_Man_t *pDst, Vec_Int_t *vProbes, Gia_Man_t *pSrc)
Definition: giaSweeper.c:985
Mf_ManSetDefaultPars
void Mf_ManSetDefaultPars(Jf_Par_t *pPars)
Definition: giaMf.c:1380
Gia_ManInvertPos
void Gia_ManInvertPos(Gia_Man_t *pAig)
Definition: giaUtil.c:1425
Gia_ObjLutMuxId
static int Gia_ObjLutMuxId(Gia_Man_t *p, int Id)
Definition: gia.h:956
Gia_ManConstrNum
static int Gia_ManConstrNum(Gia_Man_t *p)
Definition: gia.h:395
Gia_ObjPhaseRealLit
static int Gia_ObjPhaseRealLit(Gia_Man_t *p, int iLit)
Definition: gia.h:498
Jf_Par_t_::nProcNum
int nProcNum
Definition: gia.h:269
Gia_ManFrames
Gia_Man_t * Gia_ManFrames(Gia_Man_t *pAig, Gia_ParFra_t *pPars)
Definition: giaFrames.c:840
Gia_ManDupOntop
Gia_Man_t * Gia_ManDupOntop(Gia_Man_t *p, Gia_Man_t *p2)
Definition: giaDup.c:1772
Gia_ObjSetGateLevel
static void Gia_ObjSetGateLevel(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:509
GIA_ZER
#define GIA_ZER
Definition: gia.h:747
Gia_ManGetDangling
Vec_Int_t * Gia_ManGetDangling(Gia_Man_t *p)
Definition: giaUtil.c:1224
Lf_ManPerformMapping
Gia_Man_t * Lf_ManPerformMapping(Gia_Man_t *pGia, Jf_Par_t *pPars)
Definition: giaLf.c:2193
Gia_TimeStamp
char * Gia_TimeStamp()
Definition: giaUtil.c:101
Gia_ManAppendCi
static int Gia_ManAppendCi(Gia_Man_t *p)
Definition: gia.h:583
Gia_ObjDiff1
static int Gia_ObjDiff1(Gia_Obj_t *pObj)
Definition: gia.h:450
Gia_ManLevelWithBoxes
int Gia_ManLevelWithBoxes(Gia_Man_t *p)
Definition: giaTim.c:469
Tas_Man_t_::pAig
Gia_Man_t * pAig
Definition: giaCTas.c:85
Gia_ManDupOrderDfs
Gia_Man_t * Gia_ManDupOrderDfs(Gia_Man_t *p)
Definition: giaDup.c:170
Gia_ObjTerSimGet0Fanin0
static int Gia_ObjTerSimGet0Fanin0(Gia_Obj_t *pObj)
Definition: gia.h:779
Gia_ManCleanValue
void Gia_ManCleanValue(Gia_Man_t *p)
Definition: giaUtil.c:310
Gia_SweeperStart
Gia_Man_t * Gia_SweeperStart(Gia_Man_t *p)
Definition: giaSweeper.c:145
Jf_Par_t_::nAreaTuner
int nAreaTuner
Definition: gia.h:274
Gia_ManCheckIntegrityWithBoxes
void Gia_ManCheckIntegrityWithBoxes(Gia_Man_t *p)
Definition: giaSweep.c:406
Gia_ManCleanMark0
void Gia_ManCleanMark0(Gia_Man_t *p)
Definition: giaUtil.c:215
Gia_ManRemoveEnables
Gia_Man_t * Gia_ManRemoveEnables(Gia_Man_t *p)
Definition: giaEnable.c:514
Gia_ManRandomInfo
void Gia_ManRandomInfo(Vec_Ptr_t *vInfo, int iInputStart, int iWordStart, int iWordStop)
Definition: giaUtil.c:80
Gia_ObjIsConst0
static int Gia_ObjIsConst0(Gia_Obj_t *pObj)
Definition: gia.h:430
Jf_Par_t_::pTimesReq
float * pTimesReq
Definition: gia.h:307
Jf_Par_t_::nCutNumMax
int nCutNumMax
Definition: gia.h:294
Abc_Var2Lit
static int Abc_Var2Lit(int Var, int fCompl)
Definition: abc_global.h:263
Emb_Par_t_::fVerbose
int fVerbose
Definition: gia.h:219
Gia_Man_t_::nFansAlloc
int nFansAlloc
Definition: gia.h:128
Gia_ManDupOutputGroup
Gia_Man_t * Gia_ManDupOutputGroup(Gia_Man_t *p, int iOutStart, int iOutStop)
Definition: giaDup.c:203
Gia_Man_t_::nTerStates
int nTerStates
Definition: gia.h:126
Gia_Man_t_::vClassOld
Vec_Int_t * vClassOld
Definition: gia.h:179
Jf_Par_t_::fCutSimple
int fCutSimple
Definition: gia.h:290
Gia_ObjRefNumId
static int Gia_ObjRefNumId(Gia_Man_t *p, int Id)
Definition: gia.h:518
Gia_Man_t_::pObjs
Gia_Obj_t * pObjs
Definition: gia.h:103
Gia_ManObjIsConst0
static int Gia_ManObjIsConst0(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:431
Gia_ObjComputeTruthTableStop
void Gia_ObjComputeTruthTableStop(Gia_Man_t *p)
Definition: giaTruth.c:293
Gia_ManLutParams
void Gia_ManLutParams(Gia_Man_t *p, int *pnCurLuts, int *pnCurEdges, int *pnCurLevels)
Definition: giaIf.c:195
Gia_Man_t_::vCos
Vec_Int_t * vCos
Definition: gia.h:109
Emb_Par_t_::fDumpLarge
int fDumpLarge
Definition: gia.h:217
Gia_ManCexExtendToIncludeAllObjects
Abc_Cex_t * Gia_ManCexExtendToIncludeAllObjects(Gia_Man_t *p, Abc_Cex_t *pCex)
Definition: giaCex.c:349
Gia_ManDupDfsClasses
Gia_Man_t * Gia_ManDupDfsClasses(Gia_Man_t *p)
Definition: giaDup.c:1940
Gia_ObjRefDecId
static int Gia_ObjRefDecId(Gia_Man_t *p, int Id)
Definition: gia.h:520
Gia_WordFindFirstBit
static int Gia_WordFindFirstBit(unsigned uWord)
Definition: gia.h:321
Gia_ParFra_t_
Definition: gia.h:225
Gia_Man_t_::pMuxes
unsigned * pMuxes
Definition: gia.h:104
Gia_ManEquivImprove
void Gia_ManEquivImprove(Gia_Man_t *p)
Definition: giaEquiv.c:1375
Gia_ManStgRead
Gia_Man_t * Gia_ManStgRead(char *pFileName, int kHot, int fVerbose)
Definition: giaStg.c:508
Gia_ObjValue
static int Gia_ObjValue(Gia_Obj_t *pObj)
Definition: gia.h:413
Gia_Man_t_::vBarBufs
Vec_Int_t * vBarBufs
Definition: gia.h:146
Gia_ObjFaninId1p
static int Gia_ObjFaninId1p(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:464
Emb_Par_t_::nSols
int nSols
Definition: gia.h:212
Gia_Rpr_t_::fColorA
unsigned fColorA
Definition: gia.h:61
Gia_Man_t_::vFlopClasses
Vec_Int_t * vFlopClasses
Definition: gia.h:140
Gia_Man_t_::pData2
unsigned * pData2
Definition: gia.h:170
Gia_ObjIsHead
static int Gia_ObjIsHead(Gia_Man_t *p, int Id)
Definition: gia.h:916
Gia_Man_t_::pCexComb
Abc_Cex_t * pCexComb
Definition: gia.h:135
Gia_ManSetLevels
int Gia_ManSetLevels(Gia_Man_t *p, Vec_Int_t *vCiLevels)
Definition: giaUtil.c:558
Gia_ObjIsTerm
static int Gia_ObjIsTerm(Gia_Obj_t *pObj)
Definition: gia.h:418
Jf_Par_t_::MapDelay
float MapDelay
Definition: gia.h:302
Gia_ObjRefNum
static int Gia_ObjRefNum(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:521
Mf_ManPerformMapping
Gia_Man_t * Mf_ManPerformMapping(Gia_Man_t *pGia, Jf_Par_t *pPars)
Definition: giaMf.c:1575
Gia_SweeperProbeDelete
int Gia_SweeperProbeDelete(Gia_Man_t *p, int ProbeId)
Definition: giaSweeper.c:258
Gia_ManPrintStatsShort
void Gia_ManPrintStatsShort(Gia_Man_t *p)
Definition: giaMan.c:522
Vec_IntSetEntry
static void Vec_IntSetEntry(Vec_Int_t *p, int i, int Entry)
Definition: bblif.c:418
Vec_FltAlloc
static Vec_Flt_t * Vec_FltAlloc(int nCap)
FUNCTION DEFINITIONS ///.
Definition: vecFlt.h:78
Gia_WordCountOnes
static int Gia_WordCountOnes(unsigned uWord)
Definition: gia.h:313
Jf_Par_t_::Clause
word Clause
Definition: gia.h:300
Gia_Man_t_::nBufs
int nBufs
Definition: gia.h:107
Gia_ManDupFlopClass
Gia_Man_t * Gia_ManDupFlopClass(Gia_Man_t *p, int iClass)
Definition: giaDup.c:930
Gia_ManUnrollAdd
void * Gia_ManUnrollAdd(void *pMan, int fMax)
Definition: giaFrames.c:437
Gia_MmFixedStart
Gia_MmFixed_t * Gia_MmFixedStart(int nEntrySize, int nEntriesMax)
FUNCTION DEFINITIONS ///.
Definition: giaMem.c:96
Gia_Man_t_::pIso
int * pIso
Definition: gia.h:124
Gia_ManMapShrink6
Gia_Man_t * Gia_ManMapShrink6(Gia_Man_t *p, int nFanoutMax, int fKeepLevel, int fVerbose)
Definition: giaShrink6.c:401
Gia_ManPrintCone2
void Gia_ManPrintCone2(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaUtil.c:1392
Gia_ObjTerSimPrint
static void Gia_ObjTerSimPrint(Gia_Obj_t *pObj)
Definition: gia.h:817
Gia_ObjIsBuf
static int Gia_ObjIsBuf(Gia_Obj_t *pObj)
Definition: gia.h:427
Gia_ObjRecognizeMuxLits
int Gia_ObjRecognizeMuxLits(Gia_Man_t *p, Gia_Obj_t *pNode, int *iLitT, int *iLitE)
Definition: giaUtil.c:1036
Gia_ManSpecReduceInit
Gia_Man_t * Gia_ManSpecReduceInit(Gia_Man_t *p, Abc_Cex_t *pInit, int nFrames, int fDualOut)
Definition: giaEquiv.c:985
Vec_IntGetEntry
static int Vec_IntGetEntry(Vec_Int_t *p, int i)
Definition: bblif.c:401
Gia_ManSetRegNum
void Gia_ManSetRegNum(Gia_Man_t *p, int nRegs)
Definition: giaMan.c:628
Gia_ParSim_t_::RandSeed
int RandSeed
Definition: gia.h:243
Gia_Man_t_::nTtWords
int nTtWords
Definition: gia.h:183
Jf_ManDeriveCnf
Gia_Man_t * Jf_ManDeriveCnf(Gia_Man_t *p, int fCnfObjIds)
Definition: giaJf.c:1746
Gia_ManPoIsConst0
static int Gia_ManPoIsConst0(Gia_Man_t *p, int iPoIndex)
Definition: gia.h:475
Gia_ManAndNotBufNum
static int Gia_ManAndNotBufNum(Gia_Man_t *p)
Definition: gia.h:393
Jf_Par_t_::fAreaOnly
int fAreaOnly
Definition: gia.h:277
Gia_XsimNotCond
static int Gia_XsimNotCond(int Value, int fCompl)
Definition: gia.h:751
Abc_TruthWordNum
static int Abc_TruthWordNum(int nVars)
Definition: abc_global.h:256
Gia_ManHashAndTry
int Gia_ManHashAndTry(Gia_Man_t *p, int iLit0, int iLit1)
Definition: giaHash.c:627
Gia_Obj_t_::fMark1
unsigned fMark1
Definition: gia.h:84
Jf_Par_t_::nVerbLimit
int nVerbLimit
Definition: gia.h:275
Gia_Rpr_t_::iRepr
unsigned iRepr
Definition: gia.h:58
Gia_AigerWriteUnsigned
static void Gia_AigerWriteUnsigned(Vec_Str_t *vStr, unsigned x)
Definition: gia.h:848
Gia_Man_t_::vPacking
Vec_Int_t * vPacking
Definition: gia.h:133
Gia_ManIsoReduce2
Gia_Man_t * Gia_ManIsoReduce2(Gia_Man_t *p, Vec_Ptr_t **pvPosEquivs, Vec_Ptr_t **pvPiPerms, int fEstimate, int fBetterQual, int fDualOut, int fVerbose, int fVeryVerbose)
Definition: giaIso2.c:718
Gia_Man_t_::nLevels
int nLevels
Definition: gia.h:116
Gia_ManLutNum
int Gia_ManLutNum(Gia_Man_t *p)
Definition: giaIf.c:144
Gia_ManAigSyn3
Gia_Man_t * Gia_ManAigSyn3(Gia_Man_t *p, int fVerbose, int fVeryVerbose)
Definition: giaScript.c:152
Gia_XsimAndCond
static int Gia_XsimAndCond(int Value0, int fCompl0, int Value1, int fCompl1)
Definition: gia.h:759
Gia_ManDupZero
Gia_Man_t * Gia_ManDupZero(Gia_Man_t *p)
Definition: giaDup.c:608
Jf_Par_t_::fCnfObjIds
int fCnfObjIds
Definition: gia.h:285
Gia_ObjTerSimGet1Fanin0
static int Gia_ObjTerSimGet1Fanin0(Gia_Obj_t *pObj)
Definition: gia.h:780
Gia_ManPerformFx
Gia_Man_t * Gia_ManPerformFx(Gia_Man_t *p, int nNewNodesMax, int LitCountMax, int fReverse, int fVerbose, int fVeryVerbose)
Definition: giaFx.c:451
Gia_ManSim_t_::nWords
int nWords
Definition: gia.h:255
Gia_ManDupAndOr
Gia_Man_t * Gia_ManDupAndOr(Gia_Man_t *p, int nOuts, int fUseOr, int fCompl)
Definition: giaDup.c:2275
Sat_ManTest
int Sat_ManTest(Gia_Man_t *pGia, Gia_Obj_t *pObj, int nConfsMax)
Gia_Man_t_::nObjs
int nObjs
Definition: gia.h:101
Abc_MaxInt
static int Abc_MaxInt(int a, int b)
Definition: abc_global.h:238
Vec_StrPush
static void Vec_StrPush(Vec_Str_t *p, char Entry)
Definition: vecStr.h:535
Gia_Man_t_::vSimsPi
Vec_Wrd_t * vSimsPi
Definition: gia.h:178
Gia_ObjAddFanout
void Gia_ObjAddFanout(Gia_Man_t *p, Gia_Obj_t *pObj, Gia_Obj_t *pFanout)
Definition: giaFanout.c:116
Gia_ManPrintCo
void Gia_ManPrintCo(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaUtil.c:1349
Gia_ManCounterExampleValueLookup
int Gia_ManCounterExampleValueLookup(Gia_Man_t *pGia, int Id, int iFrame)
Definition: giaCex.c:262
Gia_SimDataExt
unsigned * Gia_SimDataExt(Gia_ManSim_t *p, int i)
Definition: giaSim.c:34
Jf_Par_t_::fCutHashing
int fCutHashing
Definition: gia.h:289
Gia_ManCleanTruth
void Gia_ManCleanTruth(Gia_Man_t *p)
Definition: giaUtil.c:487
Vec_WrdSize
static int Vec_WrdSize(Vec_Wrd_t *p)
Definition: vecWrd.h:336
Gia_ManSetFailedPoCex
int Gia_ManSetFailedPoCex(Gia_Man_t *pAig, Abc_Cex_t *p)
Definition: giaCex.c:135
Gia_ObjFoffset
static int Gia_ObjFoffset(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:938
Gia_ManDupAppendCones
Gia_Man_t * Gia_ManDupAppendCones(Gia_Man_t *p, Gia_Man_t **ppCones, int nCones, int fOnlyRegs)
Definition: giaDup.c:836
nSuppMax
int nSuppMax
Definition: llb3Image.c:83
Gia_Rpr_t_::fColorB
unsigned fColorB
Definition: gia.h:62
Gia_ManPrintMappingStats
void Gia_ManPrintMappingStats(Gia_Man_t *p, char *pDumpFile)
Definition: giaIf.c:423
Gia_ObjTerSimGetX
static int Gia_ObjTerSimGetX(Gia_Obj_t *pObj)
Definition: gia.h:777
Gia_ObjTimeRequiredObj
static float Gia_ObjTimeRequiredObj(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:545
Gia_ManPerformMapping
Gia_Man_t * Gia_ManPerformMapping(Gia_Man_t *p, void *pIfPars)
Definition: giaIf.c:1986
Vec_FltFill
static void Vec_FltFill(Vec_Flt_t *p, int nSize, float Entry)
Definition: vecFlt.h:450
nWords
int nWords
Definition: abcNpn.c:127
Gia_ManCountChoiceNodes
int Gia_ManCountChoiceNodes(Gia_Man_t *p)
Definition: giaEquiv.c:1686
Vec_FltFreeP
static void Vec_FltFreeP(Vec_Flt_t **p)
Definition: vecFlt.h:235
Gia_ManObj
static Gia_Obj_t * Gia_ManObj(Gia_Man_t *p, int v)
Definition: gia.h:402
Gia_FileSize
int Gia_FileSize(char *pFileName)
FUNCTION DECLARATIONS ///.
Definition: giaAiger.c:64
Gia_ObjSetTimeArrivalObj
static void Gia_ObjSetTimeArrivalObj(Gia_Man_t *p, Gia_Obj_t *pObj, float t)
Definition: gia.h:550
Abc_LitNotCond
static int Abc_LitNotCond(int Lit, int c)
Definition: abc_global.h:267
Gia_Man_t_::vStore
Vec_Int_t * vStore
Definition: gia.h:190
Gia_ManDupFromVecs
Gia_Man_t * Gia_ManDupFromVecs(Gia_Man_t *p, Vec_Int_t *vCis, Vec_Int_t *vAnds, Vec_Int_t *vCos, int nRegs)
Definition: giaDup.c:2853
Gia_ManPerformDsdBalance
Gia_Man_t * Gia_ManPerformDsdBalance(Gia_Man_t *p, int nLutSize, int nCutNum, int nRelaxRatio, int fVerbose)
Definition: giaIf.c:2058
Jf_Par_t_::fPower
int fPower
Definition: gia.h:280
Gia_Man_t_::pRefs
int * pRefs
Definition: gia.h:114
Gia_Obj_t_
Definition: gia.h:75
Gia_ParSim_t_::fVerbose
int fVerbose
Definition: gia.h:246
Gia_ManCleanMark1
void Gia_ManCleanMark1(Gia_Man_t *p)
Definition: giaUtil.c:272
Gia_ManConst1
static Gia_Obj_t * Gia_ManConst1(Gia_Man_t *p)
Definition: gia.h:401
Gps_Par_t_::pDumpFile
char * pDumpFile
Definition: gia.h:205
Gia_ManSim_t_::pDataSimCis
unsigned * pDataSimCis
Definition: gia.h:260
Gia_Man_t_::vInitClasses
Vec_Int_t * vInitClasses
Definition: gia.h:143
Gia_ManFindFailedPoCex
int Gia_ManFindFailedPoCex(Gia_Man_t *pAig, Abc_Cex_t *p, int nOutputs)
Definition: giaCex.c:87
Gia_ManUnrollAbs
Vec_Ptr_t * Gia_ManUnrollAbs(Gia_Man_t *p, int nFrames)
Definition: giaFrames.c:155
Gia_ObjChild2
static Gia_Obj_t * Gia_ObjChild2(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:459
Gia_ManDupNoMuxes
Gia_Man_t * Gia_ManDupNoMuxes(Gia_Man_t *p)
Definition: giaMuxes.c:159
Gia_ManPrintFanio
void Gia_ManPrintFanio(Gia_Man_t *pGia, int nNodes)
Definition: giaCof.c:746
Gia_ManDupZeroUndc
Gia_Man_t * Gia_ManDupZeroUndc(Gia_Man_t *p, char *pInit, int fVerbose)
Definition: giaDup.c:2390
Gia_Man_t_::vTiming
Vec_Flt_t * vTiming
Definition: gia.h:164
Gia_ManEvaluateSwitching
float Gia_ManEvaluateSwitching(Gia_Man_t *p)
Definition: giaSwitch.c:719
Gia_ManDupOutputVec
Gia_Man_t * Gia_ManDupOutputVec(Gia_Man_t *p, Vec_Int_t *vOutPres)
Definition: giaDup.c:232
Gia_ObjSetBufLevel
static void Gia_ObjSetBufLevel(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:505
Gia_ManEquivPrintClasses
void Gia_ManEquivPrintClasses(Gia_Man_t *p, int fVerbose, float Mem)
Definition: giaEquiv.c:304
Gia_ManStopP
void Gia_ManStopP(Gia_Man_t **p)
Definition: giaMan.c:177
Jf_Par_t_::fVeryVerbose
int fVeryVerbose
Definition: gia.h:292
Gia_ManDetectSeqSignals
void Gia_ManDetectSeqSignals(Gia_Man_t *p, int fSetReset, int fVerbose)
Definition: giaEnable.c:130
Gia_ManPoIsConst1
static int Gia_ManPoIsConst1(Gia_Man_t *p, int iPoIndex)
Definition: gia.h:476
Gia_ManHasDangling
int Gia_ManHasDangling(Gia_Man_t *p)
Definition: giaUtil.c:1155
Gia_ManSetIfParsDefault
void Gia_ManSetIfParsDefault(void *pIfPars)
FUNCTION DEFINITIONS ///.
Definition: giaIf.c:57
Emb_Par_t_
Definition: gia.h:209
Gia_Man_t_::vFanout
Vec_Int_t * vFanout
Definition: gia.h:130
Gia_ManAppendOr
static int Gia_ManAppendOr(Gia_Man_t *p, int iLit0, int iLit1)
Definition: gia.h:718
Gia_ObjSimPi
static word * Gia_ObjSimPi(Gia_Man_t *p, int PiId)
Definition: gia.h:555
Gia_ManHasChoices
static int Gia_ManHasChoices(Gia_Man_t *p)
Definition: gia.h:397
Gia_ObjComputeTruthTable
word * Gia_ObjComputeTruthTable(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaTruth.c:177
Jf_Par_t_::nRelaxRatio
int nRelaxRatio
Definition: gia.h:272
Gia_ObjDiffColors2
static int Gia_ObjDiffColors2(Gia_Man_t *p, int i, int j)
Definition: gia.h:909
Gia_ManTruthIsConst0
static int Gia_ManTruthIsConst0(unsigned *pIn, int nVars)
Definition: gia.h:330
Gia_Man_t_::nXors
int nXors
Definition: gia.h:105
Gia_ManEquivTransform
void Gia_ManEquivTransform(Gia_Man_t *p, int fVerbose)
Definition: giaEquiv.c:1114
Cbs_ManSolveMiterNc
Vec_Int_t * Cbs_ManSolveMiterNc(Gia_Man_t *pGia, int nConfs, Vec_Str_t **pvStatus, int fVerbose)
Definition: giaCSat.c:998
Gia_ManRandom
unsigned Gia_ManRandom(int fReset)
FUNCTION DEFINITIONS ///.
Definition: giaUtil.c:49
Jf_Par_t_::Epsilon
float Epsilon
Definition: gia.h:305
Gia_SweeperRun
int Gia_SweeperRun(Gia_Man_t *p, Vec_Int_t *vProbeIds, char *pCommLime, int fVerbose)
Definition: giaSweeper.c:1106
Gia_Man_t_::fSweeper
int fSweeper
Definition: gia.h:113
Jf_Par_t_::MapDelayTarget
float MapDelayTarget
Definition: gia.h:304
Jf_Par_t_::Delay
word Delay
Definition: gia.h:297
Jf_Par_t_::Area
word Area
Definition: gia.h:298
Gia_WordHasOnePair
static int Gia_WordHasOnePair(unsigned uWord)
Definition: gia.h:312
Gia_ObjChild1
static Gia_Obj_t * Gia_ObjChild1(Gia_Obj_t *pObj)
Definition: gia.h:458
Gia_ManConst0Lit
static int Gia_ManConst0Lit()
Definition: gia.h:371
Gia_Plc_t_::yCoord
unsigned yCoord
Definition: gia.h:71
Gia_ObjWhatFanin
static int Gia_ObjWhatFanin(Gia_Obj_t *pObj, Gia_Obj_t *pFanin)
Definition: gia.h:473
Gia_ManEquivReduce
Gia_Man_t * Gia_ManEquivReduce(Gia_Man_t *p, int fUseAll, int fDualOut, int fSkipPhase, int fVerbose)
Definition: giaEquiv.c:417
Gia_ManEquivToChoices
Gia_Man_t * Gia_ManEquivToChoices(Gia_Man_t *p, int nSnapshots)
Definition: giaEquiv.c:1629
Jf_Par_t_::fOptEdge
int fOptEdge
Definition: gia.h:278
Gia_Man_t_::vClassNew
Vec_Int_t * vClassNew
Definition: gia.h:180
Gia_Not
static Gia_Obj_t * Gia_Not(Gia_Obj_t *p)
Definition: gia.h:378
Gia_ManCreateMuxRefs
int * Gia_ManCreateMuxRefs(Gia_Man_t *p)
Definition: giaUtil.c:746
Gia_ObjSetRepr
static void Gia_ObjSetRepr(Gia_Man_t *p, int Id, int Num)
Definition: gia.h:888
Vec_IntWriteEntry
static void Vec_IntWriteEntry(Vec_Int_t *p, int i, int Entry)
Definition: bblif.c:285
Gia_ManDupAppendNew
Gia_Man_t * Gia_ManDupAppendNew(Gia_Man_t *pOne, Gia_Man_t *pTwo)
Definition: giaDup.c:783
Gia_MmFixedStop
void Gia_MmFixedStop(Gia_MmFixed_t *p, int fVerbose)
Definition: giaMem.c:132
Gia_ManAppendMux
static int Gia_ManAppendMux(Gia_Man_t *p, int iCtrl, int iData1, int iData0)
Definition: gia.h:722
Gia_ManAndNum
static int Gia_ManAndNum(Gia_Man_t *p)
Definition: gia.h:389
Gia_ManCreateValueRefs
void Gia_ManCreateValueRefs(Gia_Man_t *p)
Definition: giaUtil.c:687
Abc_MinInt
static int Abc_MinInt(int a, int b)
Definition: abc_global.h:239
Gia_ObjLevel
static int Gia_ObjLevel(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:501
Gia_ManUpdateExtraAig2
Gia_Man_t * Gia_ManUpdateExtraAig2(void *pTime, Gia_Man_t *pAig, Vec_Int_t *vBoxesLeft)
Definition: giaTim.c:702
Gia_ObjSibl
static int Gia_ObjSibl(Gia_Man_t *p, int Id)
Definition: gia.h:893
Gia_ManCheckMark1
void Gia_ManCheckMark1(Gia_Man_t *p)
Definition: giaUtil.c:291
Gia_ManPrintCone
void Gia_ManPrintCone(Gia_Man_t *p, Gia_Obj_t *pObj, int *pLeaves, int nLeaves, Vec_Int_t *vNodes)
Definition: giaUtil.c:1368
Abc_LitIsCompl
static int Abc_LitIsCompl(int Lit)
Definition: abc_global.h:265
Gia_ObjRefFanin2Dec
static void Gia_ObjRefFanin2Dec(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:529
Gia_ManCounterExampleValueStop
void Gia_ManCounterExampleValueStop(Gia_Man_t *pGia)
Definition: giaCex.c:242
Gia_ManSpeedup
Gia_Man_t * Gia_ManSpeedup(Gia_Man_t *p, int Percentage, int Degree, int fVerbose, int fVeryVerbose)
Definition: giaSpeedup.c:628
Gia_ManCombMarkUsed
int Gia_ManCombMarkUsed(Gia_Man_t *p)
Definition: giaScl.c:60
Gia_AigerWriteSimple
void Gia_AigerWriteSimple(Gia_Man_t *pInit, char *pFileName)
Definition: giaAiger.c:1361
Gia_ManIdToCioId
static int Gia_ManIdToCioId(Gia_Man_t *p, int Id)
Definition: gia.h:437
Gia_ObjIsMuxId
static int Gia_ObjIsMuxId(Gia_Man_t *p, int iObj)
Definition: gia.h:424
Gia_Man_t_::iData2
int iData2
Definition: gia.h:172
Gia_Obj_t_::fTerm
unsigned fTerm
Definition: gia.h:80
Gia_ManPi
static Gia_Obj_t * Gia_ManPi(Gia_Man_t *p, int v)
Definition: gia.h:405
Gia_ObjSetTimeSlack
static void Gia_ObjSetTimeSlack(Gia_Man_t *p, int Id, float t)
Definition: gia.h:549
Gia_ObjHasNumId
static int Gia_ObjHasNumId(Gia_Man_t *p, int Id)
Definition: gia.h:511
Gia_ObjFanin0
static Gia_Obj_t * Gia_ObjFanin0(Gia_Obj_t *pObj)
Definition: gia.h:454
Gia_AigerReadInt
static int Gia_AigerReadInt(unsigned char *pPos)
Definition: gia.h:827
Gia_ManCheckMark0
void Gia_ManCheckMark0(Gia_Man_t *p)
Definition: giaUtil.c:234
Gia_ManFramesInitSpecial
Gia_Man_t * Gia_ManFramesInitSpecial(Gia_Man_t *pAig, int nFrames, int fVerbose)
Definition: giaFrames.c:941
Gia_ManHashMaj
int Gia_ManHashMaj(Gia_Man_t *p, int iData0, int iData1, int iData2)
Definition: giaHash.c:700
Gia_ManSeqCleanup
Gia_Man_t * Gia_ManSeqCleanup(Gia_Man_t *p)
Definition: giaScl.c:183
Gia_Man_t_::nConstrs
int nConstrs
Definition: gia.h:117
Gia_ManSpecReduceInitFrames
Gia_Man_t * Gia_ManSpecReduceInitFrames(Gia_Man_t *p, Abc_Cex_t *pInit, int nFramesMax, int *pnFrames, int fDualOut, int nMinOutputs)
Definition: giaEquiv.c:1075
Gia_ObjFaninLit1
static int Gia_ObjFaninLit1(Gia_Obj_t *pObj, int ObjId)
Definition: gia.h:467
Gia_Man_t_::vTruths
Vec_Int_t * vTruths
Definition: gia.h:139
Gia_Man_t_::pName
char * pName
Definition: gia.h:97
Gia_ObjLutSize
static int Gia_ObjLutSize(Gia_Man_t *p, int Id)
Definition: gia.h:953
Gia_ManReduceConst
Gia_Man_t * Gia_ManReduceConst(Gia_Man_t *pAig, int fVerbose)
Definition: giaTsim.c:737
Gia_ManSimInfoTransfer
void Gia_ManSimInfoTransfer(Gia_ManSim_t *p)
Definition: giaSim.c:452
Gia_ManDupCof
Gia_Man_t * Gia_ManDupCof(Gia_Man_t *p, int iVar)
Definition: giaCof.c:862
Gia_ManFanoutStop
void Gia_ManFanoutStop(Gia_Man_t *p)
Definition: giaFanout.c:98
Gia_Man_t_::nTravIds
int nTravIds
Definition: gia.h:118
Gia_ParSim_t_::fCheckMiter
int fCheckMiter
Definition: gia.h:245
Gia_AigerWriteIntoMemoryStrPart
Vec_Str_t * Gia_AigerWriteIntoMemoryStrPart(Gia_Man_t *p, Vec_Int_t *vCis, Vec_Int_t *vAnds, Vec_Int_t *vCos, int nRegs)
Definition: giaAiger.c:940
Gia_ObjTimeSlack
static float Gia_ObjTimeSlack(Gia_Man_t *p, int Id)
Definition: gia.h:543
Gia_ManVerifyWithBoxes
int Gia_ManVerifyWithBoxes(Gia_Man_t *pGia, int nBTLimit, int nTimeLim, int fSeq, int fVerbose, char *pFileSpec)
Definition: giaTim.c:859
Gia_ObjFanin1CopyArray
static int Gia_ObjFanin1CopyArray(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:494
Emb_Par_t_::fShowImage
int fShowImage
Definition: gia.h:218
Gia_ManAigSyn2
Gia_Man_t * Gia_ManAigSyn2(Gia_Man_t *p, int fOldAlgo, int fCoarsen, int fCutMin, int nRelaxRatio, int fDelayMin, int fVerbose, int fVeryVerbose)
Definition: giaScript.c:69
Jf_Par_t_
Definition: gia.h:265
Gia_ManLutFaninCount
int Gia_ManLutFaninCount(Gia_Man_t *p)
Definition: giaIf.c:106
Gia_ManBoxNum
int Gia_ManBoxNum(Gia_Man_t *p)
DECLARATIONS ///.
Definition: giaTim.c:49
Gia_Man_t_::iPatsPi
int iPatsPi
Definition: gia.h:176
Gia_ObjSetProved
static void Gia_ObjSetProved(Gia_Man_t *p, int Id)
Definition: gia.h:897
Gia_ManEquivCountLitsAll
int Gia_ManEquivCountLitsAll(Gia_Man_t *p)
Definition: giaEquiv.c:160
Gia_ObjFanin1Copy
static int Gia_ObjFanin1Copy(Gia_Obj_t *pObj)
Definition: gia.h:482
Gia_ObjFlipFaninC0
static void Gia_ObjFlipFaninC0(Gia_Obj_t *pObj)
Definition: gia.h:472
Gia_ObjIsRo
static int Gia_ObjIsRo(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:443
Gia_ObjSetPhase
void Gia_ObjSetPhase(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaUtil.c:346
Gia_ObjCellFanin
static int Gia_ObjCellFanin(Gia_Man_t *p, int iLit, int i)
Definition: gia.h:965
Gia_ManUnrollAndCofactor
Gia_Man_t * Gia_ManUnrollAndCofactor(Gia_Man_t *p, int nFrames, int nFanMax, int fVerbose)
Definition: giaEnable.c:403
Jf_ManSetDefaultPars
void Jf_ManSetDefaultPars(Jf_Par_t *pPars)
Definition: giaJf.c:1679
Gia_ManSwapPos
void Gia_ManSwapPos(Gia_Man_t *p, int i)
Definition: giaUtil.c:1582
Gia_Man_t_::vGateClasses
Vec_Int_t * vGateClasses
Definition: gia.h:141
Gia_ManBalance
Gia_Man_t * Gia_ManBalance(Gia_Man_t *p, int fSimpleAnd, int fVerbose)
Definition: giaBalAig.c:365
Gia_ManDupOrderDfsChoices
Gia_Man_t * Gia_ManDupOrderDfsChoices(Gia_Man_t *p)
Definition: giaDup.c:328
Gia_ManDupNormalize
Gia_Man_t * Gia_ManDupNormalize(Gia_Man_t *p)
Definition: giaTim.c:134
Gia_ParFra_t_::fVerbose
int fVerbose
Definition: gia.h:232
Gia_ObjSetFanout
static void Gia_ObjSetFanout(Gia_Man_t *p, Gia_Obj_t *pObj, int i, Gia_Obj_t *pFan)
Definition: gia.h:944
Gia_ObjRoToRi
static Gia_Obj_t * Gia_ObjRoToRi(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:446
Gia_ManRetimeForward
Gia_Man_t * Gia_ManRetimeForward(Gia_Man_t *p, int nMaxIters, int fVerbose)
Definition: giaRetime.c:267
Gia_ManAppendBuf
static int Gia_ManAppendBuf(Gia_Man_t *p, int iLit)
Definition: gia.h:694
Gia_ManStaticFanoutStop
void Gia_ManStaticFanoutStop(Gia_Man_t *p)
Definition: giaFanout.c:290
Gia_ObjIsRi
static int Gia_ObjIsRi(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:444
Gia_ManSim_t_::pAig
Gia_Man_t * pAig
Definition: gia.h:253
Gia_SweeperSetConflictLimit
void Gia_SweeperSetConflictLimit(Gia_Man_t *p, int nConfMax)
Definition: giaSweeper.c:220
Gia_ManSetMark0
void Gia_ManSetMark0(Gia_Man_t *p)
Definition: giaUtil.c:196
Gia_ParSim_t_
Definition: gia.h:238
Gia_MmStepReadMemUsage
int Gia_MmStepReadMemUsage(Gia_MmStep_t *p)
Definition: giaMem.c:586
Gia_ObjSetAndLevel
static void Gia_ObjSetAndLevel(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:506
Vec_IntEntry
static int Vec_IntEntry(Vec_Int_t *p, int i)
Definition: bblif.c:268
Gia_ObjSetCioId
static void Gia_ObjSetCioId(Gia_Obj_t *pObj, int v)
Definition: gia.h:412
Gia_ObjReprSelf
static int Gia_ObjReprSelf(Gia_Man_t *p, int Id)
Definition: gia.h:892
Gia_ObjCellSize
static int Gia_ObjCellSize(Gia_Man_t *p, int iLit)
Definition: gia.h:963
Gia_ManDupDfs
Gia_Man_t * Gia_ManDupDfs(Gia_Man_t *p)
Definition: giaDup.c:1238
word
unsigned __int64 word
DECLARATIONS ///.
Definition: kitPerm.c:36
Gia_ObjSetTravIdCurrent
static void Gia_ObjSetTravIdCurrent(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:531
Gia_ObjCutSign
static unsigned Gia_ObjCutSign(unsigned ObjId)
Definition: gia.h:310
Gia_ManFront
Gia_Man_t * Gia_ManFront(Gia_Man_t *p)
Definition: giaFront.c:147
Gia_Man_t_::vTtInputs
Vec_Ptr_t * vTtInputs
Definition: gia.h:186
Gia_ManDupWithNewPo
Gia_Man_t * Gia_ManDupWithNewPo(Gia_Man_t *p1, Gia_Man_t *p2)
Definition: giaDup.c:1816
Gia_ObjDiffColors
static int Gia_ObjDiffColors(Gia_Man_t *p, int i, int j)
Definition: gia.h:908
Gia_Man_t_::pData
void * pData
Definition: gia.h:169
Gia_ObjIsConst
static int Gia_ObjIsConst(Gia_Man_t *p, int Id)
Definition: gia.h:915
Gia_ObjCopyArray
static int Gia_ObjCopyArray(Gia_Man_t *p, int iObj)
Definition: gia.h:487
Gia_ObjRefInc
static int Gia_ObjRefInc(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:522
Gia_Man_t_::vDoms
Vec_Int_t * vDoms
Definition: gia.h:145
Gia_ManSim_t_::pDataSimCos
unsigned * pDataSimCos
Definition: gia.h:261
Gia_ManDupSelf
Gia_Man_t * Gia_ManDupSelf(Gia_Man_t *p)
Definition: giaDup.c:890
Gia_ManIsConst0Lit
static int Gia_ManIsConst0Lit(int iLit)
Definition: gia.h:373
Gia_ManPrintPackingStats
void Gia_ManPrintPackingStats(Gia_Man_t *p)
Definition: giaIf.c:553
Gia_ManFrontTest
void Gia_ManFrontTest(Gia_Man_t *p)
Definition: giaFront.c:262
Gia_ManSim_t_::pDataSim
unsigned * pDataSim
Definition: gia.h:259
Gia_ManHashMux
int Gia_ManHashMux(Gia_Man_t *p, int iCtrl, int iData1, int iData0)
Definition: giaHash.c:677
Gia_ObjTimeSlackObj
static float Gia_ObjTimeSlackObj(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:546
Vec_IntFill
static void Vec_IntFill(Vec_Int_t *p, int nSize, int Fill)
Definition: bblif.c:356
For_ManExperiment
void For_ManExperiment(Gia_Man_t *pGia, int nIters, int fClustered, int fVerbose)
Definition: giaForce.c:1039
Gia_ManHashStart
void Gia_ManHashStart(Gia_Man_t *p)
Definition: giaHash.c:117
Gia_Man_t_::pSwitching
unsigned char * pSwitching
Definition: gia.h:147
Gia_Man_t_::pSpec
char * pSpec
Definition: gia.h:98
Gia_ObjIsAndOrConst0
static int Gia_ObjIsAndOrConst0(Gia_Obj_t *pObj)
Definition: gia.h:419
Gia_Man_t_::nHashHit
word nHashHit
Definition: gia.h:167
Gia_ManStaticFanoutStart
void Gia_ManStaticFanoutStart(Gia_Man_t *p)
Definition: giaFanout.c:238
Gia_SweeperProbeCreate
int Gia_SweeperProbeCreate(Gia_Man_t *p, int iLit)
Definition: giaSweeper.c:249
Gia_ManStart
Gia_Man_t * Gia_ManStart(int nObjsMax)
DECLARATIONS ///.
Definition: giaMan.c:52
Gia_ObjFanoutNum
static int Gia_ObjFanoutNum(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:940
Gia_ManDupMuxes
Gia_Man_t * Gia_ManDupMuxes(Gia_Man_t *p, int Limit)
Definition: giaMuxes.c:96
Gia_ManCollectCis
void Gia_ManCollectCis(Gia_Man_t *p, int *pNodes, int nNodes, Vec_Int_t *vSupp)
Definition: giaDfs.c:71
Gia_ManDupOrderDfsReverse
Gia_Man_t * Gia_ManDupOrderDfsReverse(Gia_Man_t *p)
Definition: giaDup.c:363
Gia_Man_t_::vCiNumsOrig
Vec_Int_t * vCiNumsOrig
Definition: gia.h:160
Gia_ManCheckCoPhase
int Gia_ManCheckCoPhase(Gia_Man_t *p)
Definition: giaUtil.c:450
Gia_ObjIsXor
static int Gia_ObjIsXor(Gia_Obj_t *pObj)
Definition: gia.h:423
Gia_ManSeqStructSweep
Gia_Man_t * Gia_ManSeqStructSweep(Gia_Man_t *p, int fConst, int fEquiv, int fVerbose)
Definition: giaScl.c:258
Gia_ManDupCofAll
Gia_Man_t * Gia_ManDupCofAll(Gia_Man_t *p, int nFanLim, int fVerbose)
Definition: giaCof.c:987
Gia_ParSim_t_::nIters
int nIters
Definition: gia.h:242
Gia_ObjLutIsMux
static int Gia_ObjLutIsMux(Gia_Man_t *p, int Id)
Definition: gia.h:957
Gia_ObjLutFanins
static int * Gia_ObjLutFanins(Gia_Man_t *p, int Id)
Definition: gia.h:954
Gia_ManDupTopAnd
Gia_Man_t * Gia_ManDupTopAnd(Gia_Man_t *p, int fVerbose)
Definition: giaDup.c:2075
Gia_ObjTimeRequired
static float Gia_ObjTimeRequired(Gia_Man_t *p, int Id)
Definition: gia.h:542
Gia_ManHashXorReal
int Gia_ManHashXorReal(Gia_Man_t *p, int iLit0, int iLit1)
Definition: giaHash.c:465
Gia_ManRehash
Gia_Man_t * Gia_ManRehash(Gia_Man_t *p, int fAddStrash)
Definition: giaHash.c:719
Gia_ManConvertAigToTruth
unsigned * Gia_ManConvertAigToTruth(Gia_Man_t *p, Gia_Obj_t *pRoot, Vec_Int_t *vLeaves, Vec_Int_t *vTruth, Vec_Int_t *vVisited)
Definition: giaBidec.c:90
Vec_IntPush
static void Vec_IntPush(Vec_Int_t *p, int Entry)
Definition: bblif.c:468
Gia_Obj_t_::fCompl1
unsigned fCompl1
Definition: gia.h:83
Gia_Man_t_::vOutReqs
Vec_Flt_t * vOutReqs
Definition: gia.h:151
Gps_Par_t_::fTents
int fTents
Definition: gia.h:197
Gia_ManDupWithAttributes
Gia_Man_t * Gia_ManDupWithAttributes(Gia_Man_t *p)
Definition: giaDup.c:583
Gia_ManBoxCiNum
int Gia_ManBoxCiNum(Gia_Man_t *p)
Definition: giaTim.c:61
Gia_Man_t_::pManTime
void * pManTime
Definition: gia.h:165
Gia_ManFilterEquivsUsingLatches
void Gia_ManFilterEquivsUsingLatches(Gia_Man_t *pGia, int fFlopsOnly, int fFlopsWith, int fUseRiDrivers)
Definition: giaEquiv.c:2147
Gia_ObjId
static int Gia_ObjId(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:410
Gia_ManCleanLevels
void Gia_ManCleanLevels(Gia_Man_t *p, int Size)
Definition: giaUtil.c:470
Counter
static int Counter
Definition: extraBddMisc.c:1877
Gia_Man_t_::pFanData
int * pFanData
Definition: gia.h:127
Gia_ManTimeStop
static void Gia_ManTimeStop(Gia_Man_t *p)
Definition: gia.h:540
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
Gia_ManFillValue
void Gia_ManFillValue(Gia_Man_t *p)
Definition: giaUtil.c:328
Gia_ManXorNum
static int Gia_ManXorNum(Gia_Man_t *p)
Definition: gia.h:390
Gia_ObjPrint
void Gia_ObjPrint(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaUtil.c:1258
Gia_ManTransferTiming
void Gia_ManTransferTiming(Gia_Man_t *p, Gia_Man_t *pGia)
Definition: giaIf.c:1912
Gia_ManCandNum
static int Gia_ManCandNum(Gia_Man_t *p)
Definition: gia.h:394
Gia_ManBoxCoNum
int Gia_ManBoxCoNum(Gia_Man_t *p)
Definition: giaTim.c:65
Gia_ManDupDfsNode
Gia_Man_t * Gia_ManDupDfsNode(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaDup.c:1528
Gia_ObjTerSimGet0
static int Gia_ObjTerSimGet0(Gia_Obj_t *pObj)
Definition: gia.h:775
Gia_ManTruthFill
static void Gia_ManTruthFill(unsigned *pOut, int nVars)
Definition: gia.h:358
Emb_Par_t_::fRefine
int fRefine
Definition: gia.h:214
Gia_ManConeSize
int Gia_ManConeSize(Gia_Man_t *p, int *pNodes, int nNodes)
Definition: giaDfs.c:351
Tas_ReadModel
Vec_Int_t * Tas_ReadModel(Tas_Man_t *p)
Definition: giaCTas.c:250
Gia_ManLutSizeMax
int Gia_ManLutSizeMax(Gia_Man_t *p)
Definition: giaIf.c:125
Jf_Par_t_::nProcNumMax
int nProcNumMax
Definition: gia.h:295
Gia_ManTruthNot
static void Gia_ManTruthNot(unsigned *pOut, unsigned *pIn, int nVars)
Definition: gia.h:364
Gia_ObjIsCellInv
static int Gia_ObjIsCellInv(Gia_Man_t *p, int iLit)
Definition: gia.h:961
Gia_ManFilterEquivsUsingParts
int Gia_ManFilterEquivsUsingParts(Gia_Man_t *pGia, char *pName1, char *pName2)
Definition: giaEquiv.c:1999
Gia_ManMappingVerify
void Gia_ManMappingVerify(Gia_Man_t *p)
Definition: giaIf.c:1807
Gia_ManConst1Lit
static int Gia_ManConst1Lit()
Definition: gia.h:372
Gps_Par_t_::fNpn
int fNpn
Definition: gia.h:200
Gia_ManCoIdToId
static int Gia_ManCoIdToId(Gia_Man_t *p, int CoId)
Definition: gia.h:439
Gia_ManCountChoices
int Gia_ManCountChoices(Gia_Man_t *p)
Definition: giaEquiv.c:1708
Gia_Man_t_::vCellMapping
Vec_Int_t * vCellMapping
Definition: gia.h:132
Gia_ManRandomW
word Gia_ManRandomW(int fReset)
Definition: giaUtil.c:62
Gia_ManChoiceMiter
Gia_Man_t * Gia_ManChoiceMiter(Vec_Ptr_t *vGias)
Definition: giaDup.c:2574
Gia_ObjFanoutId
static int Gia_ObjFanoutId(Gia_Man_t *p, int Id, int i)
Definition: gia.h:941
Gia_ObjNextObj
static Gia_Obj_t * Gia_ObjNextObj(Gia_Man_t *p, int Id)
Definition: gia.h:911
Gia_ManLevelize
Vec_Vec_t * Gia_ManLevelize(Gia_Man_t *p)
Definition: giaDfs.c:379
Gia_SweeperCheckEquiv
int Gia_SweeperCheckEquiv(Gia_Man_t *p, int ProbeId1, int ProbeId2)
Definition: giaSweeper.c:789
Gia_FileNameGenericAppend
char * Gia_FileNameGenericAppend(char *pBase, char *pSuffix)
Definition: giaUtil.c:125
Gia_ManReportImprovement
void Gia_ManReportImprovement(Gia_Man_t *p, Gia_Man_t *pNew)
Definition: giaMan.c:646
Gia_Man_t_::nTtVars
int nTtVars
Definition: gia.h:182
Gia_ManSetPhase1
void Gia_ManSetPhase1(Gia_Man_t *p)
Definition: giaUtil.c:409
Gia_ObjSetReprRev
static void Gia_ObjSetReprRev(Gia_Man_t *p, int Id, int Num)
Definition: gia.h:889
Gia_ManDeriveNexts
int * Gia_ManDeriveNexts(Gia_Man_t *p)
Definition: giaEquiv.c:97
Gia_ObjLitCopy
static int Gia_ObjLitCopy(Gia_Man_t *p, int iLit)
Definition: gia.h:479
pPerm
static int pPerm[13719]
Definition: rwrTemp.c:32
Gia_ObjDiff0
static int Gia_ObjDiff0(Gia_Obj_t *pObj)
Definition: gia.h:449
Gia_AigerWrite
void Gia_AigerWrite(Gia_Man_t *p, char *pFileName, int fWriteSymbols, int fCompact)
Definition: giaAiger.c:1024
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106
Gia_ManRequiredLevel
Vec_Int_t * Gia_ManRequiredLevel(Gia_Man_t *p)
Definition: giaUtil.c:639
Gia_Man_t_::vSeqModelVec
Vec_Ptr_t * vSeqModelVec
Definition: gia.h:137
Gia_SweeperProbeUpdate
int Gia_SweeperProbeUpdate(Gia_Man_t *p, int ProbeId, int iLitNew)
Definition: giaSweeper.c:267
Gia_ManFanoutStart
void Gia_ManFanoutStart(Gia_Man_t *p)
FUNCTION DEFINITIONS ///.
Definition: giaFanout.c:66
Gia_Man_t_::vNamesOut
Vec_Ptr_t * vNamesOut
Definition: gia.h:156
Gia_ManPrintNpnClasses
void Gia_ManPrintNpnClasses(Gia_Man_t *p)
Definition: giaMan.c:668
Gia_ManPrintMuxStats
void Gia_ManPrintMuxStats(Gia_Man_t *p)
Definition: giaMuxes.c:61
Gia_Plc_t_::fUndef
unsigned fUndef
Definition: gia.h:70
Gia_ManCexExtendToIncludeCurrentStates
Abc_Cex_t * Gia_ManCexExtendToIncludeCurrentStates(Gia_Man_t *p, Abc_Cex_t *pCex)
Definition: giaCex.c:302
Gia_ManFraigSweepSimple
Gia_Man_t * Gia_ManFraigSweepSimple(Gia_Man_t *p, void *pPars)
Definition: giaSweep.c:556
Gia_ObjFanin0Copy
static int Gia_ObjFanin0Copy(Gia_Obj_t *pObj)
Definition: gia.h:481
Gia_ManUnrollDup
Gia_Man_t * Gia_ManUnrollDup(Gia_Man_t *p, Vec_Int_t *vLimit)
Definition: giaFrames.c:107
Gia_MmFixedEntryFetch
char * Gia_MmFixedEntryFetch(Gia_MmFixed_t *p)
Definition: giaMem.c:161
Gia_ManPerformLfMapping
Gia_Man_t * Gia_ManPerformLfMapping(Gia_Man_t *p, Jf_Par_t *pPars, int fNormalized)
Definition: giaLf.c:2243
Gia_ObjComputeTruthTable6Lut
word Gia_ObjComputeTruthTable6Lut(Gia_Man_t *p, int iObj, Vec_Wrd_t *vTemp)
Definition: giaTruth.c:76
Gia_MmStepEntryRecycle
void Gia_MmStepEntryRecycle(Gia_MmStep_t *p, char *pEntry, int nBytes)
Definition: giaMem.c:563
Gia_ObjCopy
static Gia_Obj_t * Gia_ObjCopy(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:478
Gia_Man_t_::vUserPiIds
Vec_Int_t * vUserPiIds
Definition: gia.h:157
Gia_ObjFanin2
static Gia_Obj_t * Gia_ObjFanin2(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:456
Gia_Man_t_::nAnd2Delay
int nAnd2Delay
Definition: gia.h:173
Gia_ManEquivCountClasses
int Gia_ManEquivCountClasses(Gia_Man_t *p)
Definition: giaEquiv.c:179
Gia_ManDupAppendShare
void Gia_ManDupAppendShare(Gia_Man_t *p, Gia_Man_t *pTwo)
Definition: giaDup.c:765
Gia_ObjColors
static int Gia_ObjColors(Gia_Man_t *p, int Id)
Definition: gia.h:904
Gia_ObjIsTravIdCurrentId
static int Gia_ObjIsTravIdCurrentId(Gia_Man_t *p, int Id)
Definition: gia.h:536
Gia_ObjIsCo
static int Gia_ObjIsCo(Gia_Obj_t *pObj)
Definition: gia.h:421
Gia_ObjNext
static int Gia_ObjNext(Gia_Man_t *p, int Id)
Definition: gia.h:912
Gia_ObjSetNext
static void Gia_ObjSetNext(Gia_Man_t *p, int Id, int Num)
Definition: gia.h:913
Gia_MmStepStart
Gia_MmStep_t * Gia_MmStepStart(int nSteps)
Definition: giaMem.c:468
Gia_ManNonRegBoxNum
int Gia_ManNonRegBoxNum(Gia_Man_t *p)
Definition: giaTim.c:57
Gia_DumpAiger
void Gia_DumpAiger(Gia_Man_t *p, char *pFilePrefix, int iFileNum, int nFileNumDigits)
Definition: giaAiger.c:1343
Jf_Par_t_::fDoAverage
int fDoAverage
Definition: gia.h:288
Gia_Man_t_::vCis
Vec_Int_t * vCis
Definition: gia.h:108
Gia_ManDupDfsCiMap
Gia_Man_t * Gia_ManDupDfsCiMap(Gia_Man_t *p, int *pCi2Lit, Vec_Int_t *vLits)
Definition: giaDup.c:1890
Gia_ObjRefDec
static int Gia_ObjRefDec(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:523
Gia_ManSim_t_::pPars
Gia_ParSim_t * pPars
Definition: gia.h:254
Gia_ManAppendAnd2
static int Gia_ManAppendAnd2(Gia_Man_t *p, int iLit0, int iLit1)
Definition: gia.h:627
Gia_ObjReprObj
static Gia_Obj_t * Gia_ObjReprObj(Gia_Man_t *p, int Id)
Definition: gia.h:886
Gia_ObjSetTimeArrival
static void Gia_ObjSetTimeArrival(Gia_Man_t *p, int Id, float t)
Definition: gia.h:547
Gps_Par_t_::fMuxXor
int fMuxXor
Definition: gia.h:202
Gia_ObjSetColors
static void Gia_ObjSetColors(Gia_Man_t *p, int Id)
Definition: gia.h:906
Gia_ManDupCollapse
Gia_Man_t * Gia_ManDupCollapse(Gia_Man_t *p, Gia_Man_t *pBoxes, Vec_Int_t *vBoxPres, int fSeq)
Definition: giaTim.c:748
Gia_ObjIsMuxType
int Gia_ObjIsMuxType(Gia_Obj_t *pNode)
Definition: giaUtil.c:885
Gia_ManPrintStatsMiter
void Gia_ManPrintStatsMiter(Gia_Man_t *p, int fVerbose)
Definition: giaMan.c:594
Gia_ObjSetTimeRequiredObj
static void Gia_ObjSetTimeRequiredObj(Gia_Man_t *p, Gia_Obj_t *pObj, float t)
Definition: gia.h:551
Gia_Man_t_::nHTable
int nHTable
Definition: gia.h:111
Gia_ManCiNum
static int Gia_ManCiNum(Gia_Man_t *p)
Definition: gia.h:383
Gia_ManAppendObj
static Gia_Obj_t * Gia_ManAppendObj(Gia_Man_t *p)
Definition: gia.h:561
Gia_ManPrint
void Gia_ManPrint(Gia_Man_t *p)
Definition: giaUtil.c:1329
Gia_ManFilterEquivsForSpeculation
int Gia_ManFilterEquivsForSpeculation(Gia_Man_t *pGia, char *pName1, char *pName2, int fLatchA, int fLatchB)
Definition: giaEquiv.c:1862
Abc_LitNot
static int Abc_LitNot(int Lit)
Definition: abc_global.h:266
Gia_ObjIsTail
static int Gia_ObjIsTail(Gia_Man_t *p, int Id)
Definition: gia.h:918
Gia_ObjLutFanin
static int Gia_ObjLutFanin(Gia_Man_t *p, int Id, int i)
Definition: gia.h:955
Gia_ObjSetNumId
static void Gia_ObjSetNumId(Gia_Man_t *p, int Id, int n)
Definition: gia.h:514
Gia_ObjHasSameRepr
static int Gia_ObjHasSameRepr(Gia_Man_t *p, int i, int k)
Definition: gia.h:920
Jf_Par_t_::nRounds
int nRounds
Definition: gia.h:270
Gia_Man_t_::vClockDoms
Vec_Vec_t * vClockDoms
Definition: gia.h:163
Gia_ObjRefFanin0Dec
static void Gia_ObjRefFanin0Dec(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:527
Gia_Obj_t_::fPhase
unsigned fPhase
Definition: gia.h:85
GIA_VOID
#define GIA_VOID
Definition: gia.h:45
Gia_ObjSetCopyArray
static void Gia_ObjSetCopyArray(Gia_Man_t *p, int iObj, int iLit)
Definition: gia.h:488
Gia_ManCo
static Gia_Obj_t * Gia_ManCo(Gia_Man_t *p, int v)
Definition: gia.h:404
Gia_ManTruthIsConst1
static int Gia_ManTruthIsConst1(unsigned *pIn, int nVars)
Definition: gia.h:338
Gia_ObjTerSimGet1
static int Gia_ObjTerSimGet1(Gia_Obj_t *pObj)
Definition: gia.h:776
Gia_ManDupCofactorVar
Gia_Man_t * Gia_ManDupCofactorVar(Gia_Man_t *p, int iVar, int Value)
Definition: giaDup.c:1281
Vec_IntSize
static int Vec_IntSize(Vec_Int_t *p)
Definition: bblif.c:252
Gia_ManSim_t_
Definition: gia.h:251
Gia_SweeperPrintStats
void Gia_SweeperPrintStats(Gia_Man_t *p)
Definition: giaSweeper.c:181
Gia_Man_t_::iData
int iData
Definition: gia.h:171
Gia_ObjFanout
static Gia_Obj_t * Gia_ObjFanout(Gia_Man_t *p, Gia_Obj_t *pObj, int i)
Definition: gia.h:943
Gia_Man_t_::nRegs
int nRegs
Definition: gia.h:99
Gia_ObjSimObj
static word * Gia_ObjSimObj(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:557
Gia_ManHasMapping
static int Gia_ManHasMapping(Gia_Man_t *p)
Definition: gia.h:951
Gia_IsComplement
static int Gia_IsComplement(Gia_Obj_t *p)
Definition: gia.h:380
Gia_ManPrintMiterStatus
void Gia_ManPrintMiterStatus(Gia_Man_t *p)
Definition: giaMan.c:543
Gia_ManHashLookup
int Gia_ManHashLookup(Gia_Man_t *p, Gia_Obj_t *p0, Gia_Obj_t *p1)
Definition: giaHash.c:79
Gia_ObjFanoutNumId
static int Gia_ObjFanoutNumId(Gia_Man_t *p, int Id)
Definition: gia.h:939
Gia_Man_t_::vCofVars
Vec_Int_t * vCofVars
Definition: gia.h:162
Gia_MmFlexReadMemUsage
int Gia_MmFlexReadMemUsage(Gia_MmFlex_t *p)
Definition: giaMem.c:439
Vec_Str_t_
Definition: bblif.c:47
Gia_MmFixedRestart
void Gia_MmFixedRestart(Gia_MmFixed_t *p)
Definition: giaMem.c:232
Gia_ObjSetCoLevel
static void Gia_ObjSetCoLevel(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:504
Gia_ManDupLastPis
Gia_Man_t * Gia_ManDupLastPis(Gia_Man_t *p, int nLastPis)
Definition: giaDup.c:429
Gia_Obj_t_::fMark0
unsigned fMark0
Definition: gia.h:79
Gia_ObjTerSimGet1Fanin1
static int Gia_ObjTerSimGet1Fanin1(Gia_Obj_t *pObj)
Definition: gia.h:783
Gia_ManDupSliced
Gia_Man_t * Gia_ManDupSliced(Gia_Man_t *p, int nSuppMax)
Definition: giaDup.c:2888
Gia_ManTestDistance
void Gia_ManTestDistance(Gia_Man_t *p)
Definition: giaEmbed.c:904
Gia_ObjVisitColor
static int Gia_ObjVisitColor(Gia_Man_t *p, int Id, int c)
Definition: gia.h:907
Gia_ManDupFlip
Gia_Man_t * Gia_ManDupFlip(Gia_Man_t *p, int *pInitState)
Definition: giaDup.c:460
Gia_ManUpdateTimMan2
void * Gia_ManUpdateTimMan2(Gia_Man_t *p, Vec_Int_t *vBoxesLeft, int nTermsDiff)
Definition: giaTim.c:664
Gia_ManCleanupOutputs
Gia_Man_t * Gia_ManCleanupOutputs(Gia_Man_t *p, int nOutputs)
Definition: giaScl.c:101
Gia_ManPerformSopBalance
Gia_Man_t * Gia_ManPerformSopBalance(Gia_Man_t *p, int nCutNum, int nRelaxRatio, int fVerbose)
Definition: giaIf.c:2031
Gia_ObjRiToRo
static Gia_Obj_t * Gia_ObjRiToRo(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:447
Gia_Man_t_::vTtNodes
Vec_Int_t * vTtNodes
Definition: gia.h:185
Gia_ObjRecognizeMux
Gia_Obj_t * Gia_ObjRecognizeMux(Gia_Obj_t *pNode, Gia_Obj_t **ppNodeT, Gia_Obj_t **ppNodeE)
Definition: giaUtil.c:959
Gia_Plc_t_::xCoord
unsigned xCoord
Definition: gia.h:69
Gia_Man_t_
Definition: gia.h:95
Gia_ManIsNormalized
int Gia_ManIsNormalized(Gia_Man_t *p)
Definition: giaTim.c:109
Gia_ManCollectAnds
void Gia_ManCollectAnds(Gia_Man_t *p, int *pNodes, int nNodes, Vec_Int_t *vNodes)
Definition: giaDfs.c:123
Gia_SweeperExtractUserLogic
Gia_Man_t * Gia_SweeperExtractUserLogic(Gia_Man_t *p, Vec_Int_t *vProbeIds, Vec_Ptr_t *vInNames, Vec_Ptr_t *vOutNames)
Definition: giaSweeper.c:358
Gia_SatVerifyPattern
void Gia_SatVerifyPattern(Gia_Man_t *p, Gia_Obj_t *pRoot, Vec_Int_t *vCex, Vec_Int_t *vVisit)
Definition: giaPat.c:93
Gia_ManBufNum
static int Gia_ManBufNum(Gia_Man_t *p)
Definition: gia.h:392
Jf_Par_t_::fPureAig
int fPureAig
Definition: gia.h:287
Gia_ObjIsCell
static int Gia_ObjIsCell(Gia_Man_t *p, int iLit)
Definition: gia.h:960
Gia_ObjIsAnd
static int Gia_ObjIsAnd(Gia_Obj_t *pObj)
Definition: gia.h:422
Gia_ManTimeStart
static void Gia_ManTimeStart(Gia_Man_t *p)
Definition: gia.h:539
Gia_ManHashAndMulti
int Gia_ManHashAndMulti(Gia_Man_t *p, Vec_Int_t *vLits)
Definition: giaHash.c:763
Gps_Par_t_::fSwitch
int fSwitch
Definition: gia.h:198
Gia_ManDupAppend
void Gia_ManDupAppend(Gia_Man_t *p, Gia_Man_t *pTwo)
Definition: giaDup.c:746
Gia_MmFlexEntryFetch
char * Gia_MmFlexEntryFetch(Gia_MmFlex_t *p, int nBytes)
Definition: giaMem.c:366
Jf_Par_t_::fCutMin
int fCutMin
Definition: gia.h:282
Gia_ManUnrollLastLit
int Gia_ManUnrollLastLit(void *pMan)
Definition: giaFrames.c:490
Gia_ManConst0
static Gia_Obj_t * Gia_ManConst0(Gia_Man_t *p)
Definition: gia.h:400
Gia_ObjIsNone
static int Gia_ObjIsNone(Gia_Man_t *p, int Id)
Definition: gia.h:917
Gia_ObjNumId
static int Gia_ObjNumId(Gia_Man_t *p, int Id)
Definition: gia.h:512
GIA_NONE
#define GIA_NONE
INCLUDES ///.
Definition: gia.h:44
Gps_Par_t_::fSkipMap
int fSkipMap
Definition: gia.h:204
Gia_MmFixedReadMemUsage
int Gia_MmFixedReadMemUsage(Gia_MmFixed_t *p)
Definition: giaMem.c:271
Gia_Man_t_::nTerLoop
int nTerLoop
Definition: gia.h:125
Gia_ObjTerSimSetC
static void Gia_ObjTerSimSetC(Gia_Obj_t *pObj)
Definition: gia.h:769
Gia_ObjSetMuxLevel
static void Gia_ObjSetMuxLevel(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:508
Gia_ManAppendMaj
static int Gia_ManAppendMaj(Gia_Man_t *p, int iData0, int iData1, int iData2)
Definition: gia.h:728
Gia_ManDupCycled
Gia_Man_t * Gia_ManDupCycled(Gia_Man_t *pAig, Abc_Cex_t *pCex, int nFrames)
Definition: giaDup.c:523
Gia_ManHashProfile
void Gia_ManHashProfile(Gia_Man_t *p)
Definition: giaHash.c:203
Gia_MmFlexStart
Gia_MmFlex_t * Gia_MmFlexStart()
Definition: giaMem.c:305
Gia_Man_t_::pPlacement
Gia_Plc_t * pPlacement
Definition: gia.h:148
Gia_ManUnrollStop
void Gia_ManUnrollStop(void *pMan)
Definition: giaFrames.c:310
Gia_ObjTerSimSet1
static void Gia_ObjTerSimSet1(Gia_Obj_t *pObj)
Definition: gia.h:771
Gia_ManDupDfsCone
Gia_Man_t * Gia_ManDupDfsCone(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: giaDup.c:1484
Gps_Par_t_::fMiter
int fMiter
Definition: gia.h:203
Gia_ManSimSetDefaultParams
void Gia_ManSimSetDefaultParams(Gia_ParSim_t *p)
Definition: giaSim.c:164
Gia_ManDupTimes
Gia_Man_t * Gia_ManDupTimes(Gia_Man_t *p, int nTimes)
Definition: giaDup.c:1078
Abc_Lit2Var
static int Abc_Lit2Var(int Lit)
Definition: abc_global.h:264
Gia_ManPrintOutputProb
Vec_Flt_t * Gia_ManPrintOutputProb(Gia_Man_t *p)
Definition: giaSwitch.c:813
Gia_ManTransferPacking
void Gia_ManTransferPacking(Gia_Man_t *p, Gia_Man_t *pGia)
Definition: giaIf.c:1878
Gia_ManIsConst1Lit
static int Gia_ManIsConst1Lit(int iLit)
Definition: gia.h:374
Gia_Man_t_::vCoNumsOrig
Vec_Int_t * vCoNumsOrig
Definition: gia.h:161
Gia_ParFra_t_::fInit
int fInit
Definition: gia.h:228
Gia_ObjFaninId0p
static int Gia_ObjFaninId0p(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:463
Gia_Man_t_::nTravIdsAlloc
int nTravIdsAlloc
Definition: gia.h:154
Gia_ObjSetXorLevel
static void Gia_ObjSetXorLevel(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:507
Gia_ObjCellFanins
static int * Gia_ObjCellFanins(Gia_Man_t *p, int iLit)
Definition: gia.h:964
Vec_Flt_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Flt_t_ Vec_Flt_t
INCLUDES ///.
Definition: vecFlt.h:42
Gia_ManSimInfoInit
void Gia_ManSimInfoInit(Gia_ManSim_t *p)
Definition: giaSim.c:429
Gia_ClassUndoPair
static void Gia_ClassUndoPair(Gia_Man_t *p, int i)
Definition: gia.h:923
Gia_ObjIsPo
static int Gia_ObjIsPo(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:442
Gia_ObjFaninId2p
static int Gia_ObjFaninId2p(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:465
Gia_ObjFanin1
static Gia_Obj_t * Gia_ObjFanin1(Gia_Obj_t *pObj)
Definition: gia.h:455
Gia_MmFixedEntryRecycle
void Gia_MmFixedEntryRecycle(Gia_MmFixed_t *p, char *pEntry)
Definition: giaMem.c:212
Gia_ManDupDfsSkip
Gia_Man_t * Gia_ManDupDfsSkip(Gia_Man_t *p)
Definition: giaDup.c:1454
Gia_ObjFailed
static int Gia_ObjFailed(Gia_Man_t *p, int Id)
Definition: gia.h:900
Gia_ManWriteMiniAig
void Gia_ManWriteMiniAig(Gia_Man_t *pGia, char *pFileName)
Definition: giaMini.c:176
Jf_Par_t_::fFuncDsd
int fFuncDsd
Definition: gia.h:283
Gia_Man_t_::nRegsAlloc
int nRegsAlloc
Definition: gia.h:100
Emb_Par_t_::fCluster
int fCluster
Definition: gia.h:215
Gia_Man_t_::fVerbose
int fVerbose
Definition: gia.h:174
Gia_Rpr_t_::fFailed
unsigned fFailed
Definition: gia.h:60
Gia_ManCollectPoIds
Vec_Int_t * Gia_ManCollectPoIds(Gia_Man_t *p)
Definition: giaUtil.c:863
Gia_Man_t_::vTtMemory
Vec_Wrd_t * vTtMemory
Definition: gia.h:187
ABC_INFINITY
#define ABC_INFINITY
MACRO DEFINITIONS ///.
Definition: abc_global.h:216
Gia_ObjTimeArrival
static float Gia_ObjTimeArrival(Gia_Man_t *p, int Id)
Definition: gia.h:541
Gia_ManLutLevelWithBoxes
int Gia_ManLutLevelWithBoxes(Gia_Man_t *p)
Definition: giaTim.c:572
Gia_ManCounterExampleValueStart
void Gia_ManCounterExampleValueStart(Gia_Man_t *pGia, Abc_Cex_t *pCex)
Definition: giaCex.c:184
Gia_ObjProved
static int Gia_ObjProved(Gia_Man_t *p, int Id)
Definition: gia.h:896
Gia_ManTransferMapping
void Gia_ManTransferMapping(Gia_Man_t *p, Gia_Man_t *pGia)
Definition: giaIf.c:1855
Gia_MmFixed_t_
DECLARATIONS ///.
Definition: giaMem.c:30
Gia_NodeMffcSize
int Gia_NodeMffcSize(Gia_Man_t *p, Gia_Obj_t *pNode)
Definition: giaUtil.c:1132
Gia_Man_t_::pReprs
Gia_Rpr_t * pReprs
Definition: gia.h:121
Gia_SortFloats
int * Gia_SortFloats(float *pArray, int *pPerm, int nSize)
Definition: giaSort.c:251
Jf_Par_t_::fGenCnf
int fGenCnf
Definition: gia.h:284
Gia_AigerWriteUnsignedFile
static void Gia_AigerWriteUnsignedFile(FILE *pFile, unsigned x)
Definition: gia.h:860
assert
#define assert(ex)
Definition: util_old.h:213
Vec_IntEntryP
static int * Vec_IntEntryP(Vec_Int_t *p, int i)
Definition: vecInt.h:417
Gia_SweeperFraig
int Gia_SweeperFraig(Gia_Man_t *p, Vec_Int_t *vProbeIds, char *pCommLime, int nWords, int nConfs, int fVerify, int fVerbose)
Definition: giaSweeper.c:1064
Gia_ObjSim
static word * Gia_ObjSim(Gia_Man_t *p, int Id)
Definition: gia.h:556
Gia_ManMemory
double Gia_ManMemory(Gia_Man_t *p)
Definition: giaMan.c:156
Gia_ManSetPhase
void Gia_ManSetPhase(Gia_Man_t *p)
Definition: giaUtil.c:379
Gia_ManLevelNum
int Gia_ManLevelNum(Gia_Man_t *p)
Definition: giaUtil.c:505
Gia_ManEquivSetColors
int Gia_ManEquivSetColors(Gia_Man_t *p, int fVerbose)
Definition: giaEquiv.c:692
Gia_ObjFaninId2
static int Gia_ObjFaninId2(Gia_Man_t *p, int ObjId)
Definition: gia.h:462
Gia_ObjFanin0CopyArray
static int Gia_ObjFanin0CopyArray(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:493
Gia_Obj_t_::Value
unsigned Value
Definition: gia.h:87
Gia_ManHashMuxReal
int Gia_ManHashMuxReal(Gia_Man_t *p, int iLitC, int iLit1, int iLit0)
Definition: giaHash.c:517
Gia_ObjResetNumId
static void Gia_ObjResetNumId(Gia_Man_t *p, int Id)
Definition: gia.h:516
Gia_ObjSetNum
static void Gia_ObjSetNum(Gia_Man_t *p, Gia_Obj_t *pObj, int n)
Definition: gia.h:515
Gia_Plc_t_
Definition: gia.h:66
Gia_ObjIsFailedPair
static int Gia_ObjIsFailedPair(Gia_Man_t *p, int i, int k)
Definition: gia.h:921
Gia_AigerReadUnsigned
static unsigned Gia_AigerReadUnsigned(unsigned char **ppPos)
Definition: gia.h:840
Abc_Cex_t
typedefABC_NAMESPACE_HEADER_START struct Abc_Cex_t_ Abc_Cex_t
INCLUDES ///.
Definition: utilCex.h:39
Vec_FltEntry
static float Vec_FltEntry(Vec_Flt_t *p, int i)
Definition: vecFlt.h:342
Gia_Man_t_::vLevels
Vec_Int_t * vLevels
Definition: gia.h:115
Tas_ManSolve
int Tas_ManSolve(Tas_Man_t *p, Gia_Obj_t *pObj, Gia_Obj_t *pObj2)
Definition: giaCTas.c:1366
Gia_ObjIsLut
static int Gia_ObjIsLut(Gia_Man_t *p, int Id)
Definition: gia.h:952
Gia_Lit2Obj
static Gia_Obj_t * Gia_Lit2Obj(Gia_Man_t *p, int iLit)
Definition: gia.h:434
Gia_Obj_t_::fCompl0
unsigned fCompl0
Definition: gia.h:78
Gia_Rpr_t_::fProved
unsigned fProved
Definition: gia.h:59
Gia_SweeperCondPop
int Gia_SweeperCondPop(Gia_Man_t *p)
Definition: giaSweeper.c:324
Jf_Par_t_::nLutSizeMax
int nLutSizeMax
Definition: gia.h:293
Gia_ManHashAlloc
void Gia_ManHashAlloc(Gia_Man_t *p)
Definition: giaHash.c:99
Gia_ManPrintLutStats
void Gia_ManPrintLutStats(Gia_Man_t *p)
Definition: giaIf.c:613
Tas_ManSatPrintStats
void Tas_ManSatPrintStats(Tas_Man_t *p)
Definition: giaCTas.c:1487
Gia_SweeperCondVector
Vec_Int_t * Gia_SweeperCondVector(Gia_Man_t *p)
Definition: giaSweeper.c:329
Gia_Obj_t_::iDiff1
unsigned iDiff1
Definition: gia.h:82
Gia_Man_t_::vNamesIn
Vec_Ptr_t * vNamesIn
Definition: gia.h:155
Gia_ManIncrementTravId
void Gia_ManIncrementTravId(Gia_Man_t *p)
Definition: giaUtil.c:149
Gia_ParSim_t_::iOutFail
int iOutFail
Definition: gia.h:247
Gia_ManSweepWithBoxes
Gia_Man_t * Gia_ManSweepWithBoxes(Gia_Man_t *p, void *pParsC, void *pParsS, int fConst, int fEquiv, int fVerbose)
Definition: giaSweep.c:683
Gia_ManAreaBalance
Gia_Man_t * Gia_ManAreaBalance(Gia_Man_t *p, int fSimpleAnd, int nNewNodesMax, int fVerbose, int fVeryVerbose)
Definition: giaBalAig.c:968
Gia_ManDupSelectedOutputs
Gia_Man_t * Gia_ManDupSelectedOutputs(Gia_Man_t *p, Vec_Int_t *vOutsLeft)
Definition: giaDup.c:266
Gia_Man_t_::fAddStrash
int fAddStrash
Definition: gia.h:112
Gia_ManHasCellMapping
static int Gia_ManHasCellMapping(Gia_Man_t *p)
Definition: gia.h:959
Gia_AigerWriteUnsignedBuffer
static int Gia_AigerWriteUnsignedBuffer(unsigned char *pBuffer, int Pos, unsigned x)
Definition: gia.h:872
Gia_SweeperCondPush
void Gia_SweeperCondPush(Gia_Man_t *p, int ProbeId)
Definition: giaSweeper.c:319
Gia_ManFraSetDefaultParams
void Gia_ManFraSetDefaultParams(Gia_ParFra_t *p)
Definition: giaFrames.c:631
Gps_Par_t_
Definition: gia.h:195
Gia_Man_t_::vMapping
Vec_Int_t * vMapping
Definition: gia.h:131
Gia_ManUnrollStart
void * Gia_ManUnrollStart(Gia_Man_t *pAig, Gia_ParFra_t *pPars)
Definition: giaFrames.c:402
Gia_ManIsoCanonicize
Gia_Man_t * Gia_ManIsoCanonicize(Gia_Man_t *p, int fVerbose)
Definition: giaIso.c:958
Gia_SimDataCoExt
unsigned * Gia_SimDataCoExt(Gia_ManSim_t *p, int i)
Definition: giaSim.c:36
Gia_ManDupLevelized
Gia_Man_t * Gia_ManDupLevelized(Gia_Man_t *p)
Definition: giaDup.c:2812
Gia_ObjFaninLit1p
static int Gia_ObjFaninLit1p(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:470
Gia_ManDupDfsLitArray
Gia_Man_t * Gia_ManDupDfsLitArray(Gia_Man_t *p, Vec_Int_t *vLits)
Definition: giaDup.c:1553
Gia_Rpr_t_
Definition: gia.h:56
Gia_ManOrderReverse
Vec_Int_t * Gia_ManOrderReverse(Gia_Man_t *p)
Definition: giaDfs.c:407
Gia_ManSaveValue
Vec_Int_t * Gia_ManSaveValue(Gia_Man_t *p)
Definition: giaUtil.c:1605
Gia_ObjFaninC0
static int Gia_ObjFaninC0(Gia_Obj_t *pObj)
Definition: gia.h:451
Gia_ManTransformToDual
Gia_Man_t * Gia_ManTransformToDual(Gia_Man_t *p)
Definition: giaDup.c:2353
Gia_Man_t_::vSuper
Vec_Int_t * vSuper
Definition: gia.h:189
Gia_ManPiNum
static int Gia_ManPiNum(Gia_Man_t *p)
Definition: gia.h:385
Gia_ManRo
static Gia_Obj_t * Gia_ManRo(Gia_Man_t *p, int v)
Definition: gia.h:407
Gia_SweeperStop
void Gia_SweeperStop(Gia_Man_t *p)
Definition: giaSweeper.c:157
Gia_ObjUnsetProved
static void Gia_ObjUnsetProved(Gia_Man_t *p, int Id)
Definition: gia.h:898
Gia_ObjTerSimGetC
static int Gia_ObjTerSimGetC(Gia_Obj_t *pObj)
Definition: gia.h:774
Gia_SweeperProbeLit
int Gia_SweeperProbeLit(Gia_Man_t *p, int ProbeId)
Definition: giaSweeper.c:276
Gia_MmStep_t_
Definition: giaMem.c:68
Gia_ManCleanMark01
void Gia_ManCleanMark01(Gia_Man_t *p)
Definition: giaUtil.c:177
Gia_ObjIsCi
static int Gia_ObjIsCi(Gia_Obj_t *pObj)
Definition: gia.h:420
Gia_ManCleanup
Gia_Man_t * Gia_ManCleanup(Gia_Man_t *p)
Definition: giaScl.c:84
Gia_ObjSetTravIdCurrentId
static void Gia_ObjSetTravIdCurrentId(Gia_Man_t *p, int Id)
Definition: gia.h:535
Gia_Man_t_::vUserPoIds
Vec_Int_t * vUserPoIds
Definition: gia.h:158
Gia_ManComputeSwitchProbs
Vec_Int_t * Gia_ManComputeSwitchProbs(Gia_Man_t *pGia, int nFrames, int nPref, int fProbOne)
Definition: giaSwitch.c:658
Gia_ObjSetTimeRequired
static void Gia_ObjSetTimeRequired(Gia_Man_t *p, int Id, float t)
Definition: gia.h:548
Gia_ManDupPermFlopGap
Gia_Man_t * Gia_ManDupPermFlopGap(Gia_Man_t *p, Vec_Int_t *vFfPerm)
Definition: giaDup.c:725
Gia_MmFlex_t_
Definition: giaMem.c:50
Gia_ObjFaninId1
static int Gia_ObjFaninId1(Gia_Obj_t *pObj, int ObjId)
Definition: gia.h:461
Gia_ObjRemoveFanout
void Gia_ObjRemoveFanout(Gia_Man_t *p, Gia_Obj_t *pObj, Gia_Obj_t *pFanout)
Definition: giaFanout.c:163
Gia_ObjIsMux
static int Gia_ObjIsMux(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:425
Gia_ManHashOr
int Gia_ManHashOr(Gia_Man_t *p, int iLit0, int iLit1)
Definition: giaHash.c:611
Gia_ManAppendXorReal
static int Gia_ManAppendXorReal(Gia_Man_t *p, int iLit0, int iLit1)
Definition: gia.h:639
Gia_ManDupWithConstraints
Gia_Man_t * Gia_ManDupWithConstraints(Gia_Man_t *p, Vec_Int_t *vPoTypes)
Definition: giaDup.c:2627
Gia_ManSetPhasePattern
void Gia_ManSetPhasePattern(Gia_Man_t *p, Vec_Int_t *vCiValues)
Definition: giaUtil.c:386
Gia_AigerWriteIntoMemoryStr
Vec_Str_t * Gia_AigerWriteIntoMemoryStr(Gia_Man_t *p)
Definition: giaAiger.c:866
Gia_ManPerformSopBalanceWin
Gia_Man_t * Gia_ManPerformSopBalanceWin(Gia_Man_t *p, int LevelMax, int nTimeWindow, int nCutNum, int nRelaxRatio, int fVerbose)
Definition: giaBalMap.c:265
Gia_ManMarkDangling
int Gia_ManMarkDangling(Gia_Man_t *p)
Definition: giaUtil.c:1193
Jf_Par_t_::nRoundsEla
int nRoundsEla
Definition: gia.h:271
Gia_ManEquivFixOutputPairs
void Gia_ManEquivFixOutputPairs(Gia_Man_t *p)
Definition: giaEquiv.c:480
Gia_ManCheckTopoOrder
int Gia_ManCheckTopoOrder(Gia_Man_t *p)
Definition: giaEquiv.c:73
Gia_MmStepEntryFetch
char * Gia_MmStepEntryFetch(Gia_MmStep_t *p, int nBytes)
Definition: giaMem.c:534
Gia_ObjFanin0CopyF
static int Gia_ObjFanin0CopyF(Gia_Man_t *p, int f, Gia_Obj_t *pObj)
Definition: gia.h:491
Gia_Man_t_::nMuxes
int nMuxes
Definition: gia.h:106
Gia_ObjTerSimSetX
static void Gia_ObjTerSimSetX(Gia_Obj_t *pObj)
Definition: gia.h:772
Vec_Wrd_t
typedefABC_NAMESPACE_HEADER_START struct Vec_Wrd_t_ Vec_Wrd_t
INCLUDES ///.
Definition: vecWrd.h:42
Jf_Par_t_::fUseMux7
int fUseMux7
Definition: gia.h:279
Gia_SweeperLogicDump
void Gia_SweeperLogicDump(Gia_Man_t *p, Vec_Int_t *vProbeIds, int fDumpConds, char *pFileName)
Definition: giaSweeper.c:428
Gia_SweeperCondCheckUnsat
int Gia_SweeperCondCheckUnsat(Gia_Man_t *p)
Definition: giaSweeper.c:924
Gia_ObjSimWords
static int Gia_ObjSimWords(Gia_Man_t *p)
Definition: gia.h:554
Gia_ManUpdateTimMan
void * Gia_ManUpdateTimMan(Gia_Man_t *p, Vec_Int_t *vBoxPres)
Definition: giaTim.c:657
Jf_Par_t_::DelayTarget
int DelayTarget
Definition: gia.h:276
Gia_ManTruthClear
static void Gia_ManTruthClear(unsigned *pOut, int nVars)
Definition: gia.h:352
Gia_ObjRefFanin1Dec
static void Gia_ObjRefFanin1Dec(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:528
Jf_Par_t_::nCoarseLimit
int nCoarseLimit
Definition: gia.h:273
Gia_ManAigSyn4
Gia_Man_t * Gia_ManAigSyn4(Gia_Man_t *p, int fVerbose, int fVeryVerbose)
Definition: giaScript.c:184
Gia_MmFlexStop
void Gia_MmFlexStop(Gia_MmFlex_t *p, int fVerbose)
Definition: giaMem.c:337
Gia_ManHashAnd
int Gia_ManHashAnd(Gia_Man_t *p, int iLit0, int iLit1)
Definition: giaHash.c:572
Emb_Par_t_::fDump
int fDump
Definition: gia.h:216
Gia_SweeperCollectValidProbeIds
Vec_Int_t * Gia_SweeperCollectValidProbeIds(Gia_Man_t *p)
Definition: giaSweeper.c:295
Gia_ManMiter
Gia_Man_t * Gia_ManMiter(Gia_Man_t *pAig0, Gia_Man_t *pAig1, int nInsDup, int fDualOut, int fSeq, int fImplic, int fVerbose)
Definition: giaDup.c:2128
Gia_ObjSetFailed
static void Gia_ObjSetFailed(Gia_Man_t *p, int Id)
Definition: gia.h:901
Gia_ObjCioId
static int Gia_ObjCioId(Gia_Obj_t *pObj)
Definition: gia.h:411
Gia_Obj2Lit
static int Gia_Obj2Lit(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:433
Gia_ManClockDomainNum
int Gia_ManClockDomainNum(Gia_Man_t *p)
Definition: giaTim.c:69
Gia_ManObjNum
static int Gia_ManObjNum(Gia_Man_t *p)
Definition: gia.h:388
Gia_Man_t_::pReprsOld
int * pReprsOld
Definition: gia.h:120
Gia_ManMiter2
Gia_Man_t * Gia_ManMiter2(Gia_Man_t *p, char *pInit, int fVerbose)
Definition: giaDup.c:2462
Gia_ObjRepr
static int Gia_ObjRepr(Gia_Man_t *p, int Id)
Definition: gia.h:887
Tas_ManSolveMiterNc
Vec_Int_t * Tas_ManSolveMiterNc(Gia_Man_t *pGia, int nConfs, Vec_Str_t **pvStatus, int fVerbose)
Definition: giaCTas.c:1517
Gia_ManDupExist
Gia_Man_t * Gia_ManDupExist(Gia_Man_t *p, int iVar)
Definition: giaDup.c:1360
Jf_Par_t_::fAddOrCla
int fAddOrCla
Definition: gia.h:286
Gia_Man_t_::vLutConfigs
Vec_Int_t * vLutConfigs
Definition: gia.h:134
Gia_ClassIsPair
static int Gia_ClassIsPair(Gia_Man_t *p, int i)
Definition: gia.h:922
Jf_Par_t_::fVerbose
int fVerbose
Definition: gia.h:291
Gia_ManMarkFanoutDrivers
void Gia_ManMarkFanoutDrivers(Gia_Man_t *p)
Definition: giaUtil.c:1553
Gia_ObjRefIncId
static int Gia_ObjRefIncId(Gia_Man_t *p, int Id)
Definition: gia.h:519
Gia_ObjTerSimAnd
static void Gia_ObjTerSimAnd(Gia_Obj_t *pObj)
Definition: gia.h:785
Gia_ManTimeClean
static void Gia_ManTimeClean(Gia_Man_t *p)
Definition: gia.h:538
Gia_Man_t_::vInArrs
Vec_Flt_t * vInArrs
Definition: gia.h:150
GIA_ONE
#define GIA_ONE
Definition: gia.h:748
Gia_ObjFanout0
static Gia_Obj_t * Gia_ObjFanout0(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:942
Gia_ManSimulateRound
void Gia_ManSimulateRound(Gia_ManSim_t *p)
Definition: giaSim.c:475
Gia_ObjSetColor
static void Gia_ObjSetColor(Gia_Man_t *p, int Id, int c)
Definition: gia.h:905
Gia_ManCiIdToId
static int Gia_ManCiIdToId(Gia_Man_t *p, int CiId)
Definition: gia.h:438
Gia_ObjTimeArrivalObj
static float Gia_ObjTimeArrivalObj(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:544
Gia_ManRi
static Gia_Obj_t * Gia_ManRi(Gia_Man_t *p, int v)
Definition: gia.h:408
Gia_ManReverseLevel
Vec_Int_t * Gia_ManReverseLevel(Gia_Man_t *p)
Definition: giaUtil.c:595
Gia_ManHashStop
void Gia_ManHashStop(Gia_Man_t *p)
Definition: giaHash.c:142
Gia_ObjFaninId0
static int Gia_ObjFaninId0(Gia_Obj_t *pObj, int ObjId)
Definition: gia.h:460
Jf_Par_t_::fCoarsen
int fCoarsen
Definition: gia.h:281
Gia_ObjIsPi
static int Gia_ObjIsPi(Gia_Man_t *p, Gia_Obj_t *pObj)
Definition: gia.h:441
Gia_ManCoNum
static int Gia_ManCoNum(Gia_Man_t *p)
Definition: gia.h:384
Gia_ManDupRemapEquiv
void Gia_ManDupRemapEquiv(Gia_Man_t *pNew, Gia_Man_t *p)
DECLARATIONS ///.
Definition: giaDup.c:46
Gia_ParFra_t_::fDisableSt
int fDisableSt
Definition: gia.h:230
Gia_Man_t_::vCopies
Vec_Int_t vCopies
Definition: gia.h:138
Gia_ObjSetLevel
static void Gia_ObjSetLevel(Gia_Man_t *p, Gia_Obj_t *pObj, int l)
Definition: gia.h:503
Gia_Man_t_::vTtNums
Vec_Int_t * vTtNums
Definition: gia.h:184
Gia_Man_t_::pCexSeq
Abc_Cex_t * pCexSeq
Definition: gia.h:136
Gia_ObjHasRepr
static int Gia_ObjHasRepr(Gia_Man_t *p, int Id)
Definition: gia.h:891
Vec_WrdEntryP
static word * Vec_WrdEntryP(Vec_Wrd_t *p, int i)
Definition: vecWrd.h:401
Gia_ObjCopyF
static int Gia_ObjCopyF(Gia_Man_t *p, int f, Gia_Obj_t *pObj)
Definition: gia.h:485
Gia_ManFlipVerbose
static void Gia_ManFlipVerbose(Gia_Man_t *p)
Definition: gia.h:396
Gia_ManRegNum
static int Gia_ManRegNum(Gia_Man_t *p)
Definition: gia.h:387
Gia_ParSim_t_::TimeLimit
int TimeLimit
Definition: gia.h:244