Searched refs:getMinimalTerm (Results 1 – 3 of 3) sorted by relevance
48 Node SygusUnif::getMinimalTerm(const std::vector<Node>& terms) in getMinimalTerm() function in CVC4::theory::quantifiers::SygusUnif80 return getMinimalTerm(solved); in constructBestSolvedTerm()
192 Node getMinimalTerm(const std::vector<Node>& terms);
1193 cached_ret_dt = getMinimalTerm(intervec); in constructSol()1525 ret_dt = getMinimalTerm(retDts); in constructSol()