Searched refs:mkSort (Results 1 – 1 of 1) sorted by relevance
28 static inline SMTSortRef mkSort(SMTSolverRef &Solver, const QualType &Ty, in mkSort() function322 return Solver->mkSymbol(Name.str().c_str(), mkSort(Solver, Ty, BitWidth)); in fromData()