Struct SchemeSpec 

pub struct SchemeSpec {
    pub id: SchemeId,
    pub name: String,
    pub category: SchemeCategory,
    pub premises: Vec<PremiseSlot>,
    pub conclusion: ConclusionTemplate,
    pub critical_questions: Vec<CriticalQuestion>,
    pub metadata: SchemeMetadata,
}

The complete definition of one argumentation scheme.

A scheme is a recognisable pattern of reasoning with named premise slots, a conclusion template, and critical questions that probe its weak points. Schemes are compile-time data: each is constructed by a function in the crate::catalog module. Consumers instantiate schemes with concrete bindings via SchemeSpec::instantiate or crate::instance::instantiate.

Fields

id: SchemeId

Unique scheme id.

name: String

Canonical name (e.g., “Argument from Expert Opinion”).

category: SchemeCategory

Scheme category for catalog filtering.

premises: Vec<PremiseSlot>

Named premise slots. Order matters — the first N are the scheme’s “core premises” as defined by Walton.

conclusion: ConclusionTemplate

Conclusion template. References premise slot names via ?name syntax.

critical_questions: Vec<CriticalQuestion>

Critical questions that probe the scheme’s weak points.

metadata: SchemeMetadata

Bibliographic and classification metadata.

Implementations

impl SchemeSpec

pub fn instantiate( &self, bindings: &HashMap<String, String>, ) -> Result<SchemeInstance, Error>

Instantiate this scheme with concrete bindings. Convenience method that delegates to crate::instance::instantiate.

pub fn key(&self) -> String

The scheme’s canonical name as a snake_case identifier suitable for lookup keys and affordance mapping.

Trait Implementations

impl Clone for SchemeSpec

fn clone(&self) -> SchemeSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchemeSpec

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

Formats the value using the given formatter.

impl PartialEq for SchemeSpec

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

impl StructuralPartialEq for SchemeSpec