Struct owoof::network::GenericNetwork

pub struct GenericNetwork<V> { /* private fields */ }

A plan or projection of entity-attribute-value sets with constraints between them.

• See Network for type alias that borrows using ValueRef.
• Or OwnedNetwork for a type alias that owns using Value.

Implementations

impl<V> 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>

impl<V> GenericNetwork<V> where
    V: TypeTag + ToSql, 

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

impl<V> GenericNetwork<V> where
    V: PartialEq, 

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.

impl<'n, V> GenericNetwork<V>

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

Trait Implementations

impl<V: Clone> Clone for GenericNetwork<V>

fn clone(&self) -> GenericNetwork<V>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<V: Debug> Debug for GenericNetwork<V>

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

Formats the value using the given formatter.

impl<V> Default for GenericNetwork<V>

fn default() -> Self

Returns the “default value” for a type.

impl<'n, V> From<&'n GenericNetwork<V>> for Select<'n, V>

fn from(network: &'n GenericNetwork<V>) -> Self

Performs the conversion.

impl<V: PartialEq> PartialEq<GenericNetwork<V>> for GenericNetwork<V>

fn eq(&self, other: &GenericNetwork<V>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &GenericNetwork<V>) -> bool

This method tests for !=.

impl<V> StructuralPartialEq for GenericNetwork<V>