Struct GoalDecomposition 

pub struct GoalDecomposition {
    pub goal: Predicate,
    pub subgoals: Vec<Predicate>,
    pub rule_applied: Option<Rule>,
    pub local_solutions: Vec<bool>,
    pub depth: usize,
}

Goal decomposition tracking for distributed reasoning

Fields

goal: Predicate

The original goal

subgoals: Vec<Predicate>

Subgoals after decomposition

rule_applied: Option<Rule>

The rule used for decomposition (if any)

local_solutions: Vec<bool>

Whether each subgoal was solved locally

depth: usize

Depth in the decomposition tree

Implementations

impl GoalDecomposition

pub fn new(goal: Predicate, depth: usize) -> Self

Create a new decomposition for a goal

pub fn apply_rule(&mut self, rule: &Rule)

Apply a rule to decompose the goal

pub fn mark_solved(&mut self, index: usize)

Mark a subgoal as solved locally

pub fn is_complete(&self) -> bool

Check if all subgoals are solved

pub fn unsolved_subgoals(&self) -> Vec<&Predicate>

Get unsolved subgoals (for distributed forwarding)

Trait Implementations

impl Clone for GoalDecomposition

fn clone(&self) -> GoalDecomposition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GoalDecomposition

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

Formats the value using the given formatter.