Searched refs:getSynthSolutionsInternal (Results 1 – 2 of 2) sorted by relevance
337 bool getSynthSolutionsInternal(std::vector<Node>& sols,
1071 if (!getSynthSolutionsInternal(sols, statuses)) in printSynthSolution()1168 if (!getSynthSolutionsInternal(sols, statuses)) in getSynthSolutions()1198 bool SynthConjecture::getSynthSolutionsInternal(std::vector<Node>& sols, in getSynthSolutionsInternal() function in CVC4::theory::quantifiers::SynthConjecture