Searched refs:Ivy_ManAndNum (Results 1 – 3 of 3) sorted by relevance
125 if ( Ivy_TableCountEntries(p) != Ivy_ManAndNum(p) + Ivy_ManExorNum(p) + Ivy_ManLatchNum(p) ) in Ivy_ManCheck()
459 printf( "A = %7d. ", Ivy_ManAndNum(p) ); in Ivy_ManPrintStats()
222 static inline int Ivy_ManAndNum( Ivy_Man_t * p ) { return p->nObjs[IVY_AND]; … in Ivy_ManAndNum() function