Struct HypergraphProjection 

pub struct HypergraphProjection { /* private fields */ }

Materialized directed hypergraph projection.

This view exposes OxGraph canonical topology through oxgraph-hyper traits. Its physical arrays are BCSR-shaped: relation-major participant arrays plus vertex-major incoming/outgoing hyperedge arrays.

Performance

Cloning is O(v + h + p) for vertices, hyperedges, and participants.

Implementations

impl HypergraphProjection

pub const fn definition(&self) -> &HypergraphProjectionDefinition

Returns the definition used for this projection.

Performance

This method is O(1).

Trait Implementations

impl CanonicalElementIdentity for HypergraphProjection

type CanonicalElementId = ElementId

Canonical element ID guaranteed by this view.

fn canonical_element_id( &self, element: Self::ElementId, ) -> Self::CanonicalElementId

Returns the canonical ID for a visible local element.

impl CanonicalIncidenceIdentity for HypergraphProjection

type CanonicalIncidenceId = IncidenceId

Canonical incidence ID guaranteed by this view.

fn canonical_incidence_id( &self, incidence: Self::IncidenceId, ) -> Self::CanonicalIncidenceId

Returns the canonical ID for a visible local incidence.

impl CanonicalRelationIdentity for HypergraphProjection

type CanonicalRelationId = RelationId

Canonical relation ID guaranteed by this view.

fn canonical_relation_id( &self, relation: Self::RelationId, ) -> Self::CanonicalRelationId

Returns the canonical ID for a visible local relation.

impl Clone for HypergraphProjection

fn clone(&self) -> HypergraphProjection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl ContainsElement for HypergraphProjection

fn contains_element(&self, element: Self::ElementId) -> bool

Returns whether element is valid and visible in this view.

impl ContainsIncidence for HypergraphProjection

fn contains_incidence(&self, incidence: Self::IncidenceId) -> bool

Returns whether incidence is valid and visible in this view.

impl ContainsRelation for HypergraphProjection

fn contains_relation(&self, relation: Self::RelationId) -> bool

Returns whether relation is valid and visible in this view.

impl Debug for HypergraphProjection

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

Formats the value using the given formatter.

impl DirectedHyperedgeIncidences for HypergraphProjection

type SourceIncidences<'view> = Copied<Iter<'view, ProjectionIncidenceId>> where Self: 'view

Iterator over source-side participant incidence IDs.

type TargetIncidences<'view> = Copied<Iter<'view, ProjectionIncidenceId>> where Self: 'view

Iterator over target-side participant incidence IDs.

fn source_incidences( &self, hyperedge: Self::RelationId, ) -> Self::SourceIncidences<'_>

Returns source-side participant incidence IDs for hyperedge.

fn target_incidences( &self, hyperedge: Self::RelationId, ) -> Self::TargetIncidences<'_>

Returns target-side participant incidence IDs for hyperedge.

impl DirectedHyperedgeParticipants for HypergraphProjection

type SourceParticipants<'view> = Copied<Iter<'view, ProjectionElementId>> where Self: 'view

Iterator over source-side participants in one directed hyperedge.

type TargetParticipants<'view> = Copied<Iter<'view, ProjectionElementId>> where Self: 'view

Iterator over target-side participants in one directed hyperedge.

fn source_participants( &self, hyperedge: Self::RelationId, ) -> Self::SourceParticipants<'_>

Returns source-side participants for hyperedge.

fn target_participants( &self, hyperedge: Self::RelationId, ) -> Self::TargetParticipants<'_>

Returns target-side participants for hyperedge.

impl DirectedVertexHyperedges for HypergraphProjection

type OutgoingHyperedges<'view> = Copied<Iter<'view, ProjectionRelationId>> where Self: 'view

Iterator over hyperedges where the vertex is source-side.

type IncomingHyperedges<'view> = Copied<Iter<'view, ProjectionRelationId>> where Self: 'view

Iterator over hyperedges where the vertex is target-side.

fn outgoing_hyperedges( &self, vertex: Self::ElementId, ) -> Self::OutgoingHyperedges<'_>

Returns hyperedges where vertex participates on the source side.

fn incoming_hyperedges( &self, vertex: Self::ElementId, ) -> Self::IncomingHyperedges<'_>

Returns hyperedges where vertex participates on the target side.

impl ElementIncidenceCount for HypergraphProjection

fn element_incidence_count(&self, element: Self::ElementId) -> usize

Returns the number of incidences attached to element.

impl ElementIncidences for HypergraphProjection

type Incidences<'view> = Copied<Iter<'view, ProjectionIncidenceId>> where Self: 'view

Iterator over incidence IDs for one element.

fn element_incidences(&self, element: Self::ElementId) -> Self::Incidences<'_>

Returns incidences attached to element.

impl ElementIndex for HypergraphProjection

fn element_bound(&self) -> usize

