Ever and always relationships

eContains(geometry,tcell) → boolean
aContains(geometry,tcell) → boolean
eCovers(geometry,tcell) → boolean
aCovers(geometry,tcell) → boolean
eDisjoint({geometry,tcell},{geometry,tcell}) → boolean
aDisjoint({geometry,tcell},{geometry,tcell}) → boolean
eDwithin({geometry,tcell},{geometry,tcell},float) → boolean
aDwithin({geometry,tcell},{geometry,tcell},float) → boolean
eIntersects({geometry,tcell},{geometry,tcell}) → boolean
aIntersects({geometry,tcell},{geometry,tcell}) → boolean
eTouches({geometry,tcell},{geometry,tcell}) → boolean
aTouches({geometry,tcell},{geometry,tcell}) → boolean

The relationships evaluate a tcell argument through its per-instant cell-boundary geometry, the footprint of each cell as cellToBoundary returns it, and then apply the corresponding relationship of the temporal geometry types. Each relationship has three quantified forms: the e-prefixed ever form returns true when the relationship holds at some instant, the a-prefixed always form when it holds at every instant, and the t-prefixed temporal form of the next section returns a tbool of the instant-by-instant result. Every form accepts the three argument orderings (geometry, tcell), (tcell, geometry), and (tcell, tcell). eContains states whether one footprint contains the other, interiors only, and eCovers the same with the boundary included; eIntersects whether the footprints share at least one point, eDisjoint whether they share none, eTouches whether they share a boundary point but no interior point, and eDwithin whether they lie within the distance passed as the third argument.

SELECT eIntersects(geometry 'SRID=4326;Polygon((4.2 50.7,4.5 50.7,4.5 50.9,
  4.2 50.9,4.2 50.7))', th3index '871fa4418ffffff@2001-01-01');
-- t
SELECT eIntersects(geometry 'SRID=4326;Polygon((4.2 50.7,4.5 50.7,4.5 50.9,
  4.2 50.9,4.2 50.7))', ts2cell '47c3c@2001-01-01');
-- t
SELECT eIntersects(geometry 'SRID=4326;Polygon((4.2 50.7,4.5 50.7,4.5 50.9,
  4.2 50.9,4.2 50.7))', tquadbin '48a6227affffffff@2001-01-01');
-- t