Struct SpectralSum 

pub struct SpectralSum {
    pub var: Var,
    pub lanes: Vec<Lane>,
}

Fields

var: Var

lanes: Vec<Lane>

Implementations

impl SpectralSum

pub fn of(var: Var, lanes: Vec<Lane>) -> SpectralSum

pub fn mono(var: Var, atoms: Vec<SpectralAtom>) -> SpectralSum

pub fn width(&self) -> usize

pub fn atoms(&self) -> impl Iterator<Item = &SpectralAtom>

pub fn located(self, origin: Origin) -> SpectralSum

The same value, every atom and term naming origin as where it was written.

Trait Implementations

impl Clone for SpectralSum

fn clone(&self) -> SpectralSum

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpectralSum

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

Formats the value using the given formatter.

impl PartialEq for SpectralSum

fn eq(&self, other: &SpectralSum) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SpectralSum