Struct 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>( &mut self, entity: TriplesField, attribute: A, ) -> TriplesField

where A: AsRef<AttributeRef> + Clone, 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 duplicate 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

Converts to this type from the input type.

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

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

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<V> StructuralPartialEq for GenericNetwork<V>