Searched defs:Sort (Results 1 – 9 of 9) sorted by relevance
79 Z3_sort Sort; member in __anon1aad92b90111::Z3Sort306 SMTSortRef newSortRef(const SMTSort &Sort) { in newSortRef()763 SMTSortRef Sort = in mkFloat() local773 SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) override { in mkSymbol()798 bool toAPFloat(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPFloat()819 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt()867 SMTSortRef Sort = getSort(Assign); in getInterpretation() local881 SMTSortRef Sort = getSort(Assign); in getInterpretation() local
168 void Sort() { in Sort() function174 template <typename TCompare> void Sort(TCompare tc) { in Sort() function
381 Expected<Trace> llvm::xray::loadTraceFile(StringRef Filename, bool Sort) { in loadTraceFile()420 Expected<Trace> llvm::xray::loadTrace(const DataExtractor &DE, bool Sort) { in loadTrace()
60 void Sort() { m_exprs.Sort(); } in Sort() function
91 void DWARFDebugAranges::Sort(bool minimize) { in Sort() function in DWARFDebugAranges
217 void Sort() { in Sort() function460 void Sort() { in Sort() function749 void Sort() { in Sort() function
627 static void sortIntervals(IntervalReferences &IntervalSet, Sorting Sort) { in sortIntervals()
298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast() local
678 std::function<void(LVScope * Parent, LVSortFunction SortFunction)> Sort = in sort() local