Struct EpistemicState 

pub struct EpistemicState {
    pub truth_status: TruthStatus,
    pub proof_status: ProofStatus,
    pub usefulness: Usefulness,
}

Combined memory epistemic state plus utility.

Fields

truth_status: TruthStatus

Claim truth status.

proof_status: ProofStatus

Proof closure status.

usefulness: Usefulness

Retrieval/usefulness signal.

Implementations

impl EpistemicState

pub const fn new( truth_status: TruthStatus, proof_status: ProofStatus, usefulness: Usefulness, ) -> Self

Construct a separated epistemic state.

pub fn apply_utility_signal(self, signal: UtilitySignal) -> Self

Apply utility without changing truth or proof.

pub fn with_truth_status( self, truth_status: TruthStatus, evidence: TruthTransitionEvidence, ) -> EpistemicResult<Self>

Attempt a truth transition. Utility signals are rejected.

pub fn with_proof_status( self, proof_status: ProofStatus, evidence: ProofTransitionEvidence, ) -> EpistemicResult<Self>

Attempt a proof transition. Utility signals are rejected.

Trait Implementations

impl Clone for EpistemicState

fn clone(&self) -> EpistemicState

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicState

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

Formats the value using the given formatter.

impl PartialEq for EpistemicState

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

impl StructuralPartialEq for EpistemicState