Struct AutomatedReasoningLogicStatement 

#[non_exhaustive]
pub struct AutomatedReasoningLogicStatement {
    pub logic: String,
    pub natural_language: Option<String>,
}

Represents a logical statement that can be expressed both in formal logic notation and natural language, providing dual representations for better understanding and validation.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

logic: String

The formal logic representation of the statement using mathematical notation and logical operators.

natural_language: Option<String>

The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.

Implementations

impl AutomatedReasoningLogicStatement

pub fn logic(&self) -> &str

The formal logic representation of the statement using mathematical notation and logical operators.

pub fn natural_language(&self) -> Option<&str>

The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.

impl AutomatedReasoningLogicStatement

pub fn builder() -> AutomatedReasoningLogicStatementBuilder

Creates a new builder-style object to manufacture AutomatedReasoningLogicStatement.

Trait Implementations

impl Clone for AutomatedReasoningLogicStatement

fn clone(&self) -> AutomatedReasoningLogicStatement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AutomatedReasoningLogicStatement

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

Formats the value using the given formatter.

impl PartialEq for AutomatedReasoningLogicStatement

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