Struct CollectionRelation

pub struct CollectionRelation<'a, G: Scope> { /* private fields */ }

A collection and variable bindings.

Trait Implementations

impl<'a, G: Scope> AsBinding for CollectionRelation<'a, G>

where G::Timestamp: Lattice + ExchangeData,

fn variables(&self) -> Vec<u32>

All variables bound by this binding.

fn binds(&self, variable: u32) -> Option<usize>

Iff the binding has opinions about the given variable, this will return the offset, otherwise None.

fn ready_to_extend(&self, _prefix: &dyn AsBinding) -> Option<u32>

Returns an optional variable by which this binding could extend the given prefix.

fn required_to_extend( &self, _prefix: &dyn AsBinding, _target: u32, ) -> Option<Option<u32>>

Returns an optional variable which must be bound by the prefix in order for this binding to extend the prefix. If None, then this binding can never be used to extend the prefix to the specified variable (e.g. because it doesn’t even bind it).

fn can_extend(&self, prefix: &dyn AsBinding, target: u32) -> bool

Returns true iff the binding is ready to participate in the extension of a set of prefix variables to a new variable.