Package org.jacop.fz
Class VariablesParameters
- java.lang.Object
-
- org.jacop.fz.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.7
-
-
Field Summary
Fields Modifier and Type Field Description (package private) java.util.HashSet<java.lang.String>
annotations
(package private) Tables
dictionary
(package private) double
highFloatInterval
(package private) int
highInterval
(package private) java.util.ArrayList<IntDomain>
indexBounds
(package private) static boolean
interval
(package private) java.util.ArrayList<java.lang.Integer>
intList
(package private) double
lowFloatInterval
(package private) int
lowInterval
static double
MAX_FLOAT
static int
MAX_INT
static double
MIN_FLOAT
static int
MIN_INT
(package private) int
numberBooleanVariables
(package private) int
numberFloatVariables
(package private) int
numberSetVariables
-
Fields inherited from interface org.jacop.fz.ParserTreeConstants
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
-
-
Constructor Summary
Constructors Constructor Description VariablesParameters()
It constructs variables parameters.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
constant_float(SimpleNode node, int i)
(package private) boolean
constant_int(SimpleNode node, int i)
(package private) boolean
constant_set(SimpleNode node, int i)
(package private) void
generateArray(SimpleNode node, Tables table, Store store)
(package private) void
generateArrayParameters(SimpleNode node, Tables table)
(package private) void
generateArrayVariables(SimpleNode node, Tables table, Store store)
(package private) void
generateParameters(SimpleNode node, Tables table)
It generates a parameter from a given node and stores information about it in the table.(package private) void
generateVariables(SimpleNode node, Tables table, Store store)
(package private) int
getAnnotations(SimpleNode node, int i)
(package private) int
getArrayAnnotations(SimpleNode node, int i)
(package private) int[]
getArrayOfScalarFlatExpr(SimpleNode node, int index, int size)
(package private) double[]
getArrayOfScalarFlatExprFloat(SimpleNode node, int index, int size)
(package private) int
getScalarFlatExpr(SimpleNode node, int i)
(package private) IntVar[]
getScalarFlatExpr_ArrayVar(Store store, SimpleNode node, int index)
(package private) FloatVar[]
getScalarFlatExpr_ArrayVarFloat(Store store, SimpleNode node, int index)
(package private) IntVar
getScalarFlatExpr_var(Store store, SimpleNode node, int i)
(package private) FloatVar
getScalarFlatExpr_varFloat(Store store, SimpleNode node, int i)
(package private) double
getScalarFlatExprFloat(SimpleNode node, int i)
(package private) SetVar[]
getSetFlatExpr_ArrayVar(Store store, SimpleNode node, int index)
(package private) SetVar
getSetFlatExpr_var(Store store, SimpleNode node, int i)
(package private) IntDomain
getSetLiteral(SimpleNode node, int index)
(package private) IntDomain[]
getSetLiteralArray(SimpleNode node, int index, int size)
(package private) int
getType(SimpleNode node)
(package private) boolean
ground(Var v)
(package private) java.lang.String
parseAnnExpr(SimpleNode node, int i)
-
-
-
Field Detail
-
interval
static final boolean interval
- See Also:
- Constant Field Values
-
MIN_FLOAT
public static final double MIN_FLOAT
- See Also:
- Constant Field Values
-
MAX_FLOAT
public static final double MAX_FLOAT
- See Also:
- Constant Field Values
-
MIN_INT
public static final int MIN_INT
- See Also:
- Constant Field Values
-
MAX_INT
public static final int MAX_INT
- See Also:
- Constant Field Values
-
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
-
-
Method Detail
-
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
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)
-
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)
-
-