Searched refs:toZ3Sort (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp138 static const Z3Sort &toZ3Sort(const SMTSort &S) { function in namespace:__anon3825
293 auto It = CachedSorts.insert(toZ3Sort(Sort));
688 toZ3Expr(*From).AST, toZ3Sort(*To).Sort)));
696 toZ3Expr(*From).AST, toZ3Sort(*To).Sort)));
704 toZ3Expr(*From).AST, toZ3Sort(*To).Sort)));
727 const Z3_sort Z3Sort = toZ3Sort(*getBitvectorSort(BitWidth)).Sort;
756 toZ3Sort(*Sort).Sort)));
763 toZ3Sort(*Sort).Sort)));

Completed in 98 milliseconds