|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |