Searched refs:constructBestSolvedTerm (Results 1 – 3 of 3) sorted by relevance
166 virtual Node constructBestSolvedTerm(Node e, const std::vector<Node>& solved);
75 Node SygusUnif::constructBestSolvedTerm(Node e, const std::vector<Node>& solved) in constructBestSolvedTerm() function in CVC4::theory::quantifiers::SygusUnif
1083 ret_dt = constructBestSolvedTerm(e, subsumed_by); in constructSol()1125 ret_dt = constructBestSolvedTerm(e, str_solved); in constructSol()