Struct LinearFunction 

pub struct LinearFunction {
    pub a: i64,
    pub b: i64,
    pub iv: LcnfVarId,
}

A linear function a * i + b of an induction variable i.

Used during OSR to describe expressions that are computable from the IV by cheap arithmetic.

Fields

a: i64

Coefficient a (multiplier of IV).

b: i64

Constant offset b.

iv: LcnfVarId

The induction variable.

Implementations

impl LinearFunction

pub fn new(iv: LcnfVarId, a: i64, b: i64) -> Self

pub fn eval(&self, iv_val: i64) -> i64

Evaluate this linear function symbolically for a given IV value.

pub fn is_identity(&self) -> bool

Return true if this is just the identity 1 * i + 0.

Trait Implementations

impl Clone for LinearFunction

fn clone(&self) -> LinearFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearFunction

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

Formats the value using the given formatter.

impl Display for LinearFunction

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

Formats the value using the given formatter.

impl PartialEq for LinearFunction

fn eq(&self, other: &LinearFunction) -> 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 StructuralPartialEq for LinearFunction