Class RichMatrixFactory
java.lang.Object
de.tilman_neumann.jml.factor.base.matrixSolver.RichMatrixFactory
public class RichMatrixFactory
extends java.lang.Object
Helper class to create a "rich" (not "sparse") matrix from a collection of congruences.
This matrix representation takes only one bit per (row x column) entry and can be manipulated with 64 bits at once.
-
Constructor Summary
Constructors Constructor Description RichMatrixFactory()
-
Method Summary
Modifier and Type Method Description static java.util.List<MatrixRow>
createMatrix(java.util.List<Smooth> congruences, java.util.Map<java.lang.Integer,java.lang.Integer> factors_2_columnIndices)
Create the matrix.Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Constructor Details
-
RichMatrixFactory
public RichMatrixFactory()
-
-
Method Details