Searched defs:Sort (Results 1 – 6 of 6) sorted by relevance
72 Z3_sort Sort; member in __anonca7d1dd80111::Z3Sort292 SMTSortRef newSortRef(const SMTSort &Sort) { in newSortRef()749 SMTSortRef Sort = in mkFloat() local759 SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) override { in mkSymbol()784 bool toAPFloat(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPFloat()805 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt()853 SMTSortRef Sort = getSort(Assign); in getInterpretation() local867 SMTSortRef Sort = getSort(Assign); in getInterpretation() local
380 Expected<Trace> llvm::xray::loadTraceFile(StringRef Filename, bool Sort) { in loadTraceFile()419 Expected<Trace> llvm::xray::loadTrace(const DataExtractor &DE, bool Sort) { in loadTrace()
90 void DWARFDebugAranges::Sort(bool minimize) { in Sort() function in DWARFDebugAranges
174 void Sort() { in Sort() function411 void Sort() { in Sort() function686 void Sort() { in Sort() function
168 void Sort() { llvm::sort(m_map.begin(), m_map.end(), Compare()); } in Sort() function
298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast() local