Home
last modified time | relevance | path

Searched refs:exprSort (Results 1 – 3 of 3) sorted by relevance

/dports/databases/hsqldb/hsqldb-2.3.4/hsqldb/src/org/hsqldb/
H A DExpressionArrayAggregate.java324 SortAndSlice exprSort = new SortAndSlice();
326 exprSort.prepareSingleColumn(nodes.length - 1);
327 arrayDataType.sort(session, array, exprSort);
329 int size = arrayDataType.deDuplicate(session, array, exprSort);
371 SortAndSlice exprSort = new SortAndSlice();
373 exprSort.prepareSingleColumn(1);
374 arrayDataType.sort(session, array, exprSort);
H A DFunctionCustom.java1986 SortAndSlice exprSort = new SortAndSlice(); in getValue() local
1988 exprSort.prepareSingleColumn(1); in getValue()
1990 exprSort.sortDescending[0] = ((Number) data[1]).intValue() in getValue()
1992 exprSort.sortNullsLast[0] = ((Number) data[2]).intValue() in getValue()
1997 dt.sort(session, array, exprSort); in getValue()
/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB2.cpp1396 unsigned exprSort = term.second; in parseLetEnd() local
1399 if (exprSort == Sorts::SRT_BOOL) { // it has to be formula term, with atomic formula in parseLetEnd()