Searched refs:num_effective_parameters_reduced (Results 1 – 4 of 4) sorted by relevance
60 summary->num_effective_parameters_reduced = program.NumEffectiveParameters(); in SummarizeReducedProgram()
365 num_effective_parameters_reduced(-1), in Summary()414 if (num_effective_parameters_reduced != num_parameters_reduced) { in FullReport()416 num_effective_parameters, num_effective_parameters_reduced); in FullReport()
842 int num_effective_parameters_reduced; member
2004 .. member:: int Solver::Summary::num_effective_parameters_reduced