Package org.jacop.fz

Class VariablesParameters

  • All Implemented Interfaces:
    ParserTreeConstants

    public class VariablesParameters
    extends java.lang.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 Detail

      • dictionary

        Tables dictionary
      • lowInterval

        int lowInterval
      • highInterval

        int highInterval
      • lowFloatInterval

        double lowFloatInterval
      • highFloatInterval

        double highFloatInterval
      • intList

        java.util.ArrayList<java.lang.Integer> intList
      • annotations

        java.util.HashSet<java.lang.String> annotations
      • indexBounds

        java.util.ArrayList<IntDomain> indexBounds
      • numberBooleanVariables

        int numberBooleanVariables
      • numberFloatVariables

        int numberFloatVariables
      • numberSetVariables

        int numberSetVariables
      • debug

        boolean debug
    • Constructor Detail

      • VariablesParameters

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

      • 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.
      • generateArrayParameters

        void generateArrayParameters​(SimpleNode node,
                                     Tables table)
      • getAnnotations

        int getAnnotations​(SimpleNode node,
                           int i)
      • parseAnnExpr

        java.lang.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)
      • getSetFlatExpr_ArrayVar

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

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

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

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

        boolean ground​(Var v)