Skip to main content

BackjumpConfig

csp_solver::solver::backjump

Struct BackjumpConfig

pub struct BackjumpConfig {
    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 backjumping 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 BackjumpConfig

impl RefUnwindSafe for BackjumpConfig

impl Send for BackjumpConfig

impl Sync for BackjumpConfig

impl Unpin for BackjumpConfig

impl UnsafeUnpin for BackjumpConfig

impl UnwindSafe for BackjumpConfig

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.