Struct FederatedClosure 

pub struct FederatedClosure { /* private fields */ }

Sealed union of local owner graphs with a canonical reverse dependency map.

Implementations

impl FederatedClosure

pub fn seal( facts: impl IntoIterator<Item = FactId>, graphs: impl IntoIterator<Item = OwnerProjectionGraph>, ) -> Result<Self, ClosureError>

Joins owner-local graphs and refuses unknown facts or duplicate ownership.

pub fn affected( &self, changed: impl IntoIterator<Item = FactId>, ) -> Vec<ConclusionId>

Computes the exact conclusion closure affected by changed facts.

pub fn conclusions(&self) -> impl ExactSizeIterator<Item = &ConclusionId>

Iterates over every declared conclusion in canonical order.

pub fn depends_on(&self, conclusion: &ConclusionId, fact: &FactId) -> bool

Returns whether one exact conclusion-to-fact dependency is declared.

pub fn contains_fact(&self, fact: &FactId) -> bool

Returns whether a fact belongs to the sealed semantic universe.

pub fn explain( &self, conclusion: &ConclusionId, fact: &FactId, ) -> Result<Explanation, ClosureError>

Explains one exact conclusion-to-fact dependency.

Trait Implementations

impl Clone for FederatedClosure

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FederatedClosure

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

Formats the value using the given formatter.

impl Eq for FederatedClosure

impl PartialEq for FederatedClosure

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FederatedClosure