Searched refs:toZ3Sort (Results 1 – 1 of 1) sorted by relevance
137 static const Z3Sort &toZ3Sort(const SMTSort &S) { in toZ3Sort() function612 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkFPtoFP()620 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkSBVtoFP()628 toZ3Expr(*From).AST, toZ3Sort(*To).Sort))); in mkUBVtoFP()654 toZ3Sort(*Sort).Sort))); in mkBitvector()665 toZ3Sort(*Sort).Sort))); in mkFloat()672 toZ3Sort(*Sort).Sort))); in mkSymbol()