Struct Variable

pub struct Variable {
    pub id: u32,
    pub bounds: (i64, i64),
}

Variable data structure has two properties, “id” and “bounds”. An instance of Variable is used to reference to Statement or an input into a Theory.

Fields

id: u32

bounds: (i64, i64)

Implementations

impl Variable

pub fn to_lineq_neg(&self) -> GeLineq

A negated linear inequality representation of a Variable.

Example:

use puanrs::polyopt::Variable;
use puanrs::polyopt::GeLineq;
let variable: Variable = Variable {
    id      : 0,
    bounds  : (0,1)
};
let actual: GeLineq = variable.to_lineq_neg();
assert_eq!(actual.bias, 0);
assert_eq!(actual.bounds, vec![(0,1)]);
assert_eq!(actual.coeffs, vec![-1]);
assert_eq!(actual.indices, vec![0]);

pub fn to_variable_float(&self) -> VariableFloat

Trait Implementations

impl Clone for Variable

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Variable

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

Formats the value using the given formatter.

impl PartialEq for Variable

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Variable

impl Eq for Variable