Package org.jacop.fz

Class VariablesParameters

java.lang.Object
org.jacop.fz.VariablesParameters
All Implemented Interfaces:
ParserTreeConstants

public class VariablesParameters extends Object implements ParserTreeConstants
TODO, a short description what it does and how it is used. Remark, it would be beneficial if all the methods were described, like generateParameters(...) below.
Version:
4.8
  • Field Details

    • interval

      static final boolean interval
      See Also:
    • checkBounds

      static final boolean checkBounds
      See Also:
    • MIN_FLOAT

      public static final double MIN_FLOAT
      See Also:
    • MAX_FLOAT

      public static final double MAX_FLOAT
      See Also:
    • MIN_INT

      public static final int MIN_INT
      See Also:
    • MAX_INT

      public static final int MAX_INT
      See Also:
    • dictionary

      Tables dictionary
    • lowInterval

      int lowInterval
    • highInterval

      int highInterval
    • lowFloatInterval

      double lowFloatInterval
    • highFloatInterval

      double highFloatInterval
    • intList

      ArrayList<Integer> intList
    • annotations

      HashSet<String> annotations
    • indexBounds

      ArrayList<IntDomain> indexBounds
    • numberBooleanVariables

      int numberBooleanVariables
    • numberFloatVariables

      int numberFloatVariables
    • numberSetVariables

      int numberSetVariables
    • options

      Options options
    • debug

      boolean debug
  • Constructor Details

    • VariablesParameters

      public VariablesParameters()
      It constructs variables parameters.
  • Method Details

    • setOptions

      void setOptions(Options options)
    • generateParameters

      void generateParameters(SimpleNode node, Tables table)
      It generates a parameter from a given node and stores information about it in the table.
      Parameters:
      node - the node from which the parameter is being generated.
      table - the table where the parameters are being stored.
    • generateVariables

      void generateVariables(SimpleNode node, Tables table, Store store)
    • generateArray

      void generateArray(SimpleNode node, Tables table, Store store)
    • generateArrayParameters

      void generateArrayParameters(SimpleNode node, Tables table)
    • generateArrayVariables

      void generateArrayVariables(SimpleNode node, Tables table, Store store)
    • getType

      int getType(SimpleNode node)
    • getAnnotations

      int getAnnotations(SimpleNode node, int i)
    • parseAnnExpr

      String parseAnnExpr(SimpleNode node, int i)
    • getArrayAnnotations

      int getArrayAnnotations(SimpleNode node, int i)
    • constant_int

      boolean constant_int(SimpleNode node, int i)
    • constant_float

      boolean constant_float(SimpleNode node, int i)
    • constant_set

      boolean constant_set(SimpleNode node, int i)
    • getScalarFlatExpr

      int getScalarFlatExpr(SimpleNode node, int i)
    • getScalarFlatExprFloat

      double getScalarFlatExprFloat(SimpleNode node, int i)
    • getScalarFlatExpr_ArrayVar

      IntVar[] getScalarFlatExpr_ArrayVar(Store store, SimpleNode node, int index)
    • getScalarFlatExpr_ArrayVarFloat

      FloatVar[] getScalarFlatExpr_ArrayVarFloat(Store store, SimpleNode node, int index)
    • getScalarFlatExpr_var

      IntVar getScalarFlatExpr_var(Store store, SimpleNode node, int i)
    • getScalarFlatExpr_varFloat

      FloatVar getScalarFlatExpr_varFloat(Store store, SimpleNode node, int i)
    • getSetFlatExpr_ArrayVar

      SetVar[] getSetFlatExpr_ArrayVar(Store store, SimpleNode node, int index)
    • getSetFlatExpr_var

      SetVar getSetFlatExpr_var(Store store, SimpleNode node, int i)
    • getArrayOfScalarFlatExpr

      int[] getArrayOfScalarFlatExpr(SimpleNode node, int index, int size)
    • getArrayOfScalarFlatExprFloat

      double[] getArrayOfScalarFlatExprFloat(SimpleNode node, int index, int size)
    • getSetLiteral

      IntDomain getSetLiteral(SimpleNode node, int index)
    • getSetLiteralArray

      IntDomain[] getSetLiteralArray(SimpleNode node, int index, int size)
    • ground

      boolean ground(Var v)
    • pose

      void pose(Store store, Constraint c) throws FailException
      Throws:
      FailException