Searched refs:nInspects (Results 1 – 6 of 6) sorted by relevance
118 printf("inspects : %d\n", (int)p->Stats.nInspects); in Msat_SolverPrintStats()
84 ABC_INT64_T nInspects; // the number of times clauses are vising while watching them member
235 p->Stats.nInspects++; in Msat_SolverPropagate()
59 … Msat_SolverReadInspects( Msat_Solver_t * p ) { return (int)p->Stats.nInspects; } in Msat_SolverReadInspects()
110 iword nInspects; member
756 s->Stats.nInspects += j - xSAT_WatchListArray( ws ); in xSAT_SolverPropagate()