Struct PremiseSlot 

pub struct PremiseSlot {
    pub name: String,
    pub description: String,
    pub role: SlotRole,
}

A named premise slot in a scheme.

When instantiated with bindings, each slot maps to a concrete value (e.g., slot “expert” → “alice”).

Fields

name: String

Slot name (used as the binding key, e.g., “expert”, “claim”, “domain”).

description: String

Human-readable description of what this slot represents.

role: SlotRole

What role this slot plays in the scheme.

Implementations

impl PremiseSlot

pub fn new( name: impl Into<String>, description: impl Into<String>, role: SlotRole, ) -> Self

Convenience constructor.

Trait Implementations

impl Clone for PremiseSlot

fn clone(&self) -> PremiseSlot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PremiseSlot

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

Formats the value using the given formatter.

impl PartialEq for PremiseSlot

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

impl StructuralPartialEq for PremiseSlot