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.10

Field Summary

Fields

Modifier and Type	Field	Description
(package private) HashSet<String>	annotations
(package private) static final boolean	checkBounds
(package private) boolean	debug
(package private) Tables	dictionary
(package private) double	highFloatInterval
(package private) int	highInterval
(package private) ArrayList<IntDomain>	indexBounds
(package private) static final boolean	interval
(package private) ArrayList<Integer>	intList
(package private) double	lowFloatInterval
(package private) int	lowInterval
static final double	MAX_FLOAT
static final int	MAX_INT
static final double	MIN_FLOAT
static final int	MIN_INT
(package private) int	numberBooleanVariables
(package private) int	numberFloatVariables
(package private) int	numberSetVariables
(package private) Options	options
(package private) IntervalDomain	rangeDomain

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

Constructor	Description
VariablesParameters()	It constructs variables parameters.

Method Summary

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) String	parseAnnExpr(SimpleNode node, int i)
(package private) void	pose(Store store, Constraint c)
(package private) void	setOptions(Options options)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

interval

static final boolean interval

See Also:

• Constant Field Values

checkBounds

static final boolean checkBounds

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

ArrayList<Integer> intList

rangeDomain

IntervalDomain rangeDomain

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