Struct copper::VarIdBinary

pub struct VarIdBinary(/* private fields */);

Wrapper to provide specific helper methods for binary decision variables.

Trait Implementations

impl Clone for VarIdBinary

fn clone(&self) -> VarIdBinary

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VarIdBinary

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

Formats the value using the given formatter.

impl View for VarIdBinary

fn try_set_min(self, min: i32, ctx: &mut Context<'_>) -> Option<i32>

Try to set the provided value as domain minimum, failing the search space on infeasibility.

fn try_set_max(self, max: i32, ctx: &mut Context<'_>) -> Option<i32>

Try to the set provided value as domain maximum, failing the search space on infeasibility.

fn get_underlying_var(self) -> Option<VarId>

Get the handle of the variable this view depends on.

fn min(self, ctx: &Context<'_>) -> i32

Access domain minimum.

fn max(self, ctx: &Context<'_>) -> i32

Access domain maximum.

impl Copy for VarIdBinary