Uses of Class
pipe.dataLayer.PNMatrix

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.