Struct Hyperedge 

pub struct Hyperedge {
    pub predicate: String,
    pub vertex_positions: Vec<Option<VertexId>>,
}

A positive body atom, as a hyperedge over VertexIds.

vertex_positions[i] = Some(vid) means argument position i of the atom is the variable vid. vertex_positions[i] = None means position i is either a constant or an anonymous wildcard — both leave the position out of the join graph.

Fields

predicate: String

Predicate name, copied from the source Atom.

vertex_positions: Vec<Option<VertexId>>

Per-argument vertex assignment. None for constants and anonymous wildcards.

Implementations

impl Hyperedge

pub fn arity(&self) -> usize

Arity of the underlying atom.

pub fn vertices(&self) -> Vec<VertexId>

Distinct variable VertexIds referenced by this hyperedge, in source position order, deduplicated.

Trait Implementations

impl Clone for Hyperedge

fn clone(&self) -> Hyperedge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Hyperedge

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

Formats the value using the given formatter.

impl PartialEq for Hyperedge

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

impl StructuralPartialEq for Hyperedge