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