Searched refs:num_residual_blocks_reduced (Results 1 – 4 of 4) sorted by relevance
61 summary->num_residual_blocks_reduced = program.NumResidualBlocks(); in SummarizeReducedProgram()
366 num_residual_blocks_reduced(-1), in Summary()419 num_residual_blocks, num_residual_blocks_reduced); in FullReport()
845 int num_residual_blocks_reduced; member
2012 .. member:: int Solver::Summary::num_residual_blocks_reduced