Returns the exclusive upper bound for element indexes in this view.

fn element_index(&self, element: Self::ElementId) -> usize

Returns the dense index for element in this view.

impl ElementPredecessors for HypergraphProjection

type Predecessors<'view> = Copied<Iter<'view, ProjectionElementId>> where Self: 'view

Iterator over predecessor element IDs reaching one element.

fn element_predecessors( &self, element: Self::ElementId, ) -> Self::Predecessors<'_>

Returns elements that reach element through outgoing connections.

impl ElementSuccessors for HypergraphProjection

type Successors<'view> = Copied<Iter<'view, ProjectionElementId>> where Self: 'view

Iterator over successor element IDs reached from one element.

fn element_successors(&self, element: Self::ElementId) -> Self::Successors<'_>

Returns elements reachable through outgoing connections from element.

impl Eq for HypergraphProjection

impl HyperedgeParticipants for HypergraphProjection

type Participants<'view> = HyperedgeParticipants<'view> where Self: 'view

Iterator over vertices participating in one hyperedge.

fn hyperedge_participants( &self, hyperedge: Self::RelationId, ) -> Self::Participants<'_>

Returns vertices participating in hyperedge.

impl HypergraphCounts for HypergraphProjection

fn vertex_count(&self) -> usize

Returns the number of vertices visible in this hypergraph view.

fn hyperedge_count(&self) -> usize

Returns the number of hyperedges visible in this hypergraph view.

impl IncidenceBase for HypergraphProjection

type IncidenceId = ProjectionIncidenceId

Identity of one element’s participation in one relation.

type Role = RoleId

Implementation-defined participation role.

impl IncidenceCounts for HypergraphProjection

fn incidence_count(&self) -> usize

Returns the number of incidences visible in this topology view.

impl IncidenceElement for HypergraphProjection

fn incidence_element(&self, incidence: Self::IncidenceId) -> Self::ElementId

Returns the element participating through incidence.

impl IncidenceIndex for HypergraphProjection

fn incidence_bound(&self) -> usize

Returns the exclusive upper bound for incidence indexes in this view.

fn incidence_index(&self, incidence: Self::IncidenceId) -> usize

Returns the dense index for incidence in this view.

impl IncidenceRelation for HypergraphProjection

fn incidence_relation(&self, incidence: Self::IncidenceId) -> Self::RelationId

Returns the relation containing incidence.

impl IncidenceRole for HypergraphProjection

fn incidence_role(&self, incidence: Self::IncidenceId) -> Self::Role

Returns the role for incidence.

impl IncidentHyperedges for HypergraphProjection

type IncidentHyperedges<'view> = IncidentHyperedgesIter<'view> where Self: 'view

Iterator over hyperedges incident to one vertex.

fn incident_hyperedges( &self, vertex: Self::ElementId, ) -> Self::IncidentHyperedges<'_>

Returns hyperedges incident to vertex.

impl LocalElementIdentity for HypergraphProjection

fn local_element_id( &self, canonical: Self::CanonicalElementId, ) -> Option<Self::ElementId>

Returns the visible local element for canonical, if present.

impl LocalIncidenceIdentity for HypergraphProjection

fn local_incidence_id( &self, canonical: Self::CanonicalIncidenceId, ) -> Option<Self::IncidenceId>

Returns the visible local incidence for canonical, if present.

impl LocalRelationIdentity for HypergraphProjection

fn local_relation_id( &self, canonical: Self::CanonicalRelationId, ) -> Option<Self::RelationId>

Returns the visible local relation for canonical, if present.

impl PartialEq for HypergraphProjection

fn eq(&self, other: &HypergraphProjection) -> 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 RelationIncidenceCount for HypergraphProjection

fn relation_incidence_count(&self, relation: Self::RelationId) -> usize

Returns the number of incidences attached to relation.

impl RelationIncidences for HypergraphProjection

type Incidences<'view> = Copied<Iter<'view, ProjectionIncidenceId>> where Self: 'view

Iterator over incidence IDs for one relation.

fn relation_incidences( &self, relation: Self::RelationId, ) -> Self::Incidences<'_>

Returns incidences attached to relation.

impl RelationIndex for HypergraphProjection

fn relation_bound(&self) -> usize

Returns the exclusive upper bound for relation indexes in this view.

fn relation_index(&self, relation: Self::RelationId) -> usize

Returns the dense index for relation in this view.

impl StructuralPartialEq for HypergraphProjection

impl TopologyBase for HypergraphProjection

type ElementId = ProjectionElementId

Identity of a topology element.

type RelationId = ProjectionRelationId

Identity of a topology relation.

impl TopologyCounts for HypergraphProjection

fn element_count(&self) -> usize

Returns the number of elements visible in this topology view.

fn relation_count(&self) -> usize

Returns the number of relations visible in this topology view.