Package org.jacop.fz
Class VariablesParameters
java.lang.Object
org.jacop.fz.VariablesParameters
- All Implemented Interfaces:
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.9
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) static final boolean
(package private) boolean
(package private) Tables
(package private) double
(package private) int
(package private) static final boolean
(package private) double
(package private) int
static final double
static final int
static final double
static final int
(package private) int
(package private) int
(package private) int
(package private) Options
(package private) IntervalDomain
Fields inherited from interface org.jacop.fz.ParserTreeConstants
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(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
(package private) String
parseAnnExpr
(SimpleNode node, int i) (package private) void
pose
(Store store, Constraint c) (package private) void
setOptions
(Options options)
-
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
-
rangeDomain
IntervalDomain rangeDomain -
annotations
-
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
-
generateParameters
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
-
generateArray
-
generateArrayParameters
-
generateArrayVariables
-
getType
-
getAnnotations
-
parseAnnExpr
-
getArrayAnnotations
-
constant_int
-
constant_float
-
constant_set
-
getScalarFlatExpr
-
getScalarFlatExprFloat
-
getScalarFlatExpr_ArrayVar
-
getScalarFlatExpr_ArrayVarFloat
-
getScalarFlatExpr_var
-
getScalarFlatExpr_varFloat
-
getSetFlatExpr_ArrayVar
-
getSetFlatExpr_var
-
getArrayOfScalarFlatExpr
-
getArrayOfScalarFlatExprFloat
-
getSetLiteral
-
getSetLiteralArray
-
ground
-
pose
- Throws:
FailException
-