JaCoP.fz
Class Tables

java.lang.Object
  JaCoP.fz.Tables

public class Tables
extends java.lang.Object

This class contains information about all variables, including the variables which are used by search.

Author:

Krzysztof Kuchcinski

Constructor Summary

Tables()
It constructs the storage object to store different objects, like int, array of ints, sets, ...

Tables(Store s)

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Tables

public Tables()

It constructs the storage object to store different objects, like int, array of ints, sets, ... .

Tables

public Tables(Store s)

Method Detail

addInt

public void addInt(java.lang.String ident,
                   int val)

It adds an int parameter.

Parameters:

ident - the identity of the added int parameter.

val - the value of the parameter.

getInt

public int getInt(java.lang.String ident)

It returns an int parameter of a given identity.

Parameters:

ident - the identify of the parameter.

Returns:

the int value of the specified parameter.

checkInt

public java.lang.Integer checkInt(java.lang.String ident)

It returns an Integer parameter of a given identity.

Parameters:

ident - the identify of the parameter.

Returns:

the int value of the specified parameter.

addIntArray

public void addIntArray(java.lang.String ident,
                        int[] array)

It stores an int array.

Parameters:

ident - the identity of the stored array.

array - the array being stored.

getIntArray

public int[] getIntArray(java.lang.String ident)

It obtains the int array of the given unique identity.

Parameters:

ident - the identity of the required array.

Returns:

the int array with the specified identity.

addSet

public void addSet(java.lang.String ident,
                   IntDomain val)

It adds a set of the given identity.

Parameters:

ident - the identity of the set being added.

val - the set being added.

getSet

public IntDomain getSet(java.lang.String ident)

It returns the set of the given identity.

Parameters:

ident - the identity of the searched set.

Returns:

the set of the given identity.

addSetArray

public void addSetArray(java.lang.String ident,
                        IntDomain[] array)

It adds the set array to the storage.

Parameters:

ident - the identity of the added set array.

array - the array being added.

getSetArray

public IntDomain[] getSetArray(java.lang.String ident)

It returns the set array of the given id.

Parameters:

ident - the unique id of the looked for set array.

Returns:

the set array of the given identity.

addVariable

public void addVariable(java.lang.String ident,
                        IntVar var)

It adds a variable with a given identity to the storage.

Parameters:

ident - the identity of the added variable.

var - the variable being added.

getVariable

public IntVar getVariable(java.lang.String ident)

It returns the variable of the given identity.

Parameters:

ident - the identity of the returned variable.

Returns:

the variable of the given identity.

addVariableArray

public void addVariableArray(java.lang.String ident,
                             IntVar[] array)

It adds a variable array to the storage.

Parameters:

ident - the identity of the added variable array.

array - the array of variables being added.

getVariableArray

public IntVar[] getVariableArray(java.lang.String ident)

It returns the variable array of the given identity.

Parameters:

ident - the identity of the returned variable array.

Returns:

the variable array of the given identity.

addSetVariable

public void addSetVariable(java.lang.String ident,
                           SetVar var)

It adds the set variable of the given identity.

Parameters:

ident - the identity of the added set variable.

var - the set variable being added.

getSetVariable

public SetVar getSetVariable(java.lang.String ident)

It returns the set variable of the given identity.

Parameters:

ident - the identity of the returned set variable.

Returns:

the set variable of the given identity.

addSetVariableArray

public void addSetVariableArray(java.lang.String ident,
                                SetVar[] array)

It stores the array of the set variables with the specified identity.

Parameters:

ident - the identity of the stored array of set variables.

array - the array of set variables being added.

getSetVariableArray

public SetVar[] getSetVariableArray(java.lang.String ident)

It returns the array of set variables of the given identity.

Parameters:

ident - the identity of the returned array of set variables.

Returns:

the array of set variables with the given identity.

addOutVar

public void addOutVar(Var v)

It adds an output variable.

Parameters:

v - the output variable being added.

addOutArray

public void addOutArray(OutputArrayAnnotation v)

It adds an output array annotation.

Parameters:

v - the output array annotation being added.

addSearchVar

public void addSearchVar(Var v)

It adds a search variable.

Parameters:

v - the search variable being added.

addSearchArray

public void addSearchArray(Var[] v)

It adds a search array.

Parameters:

v - the search array being added.

addSearchSetVar

public void addSearchSetVar(Var v)

It adds a search set variable.

Parameters:

v - the set search variable being added.

addSearchSetArray

public void addSearchSetArray(Var[] v)

It adds an array of search set variables.

Parameters:

v -

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object