Struct Tensor 

pub struct Tensor {
    pub name: String,
    pub rows: usize,
    pub cols: usize,
    pub role: Role,
    pub elem: Elem,
    pub fill: Option<Fill>,
    pub storage: Storage,
    pub range: Option<Interval>,
    pub observed: bool,
    pub carried: bool,
}

One tensor of the graph: its shape as the program gives it (rows × cols), and its facts.

Fields

name: String

rows: usize

cols: usize

role: Role

elem: Elem

fill: Option<Fill>

The values the program declares it with; None for a tensor an op computes.

storage: Storage

range: Option<Interval>

The interval an integer tensor is proven to hold over the step; None for a float, and for an integer no bound is proven for.

observed: bool

A statement other than an op reads or writes it.

carried: bool

A state the step carries to the next (super::front::carried_state): written in place and read beyond what the step writes — a cache, a ring, a memory — where a table the step assembles whole before reading is not.

Implementations

impl Tensor

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for Tensor

fn clone(&self) -> Tensor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Tensor

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

Formats the value using the given formatter.

impl PartialEq for Tensor

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

impl StructuralPartialEq for Tensor