blog
Class MatrixType

java.lang.Object
  blog.Type
      blog.MatrixType

public class MatrixType
extends Type

Represents a matrix or vector type.

Constructor Summary

MatrixType(java.lang.String name, int rows, int columns, Type supertype)

Method Summary

NonRandomFunction	getConstructor() Returns a non-random function that takes rows*cols real numbers as arguments, and returns a matrix of this type.
int	getNumCols()
int	getNumRows()

Methods inherited from class blog.Type

addGuaranteedObject, addOriginFunction, addPOP, getCanonicalTerm, getCreationIndex, getDefaultValue, getGuaranteedObject, getGuaranteedObjects, getGuaranteedObjIndex, getName, getOriginFunctions, getPOPs, getPOPWithOriginFuncs, getPOPWithOriginFuncs, getStrictAncestors, hasFiniteGuaranteed, isBuiltIn, isSubtypeOf, print, range, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MatrixType

public MatrixType(java.lang.String name,
                  int rows,
                  int columns,
                  Type supertype)

Method Detail

getNumRows

public int getNumRows()

getNumCols

public int getNumCols()

getConstructor

public NonRandomFunction getConstructor()

Returns a non-random function that takes rows*cols real numbers as arguments, and returns a matrix of this type. The arguments are interpreted as entries in the matrix in row-major order.