Expand description
Storage-agnostic traits for discrete topology views.
oxgraph-topology defines the minimal vocabulary shared by graph,
hypergraph, snapshot, and layout crates. It does not define concrete node,
edge, vertex, hyperedge, incidence, storage, or role types. Implementations
provide those through associated types.
This crate defines read-view capabilities. Mutation belongs in explicit capability traits that define identity stability, deletion, compaction, and stale-handle semantics.
A topology view is any value that exposes topology through these traits. The view decides its own boundary: an entire snapshot, one layout section, a generated projection, a page-sized window, or an overlay can all be views if they provide the requested capabilities.
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
Incidence - Incidence-ID containment capability for an incidence-capable topology view.
- Contains
Relation - Relation-ID containment capability for a topology view.
- 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.
- 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
View - Convenience trait for views that can resolve complete incidence records.
- Incidence
Weight - Optional total weight capability for topology incidences.
- 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.
- 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.
Type Aliases§
- Element
Id - Substrate-neutral alias for a topology view’s element ID type.
- Relation
Id - Substrate-neutral alias for a topology view’s relation ID type.