Struct Entailment 

pub struct Entailment<'a> {
    pub reasoning: Reasoning,
    pub inferred: bool,
    pub hide_schema: bool,
    pub transitive: &'a BTreeSet<i64>,
    pub scopes: &'a BTreeSet<i64>,
    pub max_compound: usize,
    pub as_of: Option<i64>,
}

Builds derived tables of entailed triples.

Fields

reasoning: Reasoning

inferred: bool

Also read materialized inferences (quads_inf).

hide_schema: bool

Exclude every registered schema graph from the stored triples (QueryOptions::include_schema_graphs).

transitive: &'a BTreeSet<i64>

scopes: &'a BTreeSet<i64>

Graphs with a closure of their own (see tbox_closure.scope); every other graph uses the closure of crate::registry::all_scope.

max_compound: usize

Maximum terms of a compound SELECT.

as_of: Option<i64>

Read the store as it was at this tick (see version), from the change log.

Implementations

impl Entailment<'_>

pub fn active(&self) -> bool

Is any rewriting needed?

pub fn base(&self) -> String

The table of stored triples: asserted, plus materialized inferences on request, minus the registered schema graphs when they are hidden.

Every quad source of the compiler goes through this or Self::source, so hiding is applied once and covers patterns, paths, OPTIONAL and GRAPH ?g alike. Inferences are conclusions rather than schema, so they are never hidden.

pub fn source( &self, s: Option<i64>, p: Option<i64>, o: Option<i64>, graphs: &GraphFilter, ) -> String

A (s, p, o, g) derived table of the entailed triples matching the constants.

Trait Implementations

impl<'a> Clone for Entailment<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Entailment<'a>

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

Formats the value using the given formatter.