Searched refs:Rwr_IsComplement (Results 1 – 5 of 5) sorted by relevance
95 assert( !Rwr_IsComplement(pNode) ); in Rwr_NodePreprocess()134 if ( Rwr_IsComplement(pNode->p0) ) in Rwr_TravCollect_rec()137 if ( Rwr_IsComplement(pNode->p1) ) in Rwr_TravCollect_rec()
442 Entry0 = (Rwr_Regular(pNode->p0)->Id << 1) | Rwr_IsComplement(pNode->p0); in Rwr_ManWriteToArray()443 Entry1 = (Rwr_Regular(pNode->p1)->Id << 1) | Rwr_IsComplement(pNode->p1); in Rwr_ManWriteToArray()537 pBuffer[2*i + 0] = (Rwr_Regular(pNode->p0)->Id << 1) | Rwr_IsComplement(pNode->p0); in Rwr_ManWriteToFile()538 pBuffer[2*i + 1] = (Rwr_Regular(pNode->p1)->Id << 1) | Rwr_IsComplement(pNode->p1); in Rwr_ManWriteToFile()
123 assert( !Rwr_IsComplement(pNode) ); in Rwr_NodePrint_rec()137 if ( Rwr_IsComplement(pNode->p0) ) in Rwr_NodePrint_rec()168 if ( Rwr_IsComplement(pNode->p1) ) in Rwr_NodePrint_rec()
147 uTruth = (Rwr_IsComplement(p0)? ~Rwr_Regular(p0)->uTruth : Rwr_Regular(p0)->uTruth) & in Rwr_ManTryNode()148 … (Rwr_IsComplement(p1)? ~Rwr_Regular(p1)->uTruth : Rwr_Regular(p1)->uTruth) & 0xFFFF; in Rwr_ManTryNode()215 uTruth = (Rwr_IsComplement(p0)? ~Rwr_Regular(p0)->uTruth : Rwr_Regular(p0)->uTruth) & in Rwr_ManAddNode()216 … (Rwr_IsComplement(p1)? ~Rwr_Regular(p1)->uTruth : Rwr_Regular(p1)->uTruth) & 0xFFFF; in Rwr_ManAddNode()
116 static inline int Rwr_IsComplement( Rwr_Node_t * p ) { return (int )(((ABC_PTRUINT_T)p)… in Rwr_IsComplement() function