77 lines
3.2 KiB
Plaintext
77 lines
3.2 KiB
Plaintext
|
Sequential: Yes
|
||
|
|
Database: test
|
||
|
|
Restore: No
|
||
|
|
|
||
|
|
Operator : setcore
|
||
|
|
Number : 1
|
||
|
|
Signature : int -> bool
|
||
|
|
Example : query setcore(3)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 2
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr] project[Name]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr] project[Name])
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 3
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr] {memory 20} project[Name]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr] project[Name])
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : setcore
|
||
|
|
Number : 5
|
||
|
|
Signature : int -> bool
|
||
|
|
Example : query setcore(4)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 6
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr] project[Name]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr] project[Name])
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 7
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr] {memory 20} project[Name]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr] project[Name])
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : setcore
|
||
|
|
Number : 8
|
||
|
|
Signature : int -> bool
|
||
|
|
Example : query setcore(6)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 9
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr] project[Name]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr] project[Name])
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 10
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr] {memory 20} project[Name]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr] project[Name])
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 11
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr])
|
||
|
|
Result : FALSE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 12
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[Oneway, Maxspeed, Fclass, NameStr] project[Oneway, Maxspeed, Fclass, NameStr]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[Oneway, Maxspeed, Fclass, NameStr] project[Oneway, Maxspeed, Fclass, NameStr])
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : mThreadedMergeSort
|
||
|
|
Number : 13
|
||
|
|
Signature : stream x (attr x bool ...) -> stream
|
||
|
|
Example : query (roads_str feed filter[not (trim(.Name) = '')] mThreadedMergeSort[NameStr, FALSE] {memory 20} project[Name]) = (roads_str feed filter[not (trim(.Name) = '')] sortby[NameStr desc] project[Name])
|
||
|
|
Result : TRUE
|
||
|
|
|