Struct relp::algorithm::two_phase::matrix_provider::filter::generic_wrapper::RemoveRows

pub struct RemoveRows<'a, MP> {
    pub rows_to_skip: Vec<usize>,
    // some fields omitted
}

Wraps a MatrixProvider, acting as if rows were removed from the inner matrix provider.

Used for deleting duplicate constraints after finding primal feasibility.

Only constraint rows should be deleted, variable bounds should remain intact. TODO(DOCUMENTATION): Check the above property.

Fields

rows_to_skip: Vec<usize>

List of rows that this method removes.

Sorted at all times.

Implementations

impl<'provider, MP> RemoveRows<'provider, MP> where
    MP: MatrixProvider, 

pub fn new(provider: &'provider MP, rows_to_skip: Vec<usize>) -> Self

Create a new RemoveRows instance.

Arguments

• provider: Reference to an instance implementing the MatrixProvider trait. Rows from this provider will be removed.
• rows_to_skip: A sorted list of rows that are skipped.

Return value

A new RemoveRows instance.

#[must_use]

pub fn get_underlying_row_index(&self, i: usize) -> usize

Get the index of the same row in the original MatrixProvider.

Arguments

• i: Index of row in the version of the problem from which rows were removed (this struct).

Return value

Index of row in the original problem.

pub fn delete_row(&mut self, i: usize)

Delete a row

Arguments

• i: Index of row in the version of the problem from which rows were removed (this struct).

#[must_use]

pub fn nr_constraints_deleted(&self) -> usize

How many constraints were removed.

Trait Implementations

impl<'a, MP: Debug> Debug for RemoveRows<'a, MP>

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

Formats the value using the given formatter.

impl<'provider, MP> Display for RemoveRows<'provider, MP> where
    MP: MatrixProvider<Column: IntoFilteredColumn>,
    <<MP as MatrixProvider>::Column as IntoFilteredColumn>::Filtered: OrderedColumn, 

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

Formats the value using the given formatter.

impl<'provider, MP> FeasibilityLogic for RemoveRows<'provider, MP> where
    MP: MatrixProvider<Column: IntoFilteredColumn> + FeasibilityLogic, 

fn is_feasible(&self, j: usize, value: <MP::Column as Column>::F) -> bool

Whether a variable is integer.

fn closest_feasible(
    &self,
    j: usize,
    value: <MP::Column as Column>::F
) -> (Option<<MP::Column as Column>::F>, Option<<MP::Column as Column>::F>)

Closest feasible variable to the left and right.

impl<'provider, MP> Filtered for RemoveRows<'provider, MP> where
    MP: MatrixProvider<Column: IntoFilteredColumn>, 

fn filtered_rows(&self) -> &[usize]

The rows that were removed.

impl<'provider, MP> MatrixProvider for RemoveRows<'provider, MP> where
    MP: MatrixProvider<Column: IntoFilteredColumn>, 

fn nr_constraints(&self) -> usize

This implementation assumes that only constraint rows are removed from the MatrixProvider.

fn nr_variable_bounds(&self) -> usize

This implementation assumes that only constraint rows are removed from the MatrixProvider.

type Column = <MP::Column as IntoFilteredColumn>::Filtered

Representation of a column of the matrix.

type Cost = MP::Cost

Cost row type.

type Rhs = MP::Rhs

Right hand side type.

fn column(&self, j: usize) -> Self::Column

Column of the problem.

fn cost_value(&self, j: usize) -> Self::Cost

Cost of a variable.

fn right_hand_side(&self) -> DenseVector<Self::Rhs>

Constraint values.

fn bound_row_index(&self, j: usize, bound_type: BoundDirection) -> Option<usize>

Index of the row of a virtual bound, if any.

fn nr_rows(&self) -> usize

The total number of rows in the provided virtual matrix.

fn nr_columns(&self) -> usize

The total number of columns in the provided virtual matrix. This does not include artificial variables; those are virtually represented by the Artificial TableauType.

fn reconstruct_solution<G>(
    &self,
    column_values: SparseVector<G, G>
) -> SparseVector<G, G> where
    G: SparseElement<G> + SparseComparator, 

Reconstruct a solution.

impl<'a, MP: PartialEq> PartialEq<RemoveRows<'a, MP>> for RemoveRows<'a, MP>

fn eq(&self, other: &RemoveRows<'a, MP>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &RemoveRows<'a, MP>) -> bool

This method tests for !=.

impl<'a, MP> StructuralPartialEq for RemoveRows<'a, MP>