public class VARDEFS extends Object
VARDEFS()
void
addVar(Variable aVar)
List<Variable>
getVars()
int
getVNum()
setVars(List<Variable> value)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public VARDEFS()
public int getVNum()
public List<Variable> getVars()
public void setVars(List<Variable> value)
value
public void addVar(Variable aVar)
aVar
Copyright © 2019. All rights reserved.