Searched refs:d_using_gr_repair (Results 1 – 2 of 2) sorted by relevance
33 : SygusModule(qe, p), d_eval_unfold(nullptr), d_using_gr_repair(false) in Cegis()89 d_using_gr_repair = true; in processInitialize()214 if (d_using_gr_repair) in constructCandidates()
204 bool d_using_gr_repair; variable