Stores information about the size of a matrix. Specifically, for an n-dimensional matrix n, a Dimensions object is abstractly a vector consisting of n integers; the ith integer in the vector represents the size of the ith dimension of a matrix.
@specfield n: int
@specfield dimensions: [0..n) -> one int
@specfield capacity: dimensions[0] x ... x dimensions[n-1]
@invariant n > 0
@author Emina Torlak
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.