Expand description
Hypergraph IR data types: vertices (variables) and hyperedges (atoms).
Construction is via HypergraphRule::from_rule. The resulting
structure preserves the rule’s variable identity (no renaming) and
the body atoms’ source order. Anonymous wildcards (_) are NOT
treated as vertices — each occurrence is a fresh unconstrained
position and contributes nothing to the join graph.
Structs§
- Hyperedge
- A positive body atom, as a hyperedge over
VertexIds. - Hypergraph
Rule - A rule body represented as a hypergraph.
- Vertex
- A variable in the rule body.
- Vertex
Id - Stable index into a
HypergraphRule::verticesvector.