[−][src]Trait declarative_dataflow::plan::ImplContext
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>>
&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>>
&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>>
&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>>
&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>>
&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>>
&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).
Implementors
impl<T> ImplContext<T> for Context<T> where
T: Timestamp + Lattice,
[src]
T: Timestamp + Lattice,
fn rule(&self, name: &str) -> Option<&Rule>
[src]
fn global_arrangement(&mut self, name: &str) -> Option<&mut RelationHandle<T>>
[src]
fn has_attribute(&self, name: &str) -> bool
[src]
fn forward_count(
&mut self,
name: &str
) -> Option<&mut TraceKeyHandle<Value, T, isize>>
[src]
&mut self,
name: &str
) -> Option<&mut TraceKeyHandle<Value, T, isize>>
fn forward_propose(
&mut self,
name: &str
) -> Option<&mut TraceValHandle<Value, Value, T, isize>>
[src]
&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>>
[src]
&mut self,
name: &str
) -> Option<&mut TraceKeyHandle<(Value, Value), T, isize>>
fn reverse_count(
&mut self,
name: &str
) -> Option<&mut TraceKeyHandle<Value, T, isize>>
[src]
&mut self,
name: &str
) -> Option<&mut TraceKeyHandle<Value, T, isize>>
fn reverse_propose(
&mut self,
name: &str
) -> Option<&mut TraceValHandle<Value, Value, T, isize>>
[src]
&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>>
[src]
&mut self,
name: &str
) -> Option<&mut TraceKeyHandle<(Value, Value), T, isize>>