Package org.jacop.fz

Class Tables

java.lang.Object
org.jacop.fz.Tables

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

  • Constructor Details

    • Tables

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

      public Tables(Store s)
  • Method Details

    • getConstant

      public IntVar getConstant(int c)
    • getConstantBoolean

      public BooleanVar getConstantBoolean(int c)
    • getFloatConstant

      public FloatVar getFloatConstant(double c)
    • addAlias

      public void addAlias(IntVar b, IntVar v)
    • getAlias

      IntVar getAlias(IntVar b)
    • removeAliasFromSearch

      void removeAliasFromSearch()
    • addInt

      public void addInt(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(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 Integer checkInt(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(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(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 Double checkFloat(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(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(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(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(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(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(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(String ident, double[] array)
    • getFloatArray

      public double[] getFloatArray(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(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(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(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(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(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(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(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(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(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(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(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(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 String toString()
      Overrides:
      toString in class Object