Package org.jacop.fz

Class Tables


  • public class Tables
    extends java.lang.Object
    This class contains information about all variables, including the variables which are used by search.
    Version:
    4.7
    • Field Detail

      • constantTable

        java.util.HashMap<java.lang.Integer,​IntVar> constantTable
      • constantTableBoolean

        java.util.HashMap<java.lang.Integer,​BooleanVar> constantTableBoolean
      • constantFloatTable

        java.util.HashMap<java.lang.Double,​FloatVar> constantFloatTable
      • intTable

        java.util.HashMap<java.lang.String,​java.lang.Integer> intTable
      • floatTable

        java.util.HashMap<java.lang.String,​java.lang.Double> floatTable
      • intArrayTable

        java.util.HashMap<java.lang.String,​int[]> intArrayTable
      • floatArrayTable

        java.util.HashMap<java.lang.String,​double[]> floatArrayTable
      • setTable

        java.util.HashMap<java.lang.String,​IntDomain> setTable
      • setArrayTable

        java.util.HashMap<java.lang.String,​IntDomain[]> setArrayTable
      • variableTable

        java.util.HashMap<java.lang.String,​IntVar> variableTable
      • variableArrayTable

        java.util.HashMap<java.lang.String,​IntVar[]> variableArrayTable
      • variableFloatTable

        java.util.HashMap<java.lang.String,​FloatVar> variableFloatTable
      • variableFloatArrayTable

        java.util.HashMap<java.lang.String,​FloatVar[]> variableFloatArrayTable
      • setVariableTable

        java.util.HashMap<java.lang.String,​SetVar> setVariableTable
      • setVariableArrayTable

        java.util.HashMap<java.lang.String,​SetVar[]> setVariableArrayTable
      • outputVariables

        java.util.ArrayList<Var> outputVariables
      • defaultSearchVariables

        java.util.ArrayList<Var> defaultSearchVariables
      • defaultSearchFloatVariables

        java.util.ArrayList<Var> defaultSearchFloatVariables
      • defaultSearchArrays

        java.util.ArrayList<Var[]> defaultSearchArrays
      • defaultSearchFloatArrays

        java.util.ArrayList<Var[]> defaultSearchFloatArrays
      • defaultSearchSetVariables

        java.util.ArrayList<Var> defaultSearchSetVariables
      • defaultSearchSetArrays

        java.util.ArrayList<Var[]> defaultSearchSetArrays
      • aliasTable

        public java.util.Map<IntVar,​IntVar> aliasTable
      • numberBoolVariables

        int numberBoolVariables
      • numberFloatVariables

        int numberFloatVariables
      • numberSetVariables

        int numberSetVariables
    • 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

      • getConstant

        public IntVar getConstant​(int c)
      • getConstantBoolean

        public BooleanVar getConstantBoolean​(int c)
      • getFloatConstant

        public FloatVar getFloatConstant​(double c)
      • removeAliasFromSearch

        void removeAliasFromSearch()
      • 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.
      • addFloat

        public void addFloat​(java.lang.String ident,
                             double val)
        It adds an float parameter.
        Parameters:
        ident - the identity of the added int parameter.
        val - the value of the parameter.
      • getFloat

        public double getFloat​(java.lang.String ident)
        It returns an float parameter of a given identity.
        Parameters:
        ident - the identify of the parameter.
        Returns:
        the double value of the specified parameter.
      • checkFloat

        public java.lang.Double checkFloat​(java.lang.String ident)
        It returns an Double parameter of a given identity.
        Parameters:
        ident - the identify of the parameter.
        Returns:
        the Double 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.
      • addFloatArray

        public void addFloatArray​(java.lang.String ident,
                                  double[] array)
      • getFloatArray

        public double[] getFloatArray​(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.
      • 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.
      • addFloatVariable

        public void addFloatVariable​(java.lang.String ident,
                                     FloatVar 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.
      • getFloatVariable

        public FloatVar getFloatVariable​(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.
      • addVariableFloatArray

        public void addVariableFloatArray​(java.lang.String ident,
                                          FloatVar[] array)
        It adds a float variable array to the storage.
        Parameters:
        ident - the identity of the added variable array.
        array - the array of variables being added.
      • getVariableFloatArray

        public FloatVar[] getVariableFloatArray​(java.lang.String ident)
        It returns the float 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.
      • isOutput

        public boolean isOutput​(Var v)
        It checks whether a variable is output variable.
        Parameters:
        v - the variable to be checked.
        Returns:
        true if variable is output, false otherwise
      • 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.
      • addSearchFloatVar

        public void addSearchFloatVar​(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.
      • addSearchFloatArray

        public void addSearchFloatArray​(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 - array of set variables being added
      • setNumberOfAllVariables

        public void setNumberOfAllVariables​(int nb,
                                            int ns,
                                            int nf)
      • setNumberBoolVariables

        public void setNumberBoolVariables​(int n)
      • getNumberBoolVariables

        public int getNumberBoolVariables()
      • setNumberFloatVariables

        public void setNumberFloatVariables​(int n)
      • getNumberFloatVariables

        public int getNumberFloatVariables()
      • setNumberSetVariables

        public void setNumberSetVariables​(int n)
      • getNumberSetVariables

        public int getNumberSetVariables()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object