public class Tables
extends java.lang.Object
Constructor and Description |
---|
Tables()
It constructs the storage object to store different objects, like int, array of ints, sets, ...
|
Tables(Store s) |
Modifier and Type | Method and Description |
---|---|
void |
addInt(java.lang.String ident,
int val)
It adds an int parameter.
|
void |
addIntArray(java.lang.String ident,
int[] array)
It stores an int array.
|
void |
addOutArray(OutputArrayAnnotation v)
It adds an output array annotation.
|
void |
addOutVar(Var v)
It adds an output variable.
|
void |
addSearchArray(Var[] v)
It adds a search array.
|
void |
addSearchSetArray(Var[] v)
It adds an array of search set variables.
|
void |
addSearchSetVar(Var v)
It adds a search set variable.
|
void |
addSearchVar(Var v)
It adds a search variable.
|
void |
addSet(java.lang.String ident,
IntDomain val)
It adds a set of the given identity.
|
void |
addSetArray(java.lang.String ident,
IntDomain[] array)
It adds the set array to the storage.
|
void |
addSetVariable(java.lang.String ident,
SetVar var)
It adds the set variable of the given identity.
|
void |
addSetVariableArray(java.lang.String ident,
SetVar[] array)
It stores the array of the set variables with the specified identity.
|
void |
addVariable(java.lang.String ident,
IntVar var)
It adds a variable with a given identity to the storage.
|
void |
addVariableArray(java.lang.String ident,
IntVar[] array)
It adds a variable array to the storage.
|
java.lang.Integer |
checkInt(java.lang.String ident)
It returns an Integer parameter of a given identity.
|
int |
getInt(java.lang.String ident)
It returns an int parameter of a given identity.
|
int[] |
getIntArray(java.lang.String ident)
It obtains the int array of the given unique identity.
|
IntDomain |
getSet(java.lang.String ident)
It returns the set of the given identity.
|
IntDomain[] |
getSetArray(java.lang.String ident)
It returns the set array of the given id.
|
SetVar |
getSetVariable(java.lang.String ident)
It returns the set variable of the given identity.
|
SetVar[] |
getSetVariableArray(java.lang.String ident)
It returns the array of set variables of the given identity.
|
IntVar |
getVariable(java.lang.String ident)
It returns the variable of the given identity.
|
IntVar[] |
getVariableArray(java.lang.String ident)
It returns the variable array of the given identity.
|
java.lang.String |
toString() |
public Tables()
public Tables(Store s)
public void addInt(java.lang.String ident, int val)
ident
- the identity of the added int parameter.val
- the value of the parameter.public int getInt(java.lang.String ident)
ident
- the identify of the parameter.public java.lang.Integer checkInt(java.lang.String ident)
ident
- the identify of the parameter.public void addIntArray(java.lang.String ident, int[] array)
ident
- the identity of the stored array.array
- the array being stored.public int[] getIntArray(java.lang.String ident)
ident
- the identity of the required array.public void addSet(java.lang.String ident, IntDomain val)
ident
- the identity of the set being added.val
- the set being added.public IntDomain getSet(java.lang.String ident)
ident
- the identity of the searched set.public void addSetArray(java.lang.String ident, IntDomain[] array)
ident
- the identity of the added set array.array
- the array being added.public IntDomain[] getSetArray(java.lang.String ident)
ident
- the unique id of the looked for set array.public void addVariable(java.lang.String ident, IntVar var)
ident
- the identity of the added variable.var
- the variable being added.public IntVar getVariable(java.lang.String ident)
ident
- the identity of the returned variable.public void addVariableArray(java.lang.String ident, IntVar[] array)
ident
- the identity of the added variable array.array
- the array of variables being added.public IntVar[] getVariableArray(java.lang.String ident)
ident
- the identity of the returned variable array.public void addSetVariable(java.lang.String ident, SetVar var)
ident
- the identity of the added set variable.var
- the set variable being added.public SetVar getSetVariable(java.lang.String ident)
ident
- the identity of the returned set variable.public void addSetVariableArray(java.lang.String ident, SetVar[] array)
ident
- the identity of the stored array of set variables.array
- the array of set variables being added.public SetVar[] getSetVariableArray(java.lang.String ident)
ident
- the identity of the returned array of set variables.public void addOutVar(Var v)
v
- the output variable being added.public void addOutArray(OutputArrayAnnotation v)
v
- the output array annotation being added.public void addSearchVar(Var v)
v
- the search variable being added.public void addSearchArray(Var[] v)
v
- the search array being added.public void addSearchSetVar(Var v)
v
- the set search variable being added.public void addSearchSetArray(Var[] v)
v
- public java.lang.String toString()
toString
in class java.lang.Object