StrictDivisionExt

furiosa_visa_std::prelude

Trait StrictDivisionExt 

Source 
pub trait StrictDivisionExt {
    // Required methods
    fn remainder(&self, side: DivisionSide) -> FMapping;
    fn bounds(&self) -> RVec<TermBounds>;
}
Expand description

Methods specific to Division<Strict>.

Required Methods§

Source

fn remainder(&self, side: DivisionSide) -> FMapping

Returns the original mapping with matched terms removed.

Source

fn bounds(&self) -> RVec<TermBounds>

Returns per-term padding bounds reconstructed from the strict residue.

Implementors§