java.lang.Object
de.tilman_neumann.jml.factor.base.matrixSolver.MatrixRow

public class MatrixRow
extends java.lang.Object
A congruence used by the matrix solver where the elements have been mapped to integer indices.
  • Constructor Details

    • MatrixRow

      public MatrixRow​(IndexSet columnIndices, IndexSet rowIndexHistory)
      Full constructor. (no copy)
      Parameters:
      columnIndices -
      rowIndexHistory -
  • Method Details

    • getColumnIndices

      public IndexSet getColumnIndices()
    • getRowIndexHistory

      public IndexSet getRowIndexHistory()
    • getRowIndexHistoryAsList

      public java.util.ArrayList<java.lang.Integer> getRowIndexHistoryAsList()
    • getBiggestColumnIndex

      public int getBiggestColumnIndex()
      Returns:
      the highest index in this row of a column set to 1.
    • getColumnCount

      public int getColumnCount()
      Returns:
      the number of columns set to 1 in this row.
    • addXor

      public void addXor​(MatrixRow other)
      Combine this and other in Z_2, modifying this. The operation in Z_2 is equivalent to "xor".
      Parameters:
      other -
    • isNullVector

      public boolean isNullVector()
      Returns:
      true if there are no odd exponent factor indices
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class java.lang.Object
    • equals

      public boolean equals​(java.lang.Object o)
      Overrides:
      equals in class java.lang.Object
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object