Struct Statement 

pub struct Statement {
    pub id: String,
    pub text: String,
    pub prior: TruthValue,
    pub evidence: Vec<RelativeEvidence>,
    pub dependencies: Vec<Dependency>,
    pub truth: TruthValue,
}

A dependent statement inside a Context.

A statement carries its own assumed-true prior and base evidence (weighed exactly as StatementAssessment does elsewhere), plus zero or more Dependency edges onto other statements in the same context. Its truth is the value Context::recalculate last computed; it is graph-visible via Context::links_notation.

Fields

id: String

Content-addressed id, stable over the statement text.

text: String

The statement text.

prior: TruthValue

The assumed-true prior before any evidence or dependency is weighed.

evidence: Vec<RelativeEvidence>

Base evidence weighed against this statement.

dependencies: Vec<Dependency>

Edges onto the statements this one depends on.

truth: TruthValue

The probability last computed by Context::recalculate.

Implementations

impl Statement

pub fn new(text: impl Into<String>) -> Self

Build a statement with the module default ASSUMED_TRUE_PRIOR and no dependencies. Its initial truth is its own evidence-only posterior.

pub fn with_evidence(self, evidence: RelativeEvidence) -> Self

Attach base evidence, returning self for chaining.

pub fn with_dependency(self, dependency: Dependency) -> Self

Attach a dependency edge, returning self for chaining.

pub fn with_prior(self, prior: impl Into<TruthValue>) -> Self

Override the assumed-true prior, returning self for chaining.

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl PartialEq for Statement

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Statement