Class 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
-
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
Full constructor. (no copy)- Parameters:
columnIndices
-rowIndexHistory
-
-
-
Method Details
-
getColumnIndices
-
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
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 classjava.lang.Object
-
equals
public boolean equals(java.lang.Object o)- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-