Searched refs:toZ3Sort (Results 1 – 1 of 1) sorted by relevance
140 static const Z3Sort &toZ3Sort(const SMTSort &S) { in toZ3Sort() function295 auto It = CachedSorts.insert(toZ3Sort(Sort)); in newSortRef()690 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkFPtoFP()698 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkSBVtoFP()706 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkUBVtoFP()729 const Z3_sort Z3Sort = toZ3Sort(*getBitvectorSort(BitWidth)).Sort; in mkBitvector()758 toZ3Sort(*Sort).Sort))); in mkFloat()765 toZ3Sort(*Sort).Sort))); in mkSymbol()