Struct BoundVariable 

pub struct BoundVariable { /* private fields */ }

A variable bound to a concrete value.

Created by Variable::bind(). Use as_sint() to get an SInt suitable as a tensor dimension.

Implementations

impl BoundVariable

pub fn as_sint(&self) -> SInt

Get an SInt representing this bound variable.

The returned SInt::Symbolic contains BIND(DEFINE_VAR, CONST(value)), which flows through the existing shape infrastructure (reshape, permute, expand, binary ops all handle SInt::Symbolic).

pub fn value(&self) -> i64

The bound concrete value.

pub fn variable(&self) -> &Variable

The underlying variable definition.

pub fn unbind(self) -> (Variable, i64)

Decompose into the variable and its bound value.

pub fn as_var_val(&self) -> (&str, i64)

Get (name, value) pair for use with ExecutionPlan::execute_with_vars.

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

Get the underlying BIND UOp.

Trait Implementations

impl Clone for BoundVariable

fn clone(&self) -> BoundVariable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoundVariable

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

Formats the value using the given formatter.

impl From<&BoundVariable> for SInt

fn from(bv: &BoundVariable) -> SInt

Converts to this type from the input type.

impl From<BoundVariable> for SInt

fn from(bv: BoundVariable) -> SInt

Converts to this type from the input type.