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

    • createMatrix

      public 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.
      Parameters:
      congruences -
      factors_2_columnIndices -
      Returns: