Struct Entailment 

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

Builds derived tables of entailed triples.

Fields

reasoning: Reasoning

inferred: bool

Also read materialized inferences (quads_inf).

transitive: &'a BTreeSet<i64>

max_compound: usize

Maximum terms of a compound SELECT.

Implementations

impl Entailment<'_>

pub fn active(&self) -> bool

Is any rewriting needed?

pub fn base(&self) -> &'static str

The table of stored triples: asserted, plus materialized inferences on request.

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.