Skip to main content

BacktrackConfig

csp_solver::solver::backtrack

Struct BacktrackConfig

pub struct BacktrackConfig {
    pub pruning: Pruning,
    pub ordering: Ordering,
    pub max_solutions: usize,
    pub constraint_weights: Vec<f64>,
    pub var_constraint_ids: Vec<Vec<usize>>,
    pub node_budget: Option<u64>,
}

Expand description

Configuration for backtracking search.

Fields§

§pruning: Pruning§ordering: Ordering§max_solutions: usize§constraint_weights: Vec<f64>§var_constraint_ids: Vec<Vec<usize>>§node_budget: Option<u64>

Maximum number of search nodes before aborting early. See crate::SolveConfig::node_budget.

Auto Trait Implementations§

impl Freeze for BacktrackConfig

impl RefUnwindSafe for BacktrackConfig

impl Send for BacktrackConfig

impl Sync for BacktrackConfig

impl Unpin for BacktrackConfig

impl UnsafeUnpin for BacktrackConfig

impl UnwindSafe for BacktrackConfig

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.