Searched defs:getSortInference (Results 1 – 2 of 2) sorted by relevance
888 SortInference* getSortInference() { return &d_sortInfer; } in getSortInference() function
1351 SortInference* StrongSolverTheoryUF::getSortInference() { in getSortInference() function in CVC4::theory::uf::StrongSolverTheoryUF