MatrixRow

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 Summary

Constructors

Constructor Description

MatrixRow(IndexSet columnIndices, IndexSet rowIndexHistory)
Full constructor.

Method Summary

Modifier and Type	Method	Description
`void`	`addXor(MatrixRow other)`	Combine this and other in Z_2, modifying this.
`boolean`	`equals(java.lang.Object o)`
`int`	`getBiggestColumnIndex()`
`int`	`getColumnCount()`
`IndexSet`	`getColumnIndices()`
`IndexSet`	`getRowIndexHistory()`
`java.util.ArrayList<java.lang.Integer>`	`getRowIndexHistoryAsList()`
`int`	`hashCode()`
`boolean`	`isNullVector()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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