Searched refs:toZ3Sort (Results 1 – 1 of 1) sorted by relevance
145 static const Z3Sort &toZ3Sort(const SMTSort &S) { in toZ3Sort() function307 auto It = CachedSorts.insert(toZ3Sort(Sort)); in newSortRef()702 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkFPtoFP()710 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkSBVtoFP()718 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkUBVtoFP()741 const Z3_sort Z3Sort = toZ3Sort(*getBitvectorSort(BitWidth)).Sort; in mkBitvector()770 toZ3Sort(*Sort).Sort))); in mkFloat()777 toZ3Sort(*Sort).Sort))); in mkSymbol()