42 lines
810 B
Plaintext
42 lines
810 B
Plaintext
|
Database : berlintest
|
||
|
|
Restore : NO
|
||
|
|
|
||
|
|
Operator : mregionops3test
|
||
|
|
Number : 1
|
||
|
|
Signature: x -> bool
|
||
|
|
Example : query mregionops3test()
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : intersection
|
||
|
|
Number : 1
|
||
|
|
Signature:
|
||
|
|
Example : query no_segments(val(intersection(mrain, mrain3) atinstant(six30)))
|
||
|
|
Result : 12
|
||
|
|
|
||
|
|
|
||
|
|
Operator : union
|
||
|
|
Number : 1
|
||
|
|
Signature:
|
||
|
|
Example : query no_segments(val((mrain union mrain3) atinstant(six30)))
|
||
|
|
Result : 20
|
||
|
|
|
||
|
|
Operator : minus
|
||
|
|
Number : 1
|
||
|
|
Signature:
|
||
|
|
Example : query no_segments(val((mrain minus mrain3) atinstant(six30)))
|
||
|
|
Result : 20
|
||
|
|
|
||
|
|
Operator : intersects
|
||
|
|
Number : 1
|
||
|
|
Signature:
|
||
|
|
Example : query val ((mrain intersects mrain3) atinstant(six30))
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : inside
|
||
|
|
Number : 1
|
||
|
|
Signature:
|
||
|
|
Example : query val ((mrain inside mrain3) atinstant(six30))
|
||
|
|
Result : FALSE
|
||
|
|
|
||
|
|
|