| /dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.ComponentModel.TypeConverter/src/System/ComponentModel/ |
| H A D | ListSortDescriptionCollection.cs | 15 private ArrayList _sorts = new ArrayList(); field in System.ComponentModel.ListSortDescriptionCollection
33 _sorts.Add(sorts[i]); in ListSortDescriptionCollection()
45 return (ListSortDescription)_sorts[index];
102 return ((IList)_sorts).Contains(value); in Contains()
110 return ((IList)_sorts).IndexOf(value); in IndexOf()
143 public int Count => _sorts.Count;
160 _sorts.CopyTo(array, index); in CopyTo()
171 return _sorts.GetEnumerator(); in IEnumerable.GetEnumerator()
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Sorts.hpp | 145 _sorts[i] = sorts[i]; in TupleSort()
150 unsigned* sorts() { return _sorts.array(); } in sorts()
154 DArray<unsigned> _sorts; member in Kernel::Sorts::TupleSort
163 return static_cast<ArraySort*>(_sorts[sort]); in getArraySort()
169 return static_cast<TupleSort*>(_sorts[sort]); in getTupleSort()
178 if(sort > _sorts.size()) return false; in isStructuredSort()
179 SortInfo* si = _sorts[sort]; in isStructuredSort()
189 if(sort > _sorts.size()) return false; in isOfStructuredSort()
190 return _sorts[sort]->isOfStructuredSort(structured); in isOfStructuredSort()
198 unsigned count() const { return _sorts.length(); } in count()
[all …]
|
| H A D | Sorts.cpp | 71 while(_sorts.isNonEmpty()) { in ~Sorts()
72 delete _sorts.pop(); in ~Sorts()
115 result = _sorts.length(); in addSort()
116 _sorts.push(new SortInfo(name, result,interpreted)); in addSort()
142 result = _sorts.length(); in addArraySort()
145 _sorts.push(sort); in addArraySort()
162 Stack<SortInfo*>::Iterator all(_sorts); in getStructuredSorts()
186 result = _sorts.length(); in addTupleSort()
188 _sorts.push(new TupleSort(name,result,arity,sorts)); in addTupleSort()
222 return _sorts[idx]->name(); in sortName()
|
| H A D | Formula.hpp | 197 _sorts(ss), in QuantifiedFormula()
214 const SortList* sortList() const { return _sorts; } in sortList()
216 SortList* sortList() { return _sorts; } in sortList()
225 SortList* _sorts; member in Kernel::QuantifiedFormula
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/query/ |
| H A D | query_solution.h | 421 return _sorts; in getSort()
434 BSONObjSet _sorts; member
465 BSONObjSet _sorts; member
486 return _sorts; in getSort()
501 BSONObjSet _sorts; member
585 return _sorts; in getSort()
590 BSONObjSet _sorts; member
662 return _sorts; in getSort()
675 BSONObjSet _sorts; member
763 return _sorts; in getSort()
[all …]
|
| H A D | query_solution.cpp | 476 copy->_sorts = this->_sorts; in clone()
509 copy->_sorts = this->_sorts; in clone()
679 _sorts.clear(); in computeProperties()
692 _sorts.insert(sortPattern); in computeProperties()
768 for (auto sortsIt = _sorts.begin(); sortsIt != _sorts.end();) { in computeProperties()
790 copy->_sorts = this->_sorts; in clone()
848 _sorts.clear(); in computeProperties()
872 copy->_sorts = this->_sorts; in clone()
926 copy->_sorts = this->_sorts; in clone()
1006 copy->_sorts = this->_sorts; in clone()
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | bv_elim.cpp | 22 sort_ref_buffer sorts(m), _sorts(m); in reduce_quantifier() local
58 _sorts.push_back(m.mk_bool_sort()); in reduce_quantifier()
66 _sorts.push_back(s); in reduce_quantifier()
76 SASSERT(_names.size() == _sorts.size()); in reduce_quantifier()
80 sorts.push_back(_sorts[i]); in reduce_quantifier()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | bv_elim.cpp | 22 sort_ref_buffer sorts(m), _sorts(m); in reduce_quantifier() local
58 _sorts.push_back(m.mk_bool_sort()); in reduce_quantifier()
66 _sorts.push_back(s); in reduce_quantifier()
76 SASSERT(_names.size() == _sorts.size()); in reduce_quantifier()
80 sorts.push_back(_sorts[i]); in reduce_quantifier()
|
| /dports/lang/solidity/solidity_0.8.11/libsmtutil/ |
| H A D | Z3Interface.h | 64 z3::sort_vector z3Sort(std::vector<SortPointer> const& _sorts);
66 std::vector<smtutil::SortPointer> fromZ3Sort(z3::sort_vector const& _sorts);
|
| H A D | CHCSmtLib2Interface.cpp | 143 string CHCSmtLib2Interface::toSmtLibSort(vector<SortPointer> const& _sorts) in toSmtLibSort() argument
146 for (auto const& sort: _sorts) in toSmtLibSort()
|
| H A D | Z3Interface.cpp | 425 z3::sort_vector Z3Interface::z3Sort(vector<SortPointer> const& _sorts) in z3Sort() argument
428 for (auto const& _sort: _sorts) in z3Sort()
460 vector<SortPointer> Z3Interface::fromZ3Sort(z3::sort_vector const& _sorts) in fromZ3Sort() argument
462 return applyMap(_sorts, [this](auto const& sort) { return fromZ3Sort(sort); }); in fromZ3Sort()
|
| H A D | CVC4Interface.h | 61 std::vector<CVC4::Type> cvc4Sort(std::vector<SortPointer> const& _sorts);
|
| H A D | SMTLib2Interface.cpp | 255 string SMTLib2Interface::toSmtLibSort(vector<SortPointer> const& _sorts) in toSmtLibSort() argument
258 for (auto const& sort: _sorts) in toSmtLibSort()
|
| H A D | CVC4Interface.cpp | 327 vector<CVC4::Type> CVC4Interface::cvc4Sort(vector<SortPointer> const& _sorts) in cvc4Sort() argument
330 for (auto const& _sort: _sorts) in cvc4Sort()
|
| /dports/audio/beets/beets-1.4.9/beets/dbcore/ |
| H A D | queryparse.py | 191 if field in model_cls._sorts:
192 sort = model_cls._sorts[field](model_cls, is_ascending,
|
| H A D | db.py | 238 _sorts = {} variable in Model
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ |
| H A D | api_parsers.cpp | 38 Z3_sort const _sorts[],
51 sorts.push_back(to_sort(_sorts[i])); in Z3_optimize_ref()
|
| H A D | api_datatype.cpp | 385 sort_ref_vector _sorts(m); in Z3_mk_datatypes() local
386 … bool ok = mk_c(c)->get_dt_plugin()->mk_datatypes(datas.size(), datas.c_ptr(), 0, nullptr, _sorts); in Z3_mk_datatypes()
394 SASSERT(_sorts.size() == num_sorts); in Z3_mk_datatypes()
395 for (unsigned i = 0; i < _sorts.size(); ++i) { in Z3_mk_datatypes()
396 sort* s = _sorts[i].get(); in Z3_mk_datatypes()
|
| /dports/math/z3/z3-z3-4.8.13/src/api/ |
| H A D | api_parsers.cpp | 42 Z3_sort const _sorts[], in parse_smtlib2_stream() argument
60 sorts.push_back(to_sort(_sorts[i])); in parse_smtlib2_stream()
|
| H A D | api_datatype.cpp | 385 sort_ref_vector _sorts(m); in Z3_mk_datatypes() local
386 … bool ok = mk_c(c)->get_dt_plugin()->mk_datatypes(datas.size(), datas.data(), 0, nullptr, _sorts); in Z3_mk_datatypes()
394 SASSERT(_sorts.size() == num_sorts); in Z3_mk_datatypes()
395 for (unsigned i = 0; i < _sorts.size(); ++i) { in Z3_mk_datatypes()
396 sort* s = _sorts[i].get(); in Z3_mk_datatypes()
|
| /dports/devel/py-oci/oci-2.53.1/src/oci/opsi/models/ |
| H A D | sql_stats.py | 454 self._sorts = None
1229 return self._sorts
1241 self._sorts = sorts
|
| /dports/www/osticket/upload/include/ |
| H A D | class.search.php | 659 private $_sorts; variable in SavedQueue
723 if (!isset($this->_sorts)) {
726 $this->_sorts = $sorts;
729 $this->_sorts = QueueSort::objects();
732 return $this->_sorts;
|
| /dports/math/z3/z3-z3-4.8.13/src/api/julia/ |
| H A D | z3jl.cpp | 640 std::vector<sort> _sorts; in define_julia_module() local
645 _sorts.push_back(x); in define_julia_module()
648 return c.tuple_sort(name, sz, _names.data(), _sorts.data(), projs); in define_julia_module()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/julia/ |
| H A D | z3jl.cpp | 642 std::vector<sort> _sorts; in define_julia_module() local
647 _sorts.push_back(x); in define_julia_module()
650 return c.tuple_sort(name, sz, _names.data(), _sorts.data(), projs); in define_julia_module()
|
| /dports/audio/beets/beets-1.4.9/beets/ |
| H A D | library.py | 535 _sorts = {'artist': SmartArtistSort} variable in Item
963 _sorts = { variable in Album
|