Struct NegativeKnowledge 

pub struct NegativeKnowledge { /* private fields */ }

Session-scoped negative knowledge store.

Implementations

impl NegativeKnowledge

pub fn new() -> Self

pub fn mark_irrelevant(&mut self, path: &str)

Mark a file as irrelevant to the current task.

pub fn is_irrelevant(&self, path: &str) -> bool

Check if a file has been marked as irrelevant.

pub fn record_dead_end_query(&mut self, query: &str)

Record a dead-end search query.

pub fn is_dead_end_query(&self, query: &str) -> bool

Check if a similar query was already a dead end.

pub fn record_absent(&mut self, path: &str, feature: &str)

Record that a specific feature/symbol is absent from a file.

pub fn is_absent(&self, path: &str, feature: &str) -> bool

Check if a feature was already confirmed absent from a file.

pub fn invalidate(&mut self, path: &str)

Invalidate negative knowledge for a file (e.g., after edit).

pub fn stats(&self) -> (usize, usize, usize)

Summary for diagnostics.

pub fn reset(&mut self)

Trait Implementations

impl Clone for NegativeKnowledge

fn clone(&self) -> NegativeKnowledge

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NegativeKnowledge

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

Formats the value using the given formatter.

impl Default for NegativeKnowledge

fn default() -> NegativeKnowledge

Returns the “default value” for a type.