Searched defs:useSemantics (Results 1 – 1 of 1) sorted by relevance
787 toAPFloat(const SMTSortRef & Sort,const SMTExprRef & AST,llvm::APFloat & Float,bool useSemantics) toAPFloat() argument 808 toAPSInt(const SMTSortRef & Sort,const SMTExprRef & AST,llvm::APSInt & Int,bool useSemantics) toAPSInt() argument