[−][src]Crate strata
Structs
BothOf | Creates extents that extents from both lists would be a subextent of. |
ContainedIn | Finds extents from the first list that are contained in extents from the second list. |
Containing | Finds extents from the first list that contain extents from the second list. |
Documents | |
Empty | Finds no extents |
Extent | |
FollowedBy | Creates extents that start at an extent from the first argument and end at an extent from the second argument. |
IterRho | Iterates over the extent list in the forward direction using the rho primitive |
IterRhoPrime | Iterates over the extent list in the backward direction using the rho-prime primitive |
IterTau | Iterates over the extent list in the forward direction using the tau primitive |
IterTauPrime | Iterates over the extent list in the backward direction using the tau-prime primitive |
NotContainedIn | |
NotContaining | |
OneOf | Finds extents that an extent from either list would be a subextent of. |
Enums
Position |
Traits
Algebra | The basic query algebra from the Clarke et al. paper |
Type Definitions
ValidExtent |