Struct InductionVar 

pub struct InductionVar {
    pub local_slot: u16,
    pub is_module_binding: bool,
    pub bound_cmp: IntCC,
    pub bound_slot: Option<u16>,
    pub step_value: Option<i64>,
}

An induction variable: a local or module binding that follows the pattern var = var + step each iteration.

Fields

local_slot: u16

The local variable slot used as induction variable

is_module_binding: bool

Whether this is a module binding (true) or local variable (false)

bound_cmp: IntCC

Comparison condition used in loop test

bound_slot: Option<u16>

The local slot that the induction var is compared against (bound)

step_value: Option<i64>

The constant step value (e.g. 1 for i = i + 1), if detected

Trait Implementations

impl Clone for InductionVar

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 InductionVar

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

Formats the value using the given formatter.