|
|||||||
| 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 | ||||||