Struct SheafStructure 

pub struct SheafStructure { /* private fields */ }

Sheaf structure for consistency checking

A sheaf enforces that local data (sections) must agree on overlaps.

Implementations

impl SheafStructure

pub fn new() -> Self

Create a new sheaf structure

pub fn add_section(&self, section: Section) -> SectionId

Add a section to the sheaf

pub fn get_section(&self, id: &SectionId) -> Option<Section>

Get a section by ID

pub fn restrict(&self, section: &Section, subdomain: &Domain) -> Value

Restrict a section to a subdomain

This implements the restriction map ρ: F(U) → F(V) for V ⊆ U

pub fn update_sections( &mut self, hyperedge_id: HyperedgeId, entities: &[EntityId], ) -> Result<(), Error>

Update sections when a hyperedge is created

pub fn check_consistency( &self, section_ids: &[SectionId], ) -> SheafConsistencyResult

Check sheaf consistency (from pseudocode: CheckSheafConsistency)

Verifies that local sections agree on their overlaps, satisfying the sheaf axioms.

pub fn get_hyperedge_sections( &self, hyperedge_id: &HyperedgeId, ) -> Vec<SectionId>

Get sections associated with a hyperedge

Trait Implementations

impl Default for SheafStructure

fn default() -> Self

Returns the “default value” for a type.