Trait relp::algorithm::two_phase::matrix_provider::filter::generic_wrapper::IntoFilteredColumn

pub trait IntoFilteredColumn: Column {
    type Filtered: Column<F = Self::F> + OrderedColumn;
    fn into_filtered(self, to_remove: &[usize]) -> Self::Filtered;
}

Remove a set of rows from a column.

Note that only constraint rows should be removed.

Associated Types

type Filtered: Column<F = Self::F> + OrderedColumn

The type used to represent the filtered version of the column.

This will often be Self.

This type has no lifetime attached to it, because it is likely better to filter once and then iterate over references of the filtered object, rather than to filter repeatedly while iterating.

Loading content...

Required methods

fn into_filtered(self, to_remove: &[usize]) -> Self::Filtered

Filter the column.

Arguments

• to_remove: Indices of rows to remove.

Loading content...

Implementors

impl<F: 'static> IntoFilteredColumn for Column<F> where
    F: Field, 

type Filtered = Column<F>

fn into_filtered(self, to_filter: &[usize]) -> Self::Filtered

Loading content...