Struct GoalManager 

pub struct GoalManager { /* private fields */ }

Manager for goal-driven reasoning

Implementations

impl GoalManager

pub fn new(max_depth: usize) -> Self

Create a new goal manager

pub fn add_goal(&mut self, goal: Goal)

Add a new goal to pursue

pub fn next_pending(&mut self) -> Option<&mut Goal>

Get the next pending goal to work on

pub fn is_cached(&self, pattern: &str) -> Option<bool>

Check if a goal pattern has been proven before (memoization)

pub fn cache_result(&mut self, pattern: String, proven: bool)

Cache the result of proving a goal

pub fn is_too_deep(&self, depth: usize) -> bool

Check if we’ve exceeded maximum depth

pub fn goals(&self) -> &[Goal]

Get all goals

pub fn clear(&mut self)

Clear all goals and cache

Trait Implementations

impl Debug for GoalManager

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

Formats the value using the given formatter.

impl Default for GoalManager

fn default() -> Self

Returns the “default value” for a type.