public class Shape
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
void |
addVariable(Variable var) |
int |
getNumberOfVars() |
DimensionSet |
getShape() |
Variable |
getVariable(int index) |
VariableSet |
getVariables() |
Variable |
isCoordVar(int index) |
boolean |
memberOf(Variable var) |
java.lang.String |
toString() |
public Shape(Variable var)
public void addVariable(Variable var)
public DimensionSet getShape()
public VariableSet getVariables()
public int getNumberOfVars()
public Variable getVariable(int index)
public boolean memberOf(Variable var)
public Variable isCoordVar(int index)
public java.lang.String toString()
toString in class java.lang.Object