24   int nFrames = 3;  in Saig_ManCreateIndMiter2()  local
32     pObjMap  = ABC_CALLOC( Aig_Obj_t *, nFrames * Aig_ManObjNumMax(pAig) );  in Saig_ManCreateIndMiter2()
35     pFrames = Aig_ManStart( Aig_ManObjNumMax(pAig) * nFrames );  in Saig_ManCreateIndMiter2()
39     for ( f = 0; f < nFrames; f++ )  in Saig_ManCreateIndMiter2()
40         Aig_ObjSetFrames( pObjMap, nFrames, Aig_ManConst1(pAig), f, Aig_ManConst1(pFrames) );  in Saig_ManCreateIndMiter2()
42     for ( f = 0; f < nFrames; f++ )  in Saig_ManCreateIndMiter2()
44             Aig_ObjSetFrames( pObjMap, nFrames, pObj, f, Aig_ObjCreateCi(pFrames) );  in Saig_ManCreateIndMiter2()
47         Aig_ObjSetFrames( pObjMap, nFrames, pObj, 0, Aig_ObjCreateCi(pFrames) );  in Saig_ManCreateIndMiter2()
50     for ( f = 0; f < nFrames; f++ )  in Saig_ManCreateIndMiter2()
55 …w = Aig_And( pFrames, Aig_ObjChild0Frames(pObjMap,nFrames,pObj,f), Aig_ObjChild1Frames(pObjMap,nFr…  in Saig_ManCreateIndMiter2()
56             Aig_ObjSetFrames( pObjMap, nFrames, pObj, f, pObjNew );  in Saig_ManCreateIndMiter2()
61             pObjNew = Aig_ObjChild0Frames(pObjMap,nFrames,pObjLi,f);  in Saig_ManCreateIndMiter2()
62             if ( f < nFrames - 1 )  in Saig_ManCreateIndMiter2()
63                 Aig_ObjSetFrames( pObjMap, nFrames, pObjLo, f+1, pObjNew );  in Saig_ManCreateIndMiter2()
73             Aig_Obj_t * pNode0 = pObjMap[nFrames*Aig_ObjId(pObjR)+0];  in Saig_ManCreateIndMiter2()
74             Aig_Obj_t * pNode1 = pObjMap[nFrames*Aig_ObjId(pObjR)+1];  in Saig_ManCreateIndMiter2()
91           Aig_Obj_t * pNode2 = pObjMap[nFrames*Aig_ObjId(pObjR)+2];  in Saig_ManCreateIndMiter2()
197 Vec_Vec_t * Ssw_ManFindDirectImplications2( Aig_Man_t * p, int nFrames, int nConfs, int nProps, int…  in Ssw_ManFindDirectImplications2()  argument
206   assert(nFrames == 1);  in Ssw_ManFindDirectImplications2()
207   vCands = Vec_VecAlloc( nFrames );  in Ssw_ManFindDirectImplications2()
208   assert(nFrames == 1);  in Ssw_ManFindDirectImplications2()
210   pFrames = Saig_ManUnrollCOI( p, nFrames );  in Ssw_ManFindDirectImplications2()
218       for ( f = 0; f < nFrames; f++ )  in Ssw_ManFindDirectImplications2()
230               pRepr  = p->pObjCopies[nFrames*i + nFrames-1-f];  in Ssw_ManFindDirectImplications2()
295 Aig_Man_t * Saig_ManDupUnfoldConstrsFunc2( Aig_Man_t * pAig, int nFrames, int nConfs, int nProps, i…  in Saig_ManDupUnfoldConstrsFunc2()  argument
303     vCands = Saig_ManDetectConstrFunc( pAig, nFrames, nConfs, nProps, fVerbose );  in Saig_ManDupUnfoldConstrsFunc2()
305     vCands = Ssw_ManFindDirectImplications2( pAig, nFrames, nConfs, nProps, fVerbose );  in Saig_ManDupUnfoldConstrsFunc2()