Struct InferResult 

pub struct InferResult { /* private fields */ }

Implementations

impl InferResult

pub fn new() -> Self

pub fn from_fact(fact: &Fact) -> Self

将 fact 同时记入展示行与 Self::inferred_facts。

pub fn is_empty(&self) -> bool

pub fn infer_lines(&self) -> &[String]

用于 CLI / JSON infer_facts：按顺序的文本行（含 new_fact 写入的事实字符串与 new_with_msg 的文本）。

pub fn infer_lines_unique_in_order(&self) -> Vec<String>

Same as Self::infer_lines but drops repeated strings while keeping first occurrence order (for JSON / CLI).

pub fn inferred_facts(&self) -> &[Fact]

结构化推断事实（与 Self::infer_lines 中由事实产生的行对应）。

pub fn join_infer_lines(&self, sep: &str) -> String

pub fn new_with_msg(&mut self, msg: String)

pub fn new_fact(&mut self, fact: &Fact)

pub fn push_atomic_fact(&mut self, atomic_fact: &AtomicFact)

pub fn new_infer_result_inside(&mut self, other_infer_result: InferResult)

Trait Implementations

impl Clone for InferResult

fn clone(&self) -> InferResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferResult

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

Formats the value using the given formatter.