Struct SearchBudget 

pub struct SearchBudget {
    pub max_expansions: Option<usize>,
    pub max_duration: Option<Duration>,
}

Shared search-budget types used across problem models (owner: core). Caller-chosen expansion and/or wall-clock limits for one search.

Both fields are independent optional caps. Default / Self::UNLIMITED means the solver runs until found, no-path, or an owner-defined hard stop.

Fields

max_expansions: Option<usize>

Maximum algorithm-defined expansions (see lane visited_nodes docs).

When set, the solver may expand at most this many nodes. Finding the goal on the last allowed expansion still returns found.

max_duration: Option<Duration>

Maximum wall-clock duration measured from search start (BudgetWatch::start).

Implementations

impl SearchBudget

pub const UNLIMITED: SearchBudget

No expansion or wall-clock limit.

pub const fn max_expansions(limit: usize) -> SearchBudget

Expansion-only budget.

pub const fn max_duration(limit: Duration) -> SearchBudget

Wall-clock-only budget.

pub const fn with_max_expansions(self, limit: usize) -> SearchBudget

Sets Self::max_expansions, preserving any duration limit.

pub const fn with_max_duration(self, limit: Duration) -> SearchBudget

Sets Self::max_duration, preserving any expansion limit.

pub const fn is_unlimited(&self) -> bool

Whether both caps are unset.

Trait Implementations

impl Clone for SearchBudget

fn clone(&self) -> SearchBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SearchBudget

impl Debug for SearchBudget

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

Formats the value using the given formatter.

impl Default for SearchBudget

fn default() -> SearchBudget

Returns the “default value” for a type.

impl Eq for SearchBudget

impl PartialEq for SearchBudget

fn eq(&self, other: &SearchBudget) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SearchBudget