Struct Variable 

pub struct Variable { /* private fields */ }

A symbolic variable for dynamic tensor dimensions.

Wraps a DEFINE_VAR UOp with known bounds [min_val, max_val]. Variables are created unbound, then bound to concrete values via bind().

The same Variable can be bound to different values for different executions, enabling dynamic batch sizes, sequence lengths, etc.

Implementations

impl Variable

pub fn new(name: &str, min_val: i64, max_val: i64) -> Self

Create a new symbolic variable with inclusive bounds.

Arguments

• name - Unique variable name (used as kernel parameter name)
• min_val - Minimum allowed value (inclusive)
• max_val - Maximum allowed value (inclusive)

Panics

Panics if min_val > max_val.

pub fn bind(&self, val: i64) -> Result<BoundVariable>

Bind this variable to a concrete value.

Returns a BoundVariable whose as_sint() can be used as a tensor dimension.

Errors

Returns VariableOutOfRange if val is outside [min_val, max_val].

pub fn name(&self) -> &str

Variable name.

pub fn bounds(&self) -> (i64, i64)

Inclusive bounds (min_val, max_val).

pub fn as_sint(&self) -> SInt

Get the underlying DEFINE_VAR UOp as an SInt.

This is useful for constructing shapes that use the variable’s max value for buffer allocation (unbound variable → allocate to max).

pub fn uop(&self) -> &Arc<UOp>

Get the underlying DEFINE_VAR UOp.

Trait Implementations

impl Clone for Variable

fn clone(&self) -> Variable

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.