|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PNMatrix | |
pipe.dataLayer | |
pipe.dataLayer.calculations | |
pipe.modules.invariantAnalysis |
Uses of PNMatrix in pipe.dataLayer |
Methods in pipe.dataLayer that return PNMatrix | |
PNMatrix |
PNMatrix.appendVector(PNMatrix X)
Append a column matrix (vector) to the right of another matrix. |
static PNMatrix |
PNMatrix.constructWithCopy(int[][] A)
Construct a matrix from a copy of a 2-D array. |
PNMatrix |
PNMatrix.copy()
Make a deep copy of a matrix |
PNMatrix |
PNMatrix.eliminateCol(int toDelete)
Eliminate a column from the matrix, column index is toDelete |
PNMatrix |
PNMatrix.nonZeroIndices()
Form a matrix with columns the row indices of non-zero elements. |
PNMatrix |
PNMatrix.getMatrix(int i0,
int i1,
int j0,
int j1)
Get a submatrix. |
PNMatrix |
PNMatrix.getMatrix(int[] r,
int[] c)
Get a submatrix. |
PNMatrix |
PNMatrix.getMatrix(int i0,
int i1,
int[] c)
Get a submatrix. |
PNMatrix |
PNMatrix.getMatrix(int[] r,
int j0,
int j1)
Get a submatrix. |
PNMatrix |
PNMatrix.transpose()
Matrix transpose. |
PNMatrix |
PNMatrix.uminus()
Unary minus |
PNMatrix |
PNMatrix.plus(PNMatrix B)
C = A + B |
PNMatrix |
PNMatrix.plusEquals(PNMatrix B)
A = A + B |
PNMatrix |
PNMatrix.minus(PNMatrix B)
C = A - B |
PNMatrix |
PNMatrix.minusEquals(PNMatrix B)
A = A - B |
PNMatrix |
PNMatrix.timesEquals(int s)
Multiply a matrix by an int in place, A = s*A |
PNMatrix |
PNMatrix.divideEquals(int s)
Divide a matrix by an int in place, A = s*A |
static PNMatrix |
PNMatrix.identity(int m,
int n)
Generate identity matrix] |
Methods in pipe.dataLayer with parameters of type PNMatrix | |
PNMatrix |
PNMatrix.appendVector(PNMatrix X)
Append a column matrix (vector) to the right of another matrix. |
void |
PNMatrix.setMatrix(int i0,
int i1,
int j0,
int j1,
PNMatrix X)
Set a submatrix. |
void |
PNMatrix.setMatrix(int[] r,
int[] c,
PNMatrix X)
Set a submatrix. |
void |
PNMatrix.setMatrix(int[] r,
int j0,
int j1,
PNMatrix X)
Set a submatrix. |
void |
PNMatrix.setMatrix(int i0,
int i1,
int[] c,
PNMatrix X)
Set a submatrix. |
PNMatrix |
PNMatrix.plus(PNMatrix B)
C = A + B |
PNMatrix |
PNMatrix.plusEquals(PNMatrix B)
A = A + B |
PNMatrix |
PNMatrix.minus(PNMatrix B)
C = A - B |
PNMatrix |
PNMatrix.minusEquals(PNMatrix B)
A = A - B |
int |
PNMatrix.vectorTimes(PNMatrix B)
Multiply a row matrix by a column matrix, A = s*A |
Uses of PNMatrix in pipe.dataLayer.calculations |
Fields in pipe.dataLayer.calculations declared as PNMatrix | |
PNMatrix |
myTree.CPlus
|
PNMatrix |
myTree.CMinus
|
Constructors in pipe.dataLayer.calculations with parameters of type PNMatrix | |
myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus)
|
|
myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus)
|
|
myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus,
StateList statespace,
DataLayer pnmldata)
|
|
myTree(int[] tree_root,
PNMatrix plus,
PNMatrix minus,
StateList statespace,
DataLayer pnmldata)
|
Uses of PNMatrix in pipe.modules.invariantAnalysis |
Methods in pipe.modules.invariantAnalysis that return PNMatrix | |
PNMatrix |
InvariantAnalysis.findVectors(PNMatrix C)
Transform a matrix to obtain the minimal generating set of vectors. |
Methods in pipe.modules.invariantAnalysis with parameters of type PNMatrix | |
PNMatrix |
InvariantAnalysis.findVectors(PNMatrix C)
Transform a matrix to obtain the minimal generating set of vectors. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |