Crate strata

Source

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 Aliases§

ValidExtent