Enum Var 

pub enum Var {
    VarI {
        min: i32,
        max: i32,
    },
    VarF {
        min: f32,
        max: f32,
    },
}

Domain for a decision variable

Variants

VarI

interval of integers

Fields

min: i32

max: i32

VarF

interval of floating-point numbers

Fields

min: f32

max: f32

Implementations

impl Var

pub fn is_assigned(&self) -> bool

Assigned variables have a domain reduced to a singleton.

pub fn mid(&self) -> Val

Midpoint of domain for easier binary splits.

pub fn get_assignment(&self) -> Val

Extract assignment for decision variable.

Panics

This function will panic if the decision variable is not assigned.

Trait Implementations

impl Clone for Var

fn clone(&self) -> Var

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Var

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

Formats the value using the given formatter.