Searched refs:initializeCandidate (Results 1 – 8 of 8) sorted by relevance
65 virtual void initializeCandidate(
35 void SygusUnif::initializeCandidate( in initializeCandidate() function in CVC4::theory::quantifiers::SygusUnif
275 void initializeCandidate(
54 void initializeCandidate(
35 void SygusUnifRl::initializeCandidate( in initializeCandidate() function in CVC4::theory::quantifiers::SygusUnifRl43 SygusUnif::initializeCandidate(qe, f, all_enums, strategy_lemmas); in initializeCandidate()
222 d_sygus_unif[c].initializeCandidate( in initialize()
511 void SygusUnifIo::initializeCandidate( in initializeCandidate() function in CVC4::theory::quantifiers::SygusUnifIo521 SygusUnif::initializeCandidate(qe, f, enums, strategy_lemmas); in initializeCandidate()
56 d_sygus_unif.initializeCandidate( in processInitialize()