Changes between Initial Version and Version 1 of Ticket #10391, comment 37


Ignore:
Timestamp:
2019-05-13T20:28:21+02:00 (7 years ago)
Author:
michael2402

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #10391, comment 37

    initial v1  
    1111I think that we need two separate operators for that:
    1212* An 'is-child-of' operator. Like:
    13 ** node<is child of>way
    14 ** way<is child of>relation
    15 ** …
    16 ** A node would then never be the child of itself.
     13 * node<is child of>way
     14 * way<is child of>relation
     15 * …
     16 * A node would then never be the child of itself.
    1717* An 'is-inside-of' operator. Like:
    18 ** node∈way iff way is an area and node is contained in the area.
    19 ** node∈node iff they have same coordinates.
    20 ** node∈relation iff relation is an area and node is in that area.
    21 ** way∈node iff way is an area has only nodes with coordinates of that node. (to discuss, but would be consistent, since an area that is a point is element of an other area that is a point at the same coordinate)
    22 ** way∈way iff both ways are areas and first area is completely contained in second area.
    23 ** way∈relation iff both are areas and first area is completely contained in second area.
    24 ** relation∈node iff relation is an area and has only nodes with coordinates of that node.
    25 ** relation∈way iff both are areas and first area is completely contained in second area.
    26 ** relation∈relation iff both are areas and first area is completely contained in second area.
     18 * node∈way iff way is an area and node is contained in the area.
     19 * node∈node iff they have same coordinates.
     20 * node∈relation iff relation is an area and node is in that area.
     21 * way∈node iff way is an area has only nodes with coordinates of that node. (to discuss, but would be consistent, since an area that is a point is element of an other area that is a point at the same coordinate)
     22 * way∈way iff both ways are areas and first area is completely contained in second area.
     23 * way∈relation iff both are areas and first area is completely contained in second area.
     24 * relation∈node iff relation is an area and has only nodes with coordinates of that node.
     25 * relation∈way iff both are areas and first area is completely contained in second area.
     26 * relation∈relation iff both are areas and first area is completely contained in second area.
    2727