public class Tables extends Object
Modifier and Type | Field and Description |
---|---|
Map<IntVar,IntVar> |
aliasTable |
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 |
addAlias(IntVar b,
IntVar v) |
void |
addFloat(String ident,
double val)
It adds an float parameter.
|
void |
addFloatArray(String ident,
double[] array) |
void |
addFloatVariable(String ident,
FloatVar var)
It adds a variable with a given identity to the storage.
|
void |
addInt(String ident,
int val)
It adds an int parameter.
|
void |
addIntArray(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 |
addSearchFloatArray(Var[] v)
It adds a search array.
|
void |
addSearchFloatVar(Var v)
It adds a search variable.
|
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(String ident,
IntDomain val)
It adds a set of the given identity.
|
void |
addSetArray(String ident,
IntDomain[] array)
It adds the set array to the storage.
|
void |
addSetVariable(String ident,
SetVar var)
It adds the set variable of the given identity.
|
void |
addSetVariableArray(String ident,
SetVar[] array)
It stores the array of the set variables with the specified identity.
|
void |
addVariable(String ident,
IntVar var)
It adds a variable with a given identity to the storage.
|
void |
addVariableArray(String ident,
IntVar[] array)
It adds a variable array to the storage.
|
void |
addVariableFloatArray(String ident,
FloatVar[] array)
It adds a float variable array to the storage.
|
Double |
checkFloat(String ident)
It returns an Double parameter of a given identity.
|
Integer |
checkInt(String ident)
It returns an Integer parameter of a given identity.
|
IntVar |
getConstant(int c) |
BooleanVar |
getConstantBoolean(int c) |
double |
getFloat(String ident)
It returns an float parameter of a given identity.
|
double[] |
getFloatArray(String ident)
It obtains the int array of the given unique identity.
|
FloatVar |
getFloatConstant(double c) |
FloatVar |
getFloatVariable(String ident)
It returns the variable of the given identity.
|
int |
getInt(String ident)
It returns an int parameter of a given identity.
|
int[] |
getIntArray(String ident)
It obtains the int array of the given unique identity.
|
int |
getNumberBoolVariables() |
int |
getNumberFloatVariables() |
int |
getNumberSetVariables() |
IntDomain |
getSet(String ident)
It returns the set of the given identity.
|
IntDomain[] |
getSetArray(String ident)
It returns the set array of the given id.
|
SetVar |
getSetVariable(String ident)
It returns the set variable of the given identity.
|
SetVar[] |
getSetVariableArray(String ident)
It returns the array of set variables of the given identity.
|
IntVar |
getVariable(String ident)
It returns the variable of the given identity.
|
IntVar[] |
getVariableArray(String ident)
It returns the variable array of the given identity.
|
FloatVar[] |
getVariableFloatArray(String ident)
It returns the float variable array of the given identity.
|
boolean |
isOutput(Var v)
It checks whether a variable is output variable.
|
void |
setNumberBoolVariables(int n) |
void |
setNumberFloatVariables(int n) |
void |
setNumberOfAllVariables(int nb,
int ns,
int nf) |
void |
setNumberSetVariables(int n) |
String |
toString() |
public Tables()
public Tables(Store s)
public IntVar getConstant(int c)
public BooleanVar getConstantBoolean(int c)
public FloatVar getFloatConstant(double c)
public void addInt(String ident, int val)
ident
- the identity of the added int parameter.val
- the value of the parameter.public int getInt(String ident)
ident
- the identify of the parameter.public Integer checkInt(String ident)
ident
- the identify of the parameter.public void addFloat(String ident, double val)
ident
- the identity of the added int parameter.val
- the value of the parameter.public double getFloat(String ident)
ident
- the identify of the parameter.public Double checkFloat(String ident)
ident
- the identify of the parameter.public void addIntArray(String ident, int[] array)
ident
- the identity of the stored array.array
- the array being stored.public int[] getIntArray(String ident)
ident
- the identity of the required array.public void addSet(String ident, IntDomain val)
ident
- the identity of the set being added.val
- the set being added.public IntDomain getSet(String ident)
ident
- the identity of the searched set.public void addSetArray(String ident, IntDomain[] array)
ident
- the identity of the added set array.array
- the array being added.public IntDomain[] getSetArray(String ident)
ident
- the unique id of the looked for set array.public void addFloatArray(String ident, double[] array)
public double[] getFloatArray(String ident)
ident
- the identity of the required array.public void addVariable(String ident, IntVar var)
ident
- the identity of the added variable.var
- the variable being added.public IntVar getVariable(String ident)
ident
- the identity of the returned variable.public void addFloatVariable(String ident, FloatVar var)
ident
- the identity of the added variable.var
- the variable being added.public FloatVar getFloatVariable(String ident)
ident
- the identity of the returned variable.public void addVariableArray(String ident, IntVar[] array)
ident
- the identity of the added variable array.array
- the array of variables being added.public IntVar[] getVariableArray(String ident)
ident
- the identity of the returned variable array.public void addVariableFloatArray(String ident, FloatVar[] array)
ident
- the identity of the added variable array.array
- the array of variables being added.public FloatVar[] getVariableFloatArray(String ident)
ident
- the identity of the returned variable array.public void addSetVariable(String ident, SetVar var)
ident
- the identity of the added set variable.var
- the set variable being added.public SetVar getSetVariable(String ident)
ident
- the identity of the returned set variable.public void addSetVariableArray(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(String ident)
ident
- the identity of the returned array of set variables.public void addOutVar(Var v)
v
- the output variable being added.public boolean isOutput(Var v)
v
- the variable to be checked.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 addSearchFloatVar(Var v)
v
- the search variable being added.public void addSearchArray(Var[] v)
v
- the search array being added.public void addSearchFloatArray(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
- array of set variables being addedpublic void setNumberOfAllVariables(int nb, int ns, int nf)
public void setNumberBoolVariables(int n)
public int getNumberBoolVariables()
public void setNumberFloatVariables(int n)
public int getNumberFloatVariables()
public void setNumberSetVariables(int n)
public int getNumberSetVariables()
Copyright © 2022. All rights reserved.