Struct owoof::retrieve::NamedNetwork

pub struct NamedNetwork<'n, V> {
    pub network: GenericNetwork<V>,
    pub names: Names<'n>,
}

A GenericNetwork paired with Names to associate variables to their first occurrence in a network.

Fields

network: GenericNetwork<V>

names: Names<'n>

Implementations

impl<'n, V> NamedNetwork<'n, V>

pub fn new(network: GenericNetwork<V>, names: Names<'n>) -> Self

pub fn split(self) -> (GenericNetwork<V>, Names<'n>)

impl<'n, 'v> NamedNetwork<'n, ValueRef<'v>>

pub fn add_pattern<V>(&mut self, pattern: &'v Pattern<'n, V>) -> Triples where
    ValueRef<'v>: From<&'v V>, 

Constrain a GenericNetwork using the given Pattern, unifying variables where appropriate.

Methods from Deref<Target = GenericNetwork<V>>

pub fn add_triples(&mut self) -> Triples

Adds one group of entity-attribute-value triples that can be constrained with values or by fields on other triples groups.

pub fn constrain(&mut self, c: Constraint<V>)

Adds a Constraint.

pub fn add_constraint(&mut self, c: Constraint<V>)

Adds a Constraint.

pub fn triples(&self) -> usize

The number of triples added into this network.

pub fn constraints(&self) -> &[Constraint<V>]

pub fn constraints_mut(&mut self) -> &mut [Constraint<V>]

pub fn fluent_triples(&mut self) -> FluentTriples<'_, V>

pub fn prefetch_attributes(&mut self, woof: &DontWoof<'_>) -> Result<()>

pub fn this_and_links_to(
    &self,
    on: TriplesField
) -> impl Iterator<Item = TriplesField> + '_

Shorthand for iter::once(field).chain(network.links_to(field)).

pub fn links_to(
    &self,
    on: TriplesField
) -> impl Iterator<Item = TriplesField> + '_

All TriplesField with equality constraints to the given TriplesField.

pub fn constraints_on(
    &self,
    on: TriplesField
) -> impl Iterator<Item = &Constraint<V>> + '_

pub fn is_linked(
    &self,
    a: TriplesField,
    b: TriplesField
) -> Option<&Constraint<V>>

Find an equality constraint between these two fields.

pub fn is_matched<I: Into<V>>(
    &self,
    a: TriplesField,
    v: I
) -> Option<&Constraint<V>>

Find an equality constraint between a field and a value.

pub fn constraint_value_matches(
    &self,
    v: V
) -> impl Iterator<Item = TriplesField> + '_

pub fn value_for_entity_attribute<A: Clone>(
    &mut self,
    entity: TriplesField,
    attribute: A
) -> TriplesField where
    A: AsRef<AttributeRef>,
    V: From<A>, 

Find or add triples t such that t.e = field and t.a = attribute.

pub fn select(&'n self) -> Select<'n, V>

Trait Implementations

impl<'n, V: Debug> Debug for NamedNetwork<'n, V>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'n, V> Default for NamedNetwork<'n, V>

fn default() -> Self

Returns the “default value” for a type.

impl<'n, V> Deref for NamedNetwork<'n, V>

type Target = GenericNetwork<V>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'n, V> DerefMut for NamedNetwork<'n, V>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.