[−][src]Trait declarative_dataflow::plan::ImplContext

pub trait ImplContext<T> where
    T: Timestamp + Lattice, {
    fn rule(&self, name: &str) -> Option<&Rule>;

    fn global_arrangement(
        &mut self, 
        name: &str
    ) -> Option<&mut RelationHandle<T>>;

    fn has_attribute(&self, name: &str) -> bool;

    fn forward_count(
        &mut self, 
        name: &str
    ) -> Option<&mut TraceKeyHandle<Value, T, isize>>;

    fn forward_propose(
        &mut self, 
        name: &str
    ) -> Option<&mut TraceValHandle<Value, Value, T, isize>>;

    fn forward_validate(
        &mut self, 
        name: &str
    ) -> Option<&mut TraceKeyHandle<(Value, Value), T, isize>>;

    fn reverse_count(
        &mut self, 
        name: &str
    ) -> Option<&mut TraceKeyHandle<Value, T, isize>>;

    fn reverse_propose(
        &mut self, 
        name: &str
    ) -> Option<&mut TraceValHandle<Value, Value, T, isize>>;

    fn reverse_validate(
        &mut self, 
        name: &str
    ) -> Option<&mut TraceKeyHandle<(Value, Value), T, isize>>;

    fn is_underconstrained(&self, name: &str) -> bool;
}

A thing that can provide global state required during the implementation of plans.

Required methods

fn rule(&self, name: &str) -> Option<&Rule>

Returns the definition for the rule of the given name.

fn global_arrangement(&mut self, name: &str) -> Option<&mut RelationHandle<T>>

Returns a mutable reference to a (non-base) relation, if one is registered under the given name.

fn has_attribute(&self, name: &str) -> bool

Checks whether an attribute of that name exists.

fn forward_count(
    &mut self,
    name: &str
) -> Option<&mut TraceKeyHandle<Value, T, isize>>

Retrieves the forward count trace for the specified aid.

fn forward_propose(
    &mut self,
    name: &str
) -> Option<&mut TraceValHandle<Value, Value, T, isize>>

Retrieves the forward propose trace for the specified aid.

fn forward_validate(
    &mut self,
    name: &str
) -> Option<&mut TraceKeyHandle<(Value, Value), T, isize>>

Retrieves the forward validate trace for the specified aid.

fn reverse_count(
    &mut self,
    name: &str
) -> Option<&mut TraceKeyHandle<Value, T, isize>>

Retrieves the reverse count trace for the specified aid.

fn reverse_propose(
    &mut self,
    name: &str
) -> Option<&mut TraceValHandle<Value, Value, T, isize>>

Retrieves the reverse propose trace for the specified aid.

fn reverse_validate(
    &mut self,
    name: &str
) -> Option<&mut TraceKeyHandle<(Value, Value), T, isize>>

Retrieves the reverse validate trace for the specified aid.

fn is_underconstrained(&self, name: &str) -> bool

Returns the current opinion as to whether this rule is underconstrained. Underconstrained rules cannot be safely materialized and re-used on their own (i.e. without more specific constraints).

Loading content...

Implementors

impl<T> ImplContext<T> for Context<T> where
    T: Timestamp + Lattice, [src]

Loading content...