public class Dimension extends java.lang.Object
Dimension(int dim)
int
getDimension()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Dimension(int dim)
public int getDimension()
Copyright © 2003-2019 The KeY-Project.