Struct splr::assign::Var

pub struct Var {
    pub index: VarId,
    // some fields omitted
}

Object representing a variable.

Fields

index: VarId

reverse conversion to index. Note VarId must be usize.

Implementations

impl Var

pub fn new_vars(n: usize) -> Vec<Var>

return a new vector of $n$ Vars.

pub fn activity(&self, _: f64) -> f64

Trait Implementations

impl Clone for Var

fn clone(&self) -> Var

Returns a copy of the value.

pub 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.

impl Default for Var

fn default() -> Var

Returns the “default value” for a type.

impl Display for Var

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

Formats the value using the given formatter.

impl FlagIF for Var

fn is(&self, flag: Flag) -> bool

return true if the flag in on.

fn set(&mut self, f: Flag, b: bool)

set the flag.

fn turn_off(&mut self, flag: Flag)

toggle the flag off.

fn turn_on(&mut self, flag: Flag)

toggle the flag on.

impl From<usize> for Var

fn from(i: usize) -> Self

Performs the conversion.