Struct ExhaustiveSearchNode 

pub struct ExhaustiveSearchNode<S: PlanningSolution> { /* private fields */ }

A node in the exhaustive search tree.

Each node represents a partial solution state, containing:

• The depth in the search tree (number of variables assigned)
• The score at this node
• An optimistic bound (best possible score from this node)
• The move sequence to reach this node from the root

Implementations

impl<S: PlanningSolution> ExhaustiveSearchNode<S>

pub fn root(score: S::Score) -> Self

Creates a new root node.

pub fn child( parent_index: usize, depth: usize, score: S::Score, entity_index: usize, value_index: usize, ) -> Self

Creates a child node.

pub fn depth(&self) -> usize

Returns the depth of this node.

pub fn score(&self) -> &S::Score

Returns the score at this node.

pub fn set_score(&mut self, score: S::Score)

Sets the score at this node.

pub fn optimistic_bound(&self) -> Option<&S::Score>

Returns the optimistic bound for this node.

pub fn set_optimistic_bound(&mut self, bound: S::Score)

Sets the optimistic bound for this node.

pub fn entity_index(&self) -> Option<usize>

Returns the entity index being assigned at this node.

pub fn value_index(&self) -> Option<usize>

Returns the value index assigned at this node.

pub fn parent_index(&self) -> Option<usize>

Returns the parent node index.

pub fn is_expanded(&self) -> bool

Returns whether this node has been expanded.

pub fn mark_expanded(&mut self)

Marks this node as expanded.

pub fn is_leaf(&self, total_entities: usize) -> bool

Returns whether this node is a leaf (all entities assigned).

pub fn can_prune(&self, best_score: &S::Score) -> bool

Checks if this node can be pruned based on the best score.

A node can be pruned if its optimistic bound is worse than or equal to the best score found so far.

Trait Implementations

impl<S: Clone + PlanningSolution> Clone for ExhaustiveSearchNode<S>

where S::Score: Clone,

fn clone(&self) -> ExhaustiveSearchNode<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug + PlanningSolution> Debug for ExhaustiveSearchNode<S>

where S::Score: Debug,

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

Formats the value using the given formatter.