Searched refs:constructBestConditional (Results 1 – 4 of 4) sorted by relevance
171 virtual Node constructBestConditional(Node ce,
85 Node SygusUnif::constructBestConditional(Node ce, in constructBestConditional() function in CVC4::theory::quantifiers::SygusUnif
484 Node constructBestConditional(Node ce,
1437 rec_c = constructBestConditional(ce, itpc->second); in constructSol()1561 Node SygusUnifIo::constructBestConditional(Node ce, in constructBestConditional() function in CVC4::theory::quantifiers::SygusUnifIo1566 return SygusUnif::constructBestConditional(ce, conds); in constructBestConditional()