[−][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 |