| /dports/textproc/clucene/clucene-core-2.3.3.4/src/test/search/ |
| H A D | TestSort.cpp | 20 Sort* _sort; variable
95 _sort = _CLNEW Sort(); in testSortSetup()
106 _CLDELETE(_sort); in testSortCleanup()
190 _sort->setSort (sorts2); in sort_runMultiSorts()
219 _sort->setSort (sorts4); in sort_runMultiSorts()
279 _CLDELETE(_sort); in testBuiltInSorts()
292 _sort->setSort (sorts1); in testTypedSort()
311 _CLDELETE(_sort); in testEmptyIndex()
312 _sort = _CLNEW Sort(); in testEmptyIndex()
455 _CLDELETE(_sort); in testNormalizedScores()
[all …]
|
| /dports/lang/solidity/solidity_0.8.11/libsmtutil/ |
| H A D | CHCSmtLib2Interface.cpp | 126 smtAssert(_sort); in declareVariable()
127 if (_sort->kind == Kind::Function) in declareVariable()
128 declareFunction(_name, _sort); in declareVariable()
132 write("(declare-var |" + _name + "| " + toSmtLibSort(*_sort) + ')'); in declareVariable()
136 string CHCSmtLib2Interface::toSmtLibSort(Sort const& _sort) in toSmtLibSort() argument
138 if (!m_sortNames.count(&_sort)) in toSmtLibSort()
139 m_sortNames[&_sort] = m_smtlib2->toSmtLibSort(_sort); in toSmtLibSort()
140 return m_sortNames.at(&_sort); in toSmtLibSort()
174 smtAssert(_sort); in declareFunction()
175 smtAssert(_sort->kind == Kind::Function); in declareFunction()
[all …]
|
| H A D | Z3Interface.cpp | 73 smtAssert(_sort, ""); in declareVariable()
74 if (_sort->kind == Kind::Function) in declareVariable()
75 declareFunction(_name, *_sort); in declareVariable()
382 switch (_sort.kind) in z3Sort()
428 for (auto const& _sort: _sorts) in z3Sort() local
435 if (_sort.is_bool()) in fromZ3Sort()
437 if (_sort.is_int()) in fromZ3Sort()
439 if (_sort.is_bv()) in fromZ3Sort()
441 if (_sort.is_array()) in fromZ3Sort()
443 if (_sort.is_datatype()) in fromZ3Sort()
[all …]
|
| H A D | SMTLib2Interface.cpp | 79 smtAssert(_sort, ""); in declareVariable()
80 if (_sort->kind == Kind::Function) in declareVariable()
81 declareFunction(_name, _sort); in declareVariable()
84 m_variables.emplace(_name, _sort); in declareVariable()
91 smtAssert(_sort, ""); in declareFunction()
92 smtAssert(_sort->kind == Kind::Function, ""); in declareFunction()
96 auto const& fSort = dynamic_pointer_cast<FunctionSort>(_sort); in declareFunction()
99 m_variables.emplace(_name, _sort); in declareFunction()
216 string SMTLib2Interface::toSmtLibSort(Sort const& _sort) in toSmtLibSort() argument
218 switch (_sort.kind) in toSmtLibSort()
[all …]
|
| H A D | CVC4Interface.cpp | 58 void CVC4Interface::declareVariable(string const& _name, SortPointer const& _sort) in declareVariable() argument
60 smtAssert(_sort, ""); in declareVariable()
61 m_variables[_name] = m_context.mkVar(_name.c_str(), cvc4Sort(*_sort)); in declareVariable()
294 CVC4::Type CVC4Interface::cvc4Sort(Sort const& _sort) in cvc4Sort() argument
296 switch (_sort.kind) in cvc4Sort()
303 return m_context.mkBitVectorType(dynamic_cast<BitVectorSort const&>(_sort).size); in cvc4Sort()
306 FunctionSort const& fSort = dynamic_cast<FunctionSort const&>(_sort); in cvc4Sort()
311 auto const& arraySort = dynamic_cast<ArraySort const&>(_sort); in cvc4Sort()
316 auto const& tupleSort = dynamic_cast<TupleSort const&>(_sort); in cvc4Sort()
330 for (auto const& _sort: _sorts) in cvc4Sort() local
[all …]
|
| H A D | CHCSmtLib2Interface.h | 51 void declareVariable(std::string const& _name, SortPointer const& _sort) override;
58 std::string toSmtLibSort(Sort const& _sort);
59 std::string toSmtLibSort(std::vector<SortPointer> const& _sort);
64 void declareFunction(std::string const& _name, SortPointer const& _sort);
|
| H A D | Z3Interface.h | 43 void declareVariable(std::string const& _name, SortPointer const& _sort) override;
61 void declareFunction(std::string const& _name, Sort const& _sort);
63 z3::sort z3Sort(Sort const& _sort);
65 smtutil::SortPointer fromZ3Sort(z3::sort const& _sort);
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/referencesource/System.Data.Entity/System/Data/Objects/ELinq/ |
| H A D | OrderByLifter.cs | 354 private readonly DbSortExpression _sort; field in System.Data.Objects.ELinq.ExpressionConverter.OrderByLifter.LimitSortLifter
361 _sort = sort; in LimitSortLifter()
368 return RebindSort(filter, _sort); in Filter()
511 private readonly DbSortExpression _sort; field in System.Data.Objects.ELinq.ExpressionConverter.OrderByLifter.ProjectLimitSortLifter
519 _sort = sort; in ProjectLimitSortLifter()
532 _sort), in Filter()
562 _sort), in Limit()
574 _sort, in Skip()
697 _sort = sort; in ProjectSortLifter()
713 _sort), in Filter()
[all …]
|
| /dports/www/thundersnarf/thundersnarf/protected/yii114/framework/web/ |
| H A D | CDataProvider.php | 19 private $_sort; variable in CDataProvider
89 if($this->_sort===null)
91 $this->_sort=new CSort;
93 $this->_sort->sortVar=$id.'_sort';
95 return $this->_sort;
111 $this->_sort=$value;
|
| /dports/devel/p5-Sort-Sub/Sort-Sub-0.120/lib/Test/Sort/ |
| H A D | Sub.pm | 20 sub _sort { subroutine
43 _sort(\%args, '', 'output');
47 _sort(\%args, '<i>', 'output_i');
51 _sort(\%args, '<r>', 'output_r');
55 _sort(\%args, '<ir>', 'output_ir');
|
| /dports/www/limesurvey/limesurvey/framework/web/ |
| H A D | CDataProvider.php | 27 private $_sort; variable in CDataProvider
119 if($this->_sort===null)
121 $this->_sort=new $className;
123 $this->_sort->sortVar=$id.'_sort';
125 return $this->_sort;
157 $this->_sort=$value;
|
| /dports/devel/py-pythran/pythran-0.11.0/pythran/pythonic/numpy/ndarray/ |
| H A D | sort.hpp | 78 _sort(types::ndarray<T, pS> &out, long axis, Sorter sorter) in _sort() function
85 _sort(types::ndarray<T, pS> &out, long axis, Sorter sorter) in _sort() function
125 _sort(expr, axis, quicksorter()); in sort()
132 _sort(expr, 0, quicksorter()); in sort()
140 _sort(expr, axis, quicksorter()); in sort()
142 _sort(expr, axis, mergesorter()); in sort()
144 _sort(expr, axis, heapsorter()); in sort()
146 _sort(expr, axis, stablesorter()); in sort()
|
| /dports/lang/mono/mono-5.10.1.57/external/corefx/src/System.Data.Common/src/System/Data/ |
| H A D | DataViewSetting.cs | 14 private string _sort = string.Empty; field in System.Data.DataViewSetting
86 get { return _sort; }
94 if (_sort != value)
96 _sort = value;
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | TermAlgebra.cpp | 73 _sort(sort), in TermAlgebra()
79 ASS(constrs[i]->rangeSort() == _sort); in TermAlgebra()
131 return "$subterm" + env.sorts->sortName(_sort); in getSubtermPredicateName()
143 args.push(_sort); args.push(_sort); in getSubtermPredicate()
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/update/ |
| H A D | push_node.h | 55 if (_sort) { in setCollator()
56 invariant(!_sort->collator); in setCollator()
57 _sort->collator = collator; in setCollator()
105 boost::optional<PatternElementCmp> _sort; variable
|
| /dports/sysutils/pear-Horde_Vfs/Horde_Vfs-2.4.0/test/Horde/Vfs/ |
| H A D | TestBase.php | 306 array_keys($this->_sort(self::$vfs->listFolder('test/dir2'))));
395 array_keys($this->_sort(self::$vfs->listFolder('/'))));
398 $this->_sort(self::$vfs->listFolder('')));
401 $this->_sort(self::$vfs->listFolder('', null, true, true)));
411 $this->_sort(self::$vfs->listFolder('', null, true, false, true)));
418 $this->_sort(self::$vfs->listFolder('test', null, false, false, true)));
422 $this->_sort(self::$vfs->listFolder('test', '^.*1$')));
441 protected function _sort($folders) function in Horde_Vfs_TestBase
447 $item = $this->_sort($item['subdirs']);
|
| /dports/www/phpgroupware/phpgroupware-0.9.16.017/phpgwapi/inc/ |
| H A D | class.arrayfunctions.inc.php | 30 * @param string $_sort 'ASC'ending or 'DESC'ending sort order
33 function arfsort( $a, $fl, $_sort='ASC' ) argument
37 $this->sort=$_sort;
|
| /dports/www/phpgroupware/phpgroupware-0.9.16.017/felamimail/inc/ |
| H A D | class.socaching.inc.php | 79 function getHeaders($_firstMessage='', $_numberOfMessages='', $_sort='', $_filter='') argument
81 $sort = $this->getSortSQL($_sort);
190 function getNextMessage($_uid, $_sort='', $_filter='') argument
192 $sort = $this->getSortSQL($_sort);
230 function getSortSQL($_sort) argument
232 switch($_sort)
|
| H A D | class.bocaching.inc.php | 78 function getHeaders($_firstMessage='', $_numberOfMessages='' ,$_sort='', $_filter='') argument
80 return $this->socaching->getHeaders($_firstMessage, $_numberOfMessages, $_sort, $_filter);
105 function getNextMessage($_uid, $_sort, $_filter) argument
107 return $this->socaching->getNextMessage($_uid, $_sort, $_filter);
|
| /dports/devel/py-asciimatics/asciimatics-1.13.0/samples/ |
| H A D | top.py | 43 self._sort = 5
80 self._sort = max(0, self._sort - 1)
82 self._sort = min(7, self._sort + 1)
120 key=lambda f: f[self._sort],
|
| /dports/net/samba412/samba-4.12.15/ctdb/tests/UNIT/onnode/scripts/ |
| H A D | local.sh | 45 _sort="cat"
48 _sort="sort"
58 _out=$(echo "$_out" | $_sort )
|
| /dports/math/cgal/CGAL-5.3/include/CGAL/ |
| H A D | Multiscale_sort.h | 25 Sort _sort; variable
31 : _sort (sort), _threshold (threshold), _ratio (ratio) in _sort() function
45 _sort (middle, end); in operator()
|
| /dports/www/phpgroupware/phpgroupware-0.9.16.017/notes/inc/ |
| H A D | class.bonotes.inc.php | 73 $_sort = $_POST['sort'] ? $_POST['sort'] : $_GET['sort'];
105 if(isset($_sort) && !empty($_sort))
109 echo '<br />overriding $sort: "' . $this->sort . '" now "' . $_sort . '"';
111 $this->sort = $_sort;
|
| /dports/textproc/py-markdown/Markdown-3.3.4/markdown/ |
| H A D | util.py | 307 self._sort()
311 self._sort()
332 self._sort()
375 def _sort(self): member in Registry
404 self._sort()
429 self._sort()
433 self._sort()
|
| /dports/lang/solidity/solidity_0.8.11/libsolidity/formal/ |
| H A D | SymbolicVariables.cpp | 51 SortPointer _sort, in SymbolicVariable() argument
55 m_sort(move(_sort)), in SymbolicVariable()
157 SortPointer _sort, in SymbolicFunctionVariable() argument
161 SymbolicVariable(move(_sort), move(_uniqueName), _context), in SymbolicFunctionVariable()
238 SortPointer _sort, in SymbolicTupleVariable() argument
242 SymbolicVariable(move(_sort), move(_uniqueName), _context) in SymbolicTupleVariable()
302 SortPointer _sort, in SymbolicArrayVariable() argument
306 SymbolicVariable(move(_sort), move(_uniqueName), _context), in SymbolicArrayVariable()
|