Struct ConclusionTemplate 

pub struct ConclusionTemplate {
    pub description: String,
    pub literal_template: String,
    pub is_negated: bool,
}

Template for the scheme’s conclusion.

literal_template is a string with ?slot references that get resolved against the bindings at instantiation time. is_negated controls whether the resulting argumentation::aspic::Literal is constructed via Literal::neg (for rebut-concluding schemes like ad hominem) or Literal::atom.

Fields

description: String

Human-readable description (e.g., “?claim is plausibly true”).

literal_template: String

The literal name template. Slot references prefixed with ? are replaced with bound values during instantiation.

is_negated: bool

If true, the conclusion is constructed as a negated literal. Required for rebuttal-concluding schemes (ad hominem, argument from negative consequences, slippery slope, etc.).

Implementations

impl ConclusionTemplate

pub fn positive( description: impl Into<String>, literal_template: impl Into<String>, ) -> Self

Convenience constructor for a positive (non-negated) conclusion.

pub fn negated( description: impl Into<String>, literal_template: impl Into<String>, ) -> Self

Convenience constructor for a negated conclusion (e.g., ad hominem concluding ¬claim).

Trait Implementations

impl Clone for ConclusionTemplate

fn clone(&self) -> ConclusionTemplate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConclusionTemplate

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

Formats the value using the given formatter.

impl PartialEq for ConclusionTemplate

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

impl StructuralPartialEq for ConclusionTemplate