Searched refs:Pla_ManDivNum (Results 1 – 2 of 2) sorted by relevance
86 static inline int Pla_ManDivNum( Pla_Man_t * p ) { return Vec_IntSize( &p->vDiv… in Pla_ManDivNum() function266 printf( "Div =%6d ", Pla_ManDivNum(p) ); in Pla_ManPrintStats()
86 int nVarsInit = Pla_ManDivNum(p) ? Vec_IntCountZero(&p->vDivs) : Pla_ManInNum(p); in Pla_ManDumpBlif()