Searched defs:getSort (Results 1 – 3 of 3) sorted by relevance
313 SMTSortRef getSort(const SMTExprRef &Exp) override { in getSort() function in __anondfffcc6f0111::Z3Solver
1285 DbeView::getSort (MetricType mtype) in getSort() function in DbeView