Struct RelationDef 

pub struct RelationDef {
    pub cardinality: Option<Cardinality>,
    pub inverse: Option<String>,
    pub means: Option<String>,
}

A relation definition declared in a config’s relations block — the structural half of an entry, parallel to the reference-style half (RelationStyleConfig). This is what makes a workspace’s vocabulary self-describing (DESIGN §1, the prov/1 spec): a foreign reader learns the graph — which fields are relations, their inverse, their cardinality — from the document itself rather than assuming prov’s contents/part_of preset. Each field is optional; a relations entry may carry only style, only definition, or both.

Fields

cardinality: Option<Cardinality>

How many targets the field may hold (one / many). None leaves the relation’s cardinality to whatever the built RelationSet defaults it to (many, the permissive choice) when this def creates the relation.

inverse: Option<String>

The reciprocal relation’s field name, bidirectionally maintained.

means: Option<String>

A free-form, human-facing gloss of what the relation means. prov never reads this back (DESIGN §2, tier 3) — it is documentation that travels with the data so a person reading the frontmatter learns the vocabulary too.

Trait Implementations

impl Clone for RelationDef

fn clone(&self) -> RelationDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelationDef

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

Formats the value using the given formatter.

impl Default for RelationDef

fn default() -> RelationDef

Returns the “default value” for a type.

impl Eq for RelationDef

impl PartialEq for RelationDef

fn eq(&self, other: &RelationDef) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RelationDef