Struct BreadthFirstSearch 

pub struct BreadthFirstSearch { /* private fields */ }

Breadth-first search implementation

Implementations

impl BreadthFirstSearch

pub fn new(max_depth: usize, kb: KnowledgeBase) -> Self

Create a new breadth-first search

pub fn new_with_engine( max_depth: usize, kb: KnowledgeBase, engine: Option<Arc<Mutex<IncrementalEngine>>>, ) -> Self

Create BFS with optional engine for TMS integration

pub fn search_with_execution( &mut self, root_goal: &mut Goal, facts: &mut Facts, kb: &KnowledgeBase, ) -> SearchResult

Search for a proof of the goal using BFS WITH rule execution

pub fn search(&mut self, root_goal: &mut Goal, _facts: &Facts) -> SearchResult

Search for a proof of the goal using BFS (old method, kept for compatibility)