Searched refs:toZ3Sort (Results 1 – 1 of 1) sorted by relevance
138 static const Z3Sort &toZ3Sort(const SMTSort &S) { in toZ3Sort() function293 auto It = CachedSorts.insert(toZ3Sort(Sort)); in newSortRef()688 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkFPtoFP()696 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkSBVtoFP()704 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkUBVtoFP()727 const Z3_sort Z3Sort = toZ3Sort(*getBitvectorSort(BitWidth)).Sort; in mkBitvector()756 toZ3Sort(*Sort).Sort))); in mkFloat()763 toZ3Sort(*Sort).Sort))); in mkSymbol()