Struct SearchParams 

pub struct SearchParams {
    pub pruning: Pruning,
    pub ordering: Ordering,
    pub max_solutions: usize,
    pub node_budget: Option<u64>,
    pub cancel: Option<CancelToken>,
}

Shared, immutable search parameters. Collapses the three former per-mode config structs (BacktrackConfig / BackjumpConfig / OptimizeConfig), which differed only in a maximize bool and each carried its own cloned copy of constraint_weights + var_constraint_ids. Those read-only vectors are now borrowed by the kernel, so they live nowhere in this struct.

Fields

pruning: Pruning

ordering: Ordering

max_solutions: usize

node_budget: Option<u64>

Node budget (search-frame count). None disables. See crate::SolveConfig::node_budget.

cancel: Option<CancelToken>

Cooperative cancellation handle, checked at the same cadence as node_budget. None disables. See crate::SolveConfig::cancel.

Trait Implementations

impl Clone for SearchParams

fn clone(&self) -> SearchParams

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SearchParams

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

Formats the value using the given formatter.