|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ve.Variable
This class is the class of variables.
Field Summary | |
protected java.lang.String[] |
domain
domain is the array of values this variable can take. |
protected java.lang.String |
name
the external name of the variable |
private static int |
nextId
the identifier of the next variable; also the number of variables assigned. |
private int |
uniqueId
the unique identifier of the variable. |
Constructor Summary | |
Variable(java.lang.String varName,
java.lang.String[] domainArray)
Variable constructor creates a variable. |
Method Summary | |
int |
compareTo(java.lang.Object var)
compares two Variables. |
java.lang.String[] |
getDomain()
returns the domain, the array of values this variable can take. |
int |
getId()
get the unique identifier of the variable |
java.lang.String |
getName()
returns the external name of the variable |
int |
hashCode()
returns a code useful for hashing |
Methods inherited from class java.lang.Object |
|
Field Detail |
protected java.lang.String name
protected java.lang.String[] domain
private static int nextId
private int uniqueId
Constructor Detail |
public Variable(java.lang.String varName, java.lang.String[] domainArray)
varName
- string representation of the namedomainString
- a string consisting of the domain elements
separated by commas.Method Detail |
public java.lang.String getName()
public java.lang.String[] getDomain()
public int getId()
public int compareTo(java.lang.Object var)
public int hashCode()
hashCode
in class java.lang.Object
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |