Skip to main content

OptimizeConfig

csp_solver::solver::optimize

Struct OptimizeConfig

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

Expand description

Configuration for branch-and-bound optimization.

Fields§

§pruning: Pruning§ordering: Ordering§max_solutions: usize§constraint_weights: Vec<f64>§var_constraint_ids: Vec<Vec<usize>>§maximize: bool

If true, maximize cost instead of minimize.

§node_budget: Option<u64>

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

Auto Trait Implementations§

impl Freeze for OptimizeConfig

impl RefUnwindSafe for OptimizeConfig

impl Send for OptimizeConfig

impl Sync for OptimizeConfig

impl Unpin for OptimizeConfig

impl UnsafeUnpin for OptimizeConfig

impl UnwindSafe for OptimizeConfig

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.