Database : raster2test Restore : NO Operator : atlocation Number : 1 Signature: xT x point -> T Example : query [const sint value ((0.0 0.0 1.0) (2 2) (-5 -5 (1 2 3 4)) (0 0 (undefined -1 -2 -3)))] atlocation [ [const point value (1.5 1.5)] ] Result : -3 Operator : atinstant Number : 1 Signature: msT x instant -> isT Example : query [const msint value ((0.0 0.0 1.0 2.0) (2 2 2) (1 1 1 (1 2 3 4 5 6 7 8)) (3 3 1 (undefined -1 -2 -3 -4 -5 -6 -7)))] atinstant create_instant(2.0) Result : (isint ((instant "2000-01-05")((0.0 0.0 1.0) (1 1) (1 1 (1)) (2 1 (2)) (1 2 (3)) (2 2 (4)) (4 3 (-1)) (3 4 (-2)) (4 4 (-3))))) Operator : CELL1 Number : 1 Signature: rT x ... -> T Example : query [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (1)))] map [fun(n: CELL1) n * 2] Result : (sint ((0.0 0.0 1.0) (1 1) (0 0 (2)))) Operator : CELL2 Number : 1 Signature: rT x rV x ... -> V Example : query [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (1)))] [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (2)))] map2 [fun(n: int, m: CELL2) n + m] Result : (sint ((0.0 0.0 1.0) (1 1) (0 0 (3)))) Operator : CELLS Number : 1 Signature: rT x ... -> rel(tuple([Elem: T])) Example : query [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (3)))] matchgrid[[const grid2 value (0.0 0.0 0.5)], fun(c: CELLS) c feed avg[Elem], FALSE] Result : (sreal ((0.0 0.0 0.5) (1 1) (0 0 (3.0)) (1 0 (3.0)) (0 1 (3.0)) (1 1 (3.0)))) Operator : inst Number : 1 Signature: isT -> instant Example : query inst([const isint value ((instant "2012-12-12") ((0.0 0.0 1.0) (2 2) (-2 -2 (1 -1 undefined 1)) (0 0 (-1 undefined 1 -1))))]) Result : (instant "2012-12-12") Operator : val Number : 1 Signature: isT -> sT Example : query val([const isint value ((instant "2012-12-12") ((0.0 0.0 1.0) (2 2) (-2 -2 (1 -1 undefined 1)) (0 0 (-1 undefined 1 -1))))]) Result : (sint ((0.0 0.0 1.0) (1 1) (-2 -2 (1)) (-1 -2 (-1)) (-1 -1 (1)) (0 0 (-1)) (0 1 (1)) (1 1 (-1)))) Operator : atrange Number : 1 Signature: xT x rect -> xT Example : query [const sint value ((0.0 0.0 1.0) (2 2) (-5 -5 (1 2 3 4)) (0 0 (undefined -1 -2 -3)))] atrange [[const rect value (-10.0 -6.0 -10.0 -6.0)]] Result : (sint ((0.0 0.0 1.0) (1 1))) Operator : deftime Number : 1 Signature: msT -> periods Example : query deftime([const msint value ((0.0 0.0 1.0 1.0) (1 1 1) (0 0 0 (1)) (0 0 2 (1)))]) Result : (periods (("2000-01-03" "2000-01-04" TRUE FALSE) ("2000-01-05" "2000-01-06" TRUE FALSE))) Operator : atperiods Number : 1 Signature: msT x periods -> msT Example : query [const msint value ((0.0 0.0 1.0 1.0) (1 1 1) (0 0 0 (1)) (0 0 2 (1)))] atperiods [const periods value ((0.0 1.0 TRUE FALSE) (2.0 3.0 TRUE FALSE))] Result : (msint ((0.0 0.0 1.0 1.0) (1 1 1) (0 0 0 (1)) (0 0 2 (1)))) Operator : compose Number : 1 Signature: mpoint x sT -> mT Example : query [const mpoint value ((("2000-01-03" "2000-01-05" TRUE FALSE) (-0.5 -0.5 -1.0 -1.0)) (("2000-01-05" "2000-01-07" TRUE FALSE) (-1.0 -1.0 1.8 1.2)) (("2000-01-07" "2000-01-09" TRUE FALSE) (1.8 1.2 1.0 1.0)))] compose [const sint value ((0.0 0.0 1.0) (2 2) (-2 -2 (1 2 3 4)) (0 0 (undefined -1 -2 -3)))] Result : (mint ( ( ("2000-01-03" "2000-01-05-17:08:34.286" TRUE FALSE) 4) ( ("2000-01-06-10:17:08.571" "2000-01-06-19:38:10.909" TRUE FALSE) -1) ( ("2000-01-06-19:38:10.909" "2000-01-09" TRUE FALSE) -3))) Operator : bbox Number : 1 Signature: xT -> rect Example : query bbox([const sint value ((0.0 0.0 1.0) (2 2) (-5 -5 (1 2 3 4)) (0 0 (undefined -1 -2 -3)))]) Result : (rect (-5.0 2.0 -5.0 2.0)) Operator : minimum Number : 1 Signature: xT -> T Example : query minimum([const sint value ((0.0 0.0 1.0) (2 2) (-5 -5 (1 2 3 4)) (0 0 (undefined -1 -2 -3)))]) Result : -3 Operator : map2 Number : 1 Signature: sT x sU x (sT x sU -> xV) -> sV Example : query [const sint value ((0.0 0.0 1.0) (2 2) (0 0 (3 4 5 6)))] [const sreal value ((0.0 0.0 1.0) (2 2) (0 0 (6.0 5.0 4.0 3.0)))] map2[fun(a:int, b:real) a < b] Result : (sbool ((0.0 0.0 1.0) (1 1) (0 0 (TRUE)) (1 0 (TRUE)) (0 1 (FALSE)) (1 1 (FALSE)))) Operator : matchgrid Number : 1 Signature: sT x grid2 x (rel(tuple(T: Elem))-> U) x bool -> sU Example : query [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (3)))] matchgrid[[const grid2 value (0.0 0.0 0.5)], fun(cell: rel(tuple([Elem: int]))) cell feed avg[Elem], FALSE] Result : (sreal ((0.0 0.0 0.5) (1 1) (0 0 (3.0)) (1 0 (3.0)) (0 1 (3.0)) (1 1 (3.0)))) Operator : maximum Number : 1 Signature: xT -> T Example : query maximum([const sint value ((0.0 0.0 1.0) (2 2) (-5 -5 (1 2 3 4)) (0 0 (undefined -1 -2 -3)))]) Result : 4 Operator : fromregion Number : 1 Signature: region x grid2 -> sbool Example : query bbox(fromregion([const region value ((((3.0 4.0) (7.0 20.0) (26.0 30.0) (20.0 -5.0))((6.0 5.0) (8.0 7.0) (9.0 5.0))) (((60.0 60.0)(64.0 66.0)(68.0 68.0))))], [const grid2 value (0.0 0.0 1.0)])) Result : (rect (3.0 68.0 -5.0 68.0)) Operator : toregion Number : 1 Signature: sbool -> region Example : query [const sbool value ((0.0 0.0 1.0) (3 3) (1 1 (FALSE TRUE TRUE TRUE TRUE TRUE FALSE FALSE TRUE)))] toregion Result : (region ((((1.0 2.0) (2.0 2.0) (2.0 1.0) (3.0 1.0) (4.0 1.0) (4.0 2.0) (4.0 3.0) (4.0 4.0) (3.0 4.0) (3.0 3.0) (2.0 3.0) (1.0 3.0))))) Operator : s2ms Number : 1 Signature: sint x duration x instant x instant -> msint Example : query s2ms([const sint value ((0.0 0.0 1.0) (1 1) (0 0 (1)))], [const duration value (1 0)], [const instant value "2000-01-03"], [const instant value "2000-01-04"]) Result : (msint ((0.0 0.0 1.0 1.0) (1 1 1) (0 0 0 (1)))) Operator : getgrid Number : 1 Signature: sT -> grid2 Example : query getgrid([const sint value ((0.0 0.0 1.0) (2 2) (-5 -5 (1 2 3 4)) (0 0 (undefined -1 -2 -3)))]) Result : (grid2 (0.0 0.0 1.0)) Operator : getgrid Number : 2 Signature: msT -> grid3 Example : query getgrid([const msbool value ((0.0 0.0 3.0 3.0) (2 1 2) (1 1 1 (TRUE TRUE TRUE TRUE)))]) Result : (grid3 (0.0 0.0 3.0 (duration (3 0)))) Operator : importHgt Number : 1 Signature: (stream text) -> sint Example : query maximum('../Data/Raster2/N51E007.hgt' feed importHgt) Result : 673 Operator : importEsriGrid Number : 1 Signature: text -> sint Example : query maximum(importEsriGrid("../Data/Raster2/esrigrid/tmin_1")) Result : 266 Operator : importEsriRaster Number : 1 Signature: (stream text) -> sreal Example : query minimum('../Data/Raster2/N52E006.asc' feed importEsriRaster) Result : -32.0 Operator : fromline Number : 1 Signature: line x grid2 -> sbool Example : query fromline([const line value ((24 13.2 30 15.3) (24 13.2 1 15) (1 15 24 63))], [const grid2 value (0.0 0.0 1.0)]) Result : file Operator : map Number : 1 Signature: xT x (T -> U) -> xU Example : query [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (1)))] map [. * 2] Result : (sint ((0.0 0.0 1.0) (1 1) (0 0 (2)))) Operator : isdefined Number : 1 Signature: rastertype -> bool Example : query isdefined([const msbool value ((0.0 0.0 3.0 3.0) (2 1 2) (1 1 1 (TRUE TRUE TRUE TRUE)))]) Result : TRUE Operator : isdefined Number : 2 Signature: rastertype -> bool Example : query isdefined([const sbool value undef]) Result : FALSE Operator : addLayer Number : 1 Signature : msT x sT x instant -> bool Example : query [const msbool value ((0.0 0.0 3.0 3.0) (2 1 2) (1 1 1 (TRUE TRUE TRUE TRUE)))] addLayer[ [const sbool value ((12.0 12.0 3.0) (2 2) (1 1 (TRUE TRUE TRUE TRUE)))] , [const instant value 0.5]] Result : TRUE Operator : createRaster Number : 1 Signature : T x grid2 -> sT Example : query createRaster(1,[const grid2 value (0.0 0.0 1.0)]) Result : (sint ((0.0 0.0 1.0) (1 1))) Operator : createRaster Number : 2 Signature : T x grid3 -> msT Example : query createRaster(1,[const grid3 value (0.0 0.0 1.0 (duration (1 0)))]) Result : (msint ((0.0 0.0 1.0 1.0) (1 1 1))) Operator : createGrid3 Number : 1 Signature : grid2 x duration -> grid3 Example : query createGrid3([const grid2 value (0.0 0.0 1.0)], [const duration value 1.0]) Result : (grid3 (0.0 0.0 1.0 (duration (1 0)))) Operator : createGrid3 Number : 2 Signature : grid2 x real -> grid3 Example : query createGrid3([const grid2 value (0.0 0.0 1.0)], 1.0) Result : (grid3 (0.0 0.0 1.0 (duration (1 0)))) Operator : distance3D Number : 1 Signature : {sint,sreal} x point x point x bool [x geoid] -> real Example : query distance3D( [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (3)) (1 0 (6)) (2 0 (0)) (0 1 (0)) (1 1 (4)) (2 1 (8)) )] , [const point value (0.8 0.2)], [const point value (2.2 1.8)], TRUE) Result : 9.2740840053 Operator : length3D Number : 1 Signature : {sint,sreal} x mpoint x bool [x geoid] -> real Example : query length3D( [const sint value ((0.0 0.0 1.0) (1 1) (0 0 (3)) (1 0 (6)) (2 0 (0)) (0 1 (0)) (1 1 (4)) (2 1 (8)) )] , [const mpoint value ((("2003-11-20-06:00" "2003-11-20-07:00" TRUE FALSE) (0.8 0.2 2.2 1.8))) ] , TRUE) Result : 9.2740840053 Operator : importTiff Number : 1 Signature : stream(text) -> sint Example : query bbox('test.tif' feed importTiff) Result : (rect (-124.625 -113.0 44.0 56.125)) Operator : createHgtIndex Number : 1 Signature : sint -> hash Example : query isdefined(getFileInfo(createHgtIndex('../Data/Raster2/N51E007.hgt' feed importHgt))) Result : TRUE