Struct SearchResult 

pub struct SearchResult {
    pub success: bool,
    pub path: Vec<String>,
    pub goals_explored: usize,
    pub max_depth_reached: usize,
    pub bindings: HashMap<String, Value>,
}

Result of a search operation

Fields

success: bool

Whether the goal was successfully proven

path: Vec<String>

Path taken to prove the goal (sequence of rule names)

goals_explored: usize

Number of goals explored

max_depth_reached: usize

Maximum depth reached

bindings: HashMap<String, Value>

Variable bindings from the proof

Implementations

impl SearchResult

pub fn success( path: Vec<String>, goals_explored: usize, max_depth: usize, ) -> Self

Create a successful search result

pub fn failure(goals_explored: usize, max_depth: usize) -> Self

Create a failed search result

Trait Implementations

impl Debug for SearchResult

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

Formats the value using the given formatter.