Searched refs:fAddStrash (Results 1 – 9 of 9) sorted by relevance
345 assert( p->fAddStrash ); in Gia_ManAddStrash()472 assert( p->fAddStrash == 0 ); in Gia_ManHashXorReal()524 assert( p->fAddStrash == 0 ); in Gia_ManHashMuxReal()593 if ( p->fAddStrash ) in Gia_ManHashAnd()739 Gia_Man_t * Gia_ManRehash( Gia_Man_t * p, int fAddStrash ) in Gia_ManRehash() argument747 pNew->fAddStrash = fAddStrash; in Gia_ManRehash()763 pNew->fAddStrash = 0; in Gia_ManRehash()
114 int fAddStrash; // performs additional structural hashing member1427 extern Gia_Man_t * Gia_ManRehash( Gia_Man_t * p, int fAddStrash );
106 aigMgr->fAddStrash = 1; in BBNodeManagerAIG()
170 if ( p->fAddStrash && (Aig_ObjIsNode(Aig_Regular(p0)) || Aig_ObjIsNode(Aig_Regular(p1))) ) in Aig_And()
118 if ( p->fAddStrash && (Aig_ObjIsNode(Aig_Regular(p0)) || Aig_ObjIsNode(Aig_Regular(p1))) ) in Aig_And()
143 int fAddStrash; // performs additional strashing member
155 int fAddStrash; // performs additional strashing member
310 pMan->fAddStrash = 0; in Abc_NtkToDar()
31800 int fAddStrash = 0; in Abc_CommandAbc9Strash() local31822 fAddStrash ^= 1; in Abc_CommandAbc9Strash()31900 pTemp = Gia_ManRehash( pAbc->pGia, fAddStrash ); in Abc_CommandAbc9Strash()31916 … Abc_Print( -2, "\t-a : toggle additional hashing [default = %s]\n", fAddStrash? "yes": "no" ); in Abc_CommandAbc9Strash()