Struct LogicalFact 

pub struct LogicalFact {
    pub fact_id: String,
    pub statement: String,
    pub confidence: f64,
    pub derived_from: Vec<String>,
    pub source: String,
    pub is_persistent: bool,
}

A logical fact in the knowledge base

Fields

fact_id: String

Unique identifier

statement: String

Statement

confidence: f64

Confidence (0.0 - 1.0)

derived_from: Vec<String>

Derived from (rule or constraint IDs)

source: String

Source (asserted, derived, external)

is_persistent: bool

Is persistent?

Implementations

impl LogicalFact

pub fn new(fact_id: &str, statement: &str, confidence: f64) -> Self

Create a new fact

pub fn derived(fact_id: &str, statement: &str, from: &str) -> Self

Create a derived fact

Trait Implementations

impl Clone for LogicalFact

fn clone(&self) -> LogicalFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicalFact

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LogicalFact

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for LogicalFact

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.