Expand description
Storage-agnostic traits for hypergraph views.
oxgraph-hyper is the hypergraph specialization above oxgraph-topology. Use it
to write generic hypergraph consumers over vertex, hyperedge, participant,
incident-hyperedge, and directed participant-set vocabulary.
Hypergraph views use topology elements as vertices, topology relations as hyperedges, and topology incidences as participant records. Concrete layouts, snapshots, builders, mutation systems, payloads, and algorithms belong in higher-level crates.
§Performance contract
Most of the traits and aliases in this crate are hypergraph-vocabulary
shadows of topology traits. Unless a specific item documents otherwise,
every method, iterator, and alias inherits its performance contract from
the underlying topology trait it shadows: O(1) for accessors, O(1) to
construct an iterator plus O(k) to yield k items, and perf: unspecified for capability-bundle marker traits and blanket impls.
Traits§
- Canonical
Element Identity - Optional local-to-canonical element identity capability.
- Canonical
Incidence Identity - Optional local-to-canonical incidence identity capability.
- Canonical
Relation Identity - Optional local-to-canonical relation identity capability.
- Contains
Element - Element-ID containment capability for a topology view.
- Contains
Hyperedge - Hyperedge-ID containment capability for hypergraph views.
- Contains
Incidence - Incidence-ID containment capability for an incidence-capable topology view.
- Contains
Participant - Participant-ID containment capability for hypergraph views with incidences.
- Contains
Relation - Relation-ID containment capability for a topology view.
- Contains
Vertex - Vertex-ID containment capability for hypergraph views.
- Directed
Hyperedge Incidences - Capability for traversing directed participant incidence IDs.
- Directed
Hyperedge Participants - Capability for traversing directed hyperedge participant sets.
- Directed
Hypergraph - Convenience marker for complete directed hypergraph traversal.
- Directed
Vertex Hyperedges - Capability for traversing source/target hyperedges incident to a vertex.
- Directed
Vertex Predecessors - Capability for expanding a directed hypergraph vertex to predecessor vertices.
- Directed
Vertex Successors - Capability for expanding a directed hypergraph vertex to successor vertices.
- Element
Incidence Count - Exact element-incidence count capability.
- Element
Incidences - Capability for traversing incidences attached to an element.
- Element
Index - Dense element-index capability for topology views.
- Element
Predecessors - Capability for expanding an element to its directed predecessor elements.
- Element
Successors - Capability for expanding an element to its directed successor elements.
- Element
Weight - Optional total weight capability for topology elements.
- Hyperedge
Incidences - Capability for traversing participant records attached to one hyperedge.
- Hyperedge
Index - Dense hyperedge-index capability for hypergraph views.
- Hyperedge
Participant Count - Exact hyperedge-participant count capability.
- Hyperedge
Participants - Capability for traversing vertices participating in one hyperedge.
- Hypergraph
- Convenience marker bundling hyperedge participants and incident hyperedges.
- Hypergraph
Base - Base capability for hypergraph views over topology storage.
- Hypergraph
Counts - Count capability for a hypergraph view.
- Incidence
Base - Incidence identity and role vocabulary for topology views with incidences.
- Incidence
Counts - Count capability for incidence-capable topology views.
- Incidence
Element - Capability for resolving the element side of an incidence.
- Incidence
Index - Dense incidence-index capability for topology views.
- Incidence
Relation - Capability for resolving the relation side of an incidence.
- Incidence
Role - Capability for resolving a role attached to an incidence.
- Incidence
Weight - Optional total weight capability for topology incidences.
- Incident
Hyperedge Count - Exact incident-hyperedge count capability.
- Incident
Hyperedges - Capability for traversing hyperedges incident to one vertex.
- Local
Element Identity - Optional canonical-to-local element identity capability.
- Local
Incidence Identity - Optional canonical-to-local incidence identity capability.
- Local
Relation Identity - Optional canonical-to-local relation identity capability.
- Participant
Base - Base capability for hypergraph views that expose participant records.
- Participant
Counts - Participant-record count capability for hypergraph views.
- Participant
Hyperedge - Capability for resolving the hyperedge that carries a participant record.
- Participant
Index - Dense participant-index capability for hypergraph views with incidences.
- Participant
Role Of - Capability for resolving the role recorded for a participant.
- Participant
Vertex - Capability for resolving the vertex carried by a participant record.
- Relation
Incidence Count - Exact relation-incidence count capability.
- Relation
Incidences - Capability for traversing incidences attached to a relation.
- Relation
Index - Dense relation-index capability for topology views.
- Relation
Weight - Optional total weight capability for topology relations.
- Topology
Base - Common element and relation identity vocabulary for a topology view.
- Topology
Counts - Count capability for a topology view.
- Topology
Id - Marker trait for compact topology identity handles.
- Vertex
Incidences - Capability for traversing participant records attached to one vertex.
- Vertex
Index - Dense vertex-index capability for hypergraph views.
Type Aliases§
- Hyperedge
Id - Hypergraph-facing alias for a topology relation ID (hyperedge).
- Participant
Id - Hypergraph-facing alias for a topology incidence ID (participant record).
- Participant
Role - Hypergraph-facing alias for a topology incidence role used to distinguish source, target, input, output, or implementation-defined participant categories on directed or role-aware hypergraph views.
- Vertex
Id - Hypergraph-facing alias for a topology element ID (vertex).