Struct SearchControl 

pub struct SearchControl {
    pub order: SearchOrder,
    pub seed: u64,
    pub max_work: Option<u64>,
    pub max_results: Option<usize>,
    pub max_frontier: Option<usize>,
    pub max_memory_nodes: Option<usize>,
    pub max_time: Option<Duration>,
    pub branch_and_bound: bool,
    pub costs: WorkCosts,
}

Bounds, ordering, seed, and accounting policy for one search run.

Fields

order: SearchOrder

Deterministic frontier ordering policy.

seed: u64

Caller-supplied seed recorded in the receipt digest.

max_work: Option<u64>

Optional maximum charged work.

max_results: Option<usize>

Optional maximum number of emitted outputs.

max_frontier: Option<usize>

Optional maximum frontier length.

max_memory_nodes: Option<usize>

Optional maximum frontier + results node count.

max_time: Option<Duration>

Optional wall-clock deadline for the run.

branch_and_bound: bool

Whether lower-bound pruning uses the best emitted output score.

costs: WorkCosts

Per-operation work charges.

Implementations

impl SearchControl

pub fn with_order(self, order: SearchOrder) -> SearchControl

Return a copy with a different deterministic frontier order.

pub fn with_seed(self, seed: u64) -> SearchControl

Return a copy with a different receipt seed.

pub fn with_max_work(self, max_work: u64) -> SearchControl

Return a copy with a maximum charged-work bound.

pub fn with_max_results(self, max_results: usize) -> SearchControl

Return a copy with a maximum emitted-result bound.

pub fn with_max_frontier(self, max_frontier: usize) -> SearchControl

Return a copy with a maximum frontier bound.

pub fn with_max_memory_nodes(self, max_memory_nodes: usize) -> SearchControl

Return a copy with a maximum frontier + results bound.

pub fn with_max_time(self, max_time: Duration) -> SearchControl

Return a copy with a wall-clock deadline.

pub fn with_branch_and_bound(self, enabled: bool) -> SearchControl

Return a copy with branch-and-bound pruning enabled or disabled.

pub fn with_costs(self, costs: WorkCosts) -> SearchControl

Return a copy with explicit per-operation work costs.

Trait Implementations

impl Clone for SearchControl

fn clone(&self) -> SearchControl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SearchControl

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

Formats the value using the given formatter.

impl Default for SearchControl

fn default() -> SearchControl

Returns the “default value” for a type.

impl Eq for SearchControl

impl PartialEq for SearchControl

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SearchControl