Struct IterativeDeepeningSearch 

pub struct IterativeDeepeningSearch { /* private fields */ }

Iterative deepening search implementation

Implementations

impl IterativeDeepeningSearch

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

Create a new iterative deepening search

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

Create with optional IncrementalEngine for TMS integration

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

Search with execution: probe with increasing depth using non-executing DFS, then run a final executing DFS at the discovered depth to mutate facts.

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

Non-executing search using iterative deepening (probes only)