Uses of Class
pipe.modules.invariantAnalysis.IntMatrix

Packages that use IntMatrix
pipe.modules.invariantAnalysis   
 

Uses of IntMatrix in pipe.modules.invariantAnalysis
 

Methods in pipe.modules.invariantAnalysis that return IntMatrix
 IntMatrix IntMatrix.appendVector(IntMatrix X)
          Append a column matrix (vector) to the right of another matrix.
static IntMatrix IntMatrix.constructWithCopy(int[][] A)
          Construct a matrix from a copy of a 2-D array.
 IntMatrix IntMatrix.copy()
          Make a deep copy of a matrix
 IntMatrix IntMatrix.eliminateCol(int toDelete)
          Eliminate a column from the matrix, column index is toDelete
 IntMatrix IntMatrix.nonZeroIndices()
          Form a matrix with columns the row indices of non-zero elements.
 IntMatrix IntMatrix.getMatrix(int i0, int i1, int j0, int j1)
          Get a submatrix.
 IntMatrix IntMatrix.getMatrix(int[] r, int[] c)
          Get a submatrix.
 IntMatrix IntMatrix.getMatrix(int i0, int i1, int[] c)
          Get a submatrix.
 IntMatrix IntMatrix.getMatrix(int[] r, int j0, int j1)
          Get a submatrix.
 IntMatrix IntMatrix.transpose()
          Matrix transpose.
 IntMatrix IntMatrix.uminus()
          Unary minus
 IntMatrix IntMatrix.plus(IntMatrix B)
          C = A + B
 IntMatrix IntMatrix.plusEquals(IntMatrix B)
          A = A + B
 IntMatrix IntMatrix.minus(IntMatrix B)
          C = A - B
 IntMatrix IntMatrix.minusEquals(IntMatrix B)
          A = A - B
 IntMatrix IntMatrix.timesEquals(int s)
          Multiply a matrix by an int in place, A = s*A
 IntMatrix IntMatrix.divideEquals(int s)
          Divide a matrix by an int in place, A = s*A
static IntMatrix IntMatrix.identity(int m, int n)
          Generate identity matrix]
 IntMatrix InvariantAnalysis.findVectors(IntMatrix C)
          Transform a matrix to obtain the minimal generating set of vectors.
 

Methods in pipe.modules.invariantAnalysis with parameters of type IntMatrix
 IntMatrix IntMatrix.appendVector(IntMatrix X)
          Append a column matrix (vector) to the right of another matrix.
 void IntMatrix.setMatrix(int i0, int i1, int j0, int j1, IntMatrix X)
          Set a submatrix.
 void IntMatrix.setMatrix(int[] r, int[] c, IntMatrix X)
          Set a submatrix.
 void IntMatrix.setMatrix(int[] r, int j0, int j1, IntMatrix X)
          Set a submatrix.
 void IntMatrix.setMatrix(int i0, int i1, int[] c, IntMatrix X)
          Set a submatrix.
 IntMatrix IntMatrix.plus(IntMatrix B)
          C = A + B
 IntMatrix IntMatrix.plusEquals(IntMatrix B)
          A = A + B
 IntMatrix IntMatrix.minus(IntMatrix B)
          C = A - B
 IntMatrix IntMatrix.minusEquals(IntMatrix B)
          A = A - B
 int IntMatrix.vectorTimes(IntMatrix B)
          Multiply a row matrix by a column matrix, A = s*A
 IntMatrix InvariantAnalysis.findVectors(IntMatrix C)
          Transform a matrix to obtain the minimal generating set of vectors.