Package org.jacop.fz.constraints

Class Support

java.lang.Object

org.jacop.fz.constraints.Support

All Implemented Interfaces:

ParserTreeConstants

public class Support
extends java.lang.Object
implements ParserTreeConstants

Basic support for generation of constraints in flatzinc

Field Summary

Fields

Modifier and Type	Field	Description
boolean	boundsConsistency
int	constraintPriority
IntVar	definedVar
(package private) java.util.ArrayList<Constraint>	delayedConstraints
(package private) Tables	dictionary
boolean	domainConsistency
(package private) static int	eq
(package private) boolean	floatPresent
(package private) static int	ge
(package private) static int	gt
(package private) boolean	intPresent
(package private) static int	le
(package private) static int	lt
(package private) static int	ne
Options	options
(package private) java.util.ArrayList<IntVar[]>	parameterListForAlldistincts
(package private) ReificationConstraints	reif
(package private) SatTranslation	sat
(package private) Store	store

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
Support(Store store, Tables d, SatTranslation sat)

Method Summary

Modifier and Type	Method	Description
void	addReified(IntVar x, int v, IntVar b)
(package private) void	aliasConstraints()
(package private) int	getAnnInt(ASTAnnExpr node)
(package private) Var	getAnnVar(ASTAnnExpr node)
(package private) double	getFloat(ASTScalarFlatExpr node)
(package private) double[]	getFloatArray(SimpleNode node)
(package private) FloatVar[]	getFloatVarArray(SimpleNode node)
(package private) FloatVar	getFloatVariable(ASTScalarFlatExpr node)
int	getInt(ASTScalarFlatExpr node)
(package private) int[]	getIntArray(SimpleNode node)
(package private) int	getScalarFlatExpr(SimpleNode node, int i)
(package private) IntDomain[]	getSetArray(SimpleNode node)
(package private) IntDomain	getSetLiteral(SimpleNode node, int index)
(package private) SetVar[]	getSetVarArray(SimpleNode node)
(package private) SetVar	getSetVariable(SimpleNode node, int index)
(package private) IntVar[]	getVarArray(SimpleNode node)
IntVar	getVariable(ASTScalarFlatExpr node)
void	parseAnnotations(SimpleNode constraintWithAnnotations)
(package private) void	pose(Constraint c)
(package private) void	poseAlldistinctConstraints()
(package private) void	poseDC(DecomposedConstraint c)
void	poseDelayedConstraints()
void	poseReified(Support s)
(package private) IntVar[]	unique(IntVar[] vs)

Methods inherited from class java.lang.Object

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

Field Detail

store

Store store

dictionary

Tables dictionary

sat

SatTranslation sat

options

public Options options

boundsConsistency

public boolean boundsConsistency

domainConsistency

public boolean domainConsistency

constraintPriority

public int constraintPriority

definedVar

public IntVar definedVar

eq

static final int eq

See Also:

Constant Field Values

ne

static final int ne

See Also:

Constant Field Values

lt

static final int lt

See Also:

Constant Field Values

gt

static final int gt

See Also:

Constant Field Values

le

static final int le

See Also:

Constant Field Values

ge

static final int ge

See Also:

Constant Field Values

intPresent

boolean intPresent

floatPresent

boolean floatPresent

parameterListForAlldistincts

java.util.ArrayList<IntVar[]> parameterListForAlldistincts

delayedConstraints

java.util.ArrayList<Constraint> delayedConstraints

reif

ReificationConstraints reif

Constructor Detail

Support

public Support(Store store,
               Tables d,
               SatTranslation sat)

Method Detail

getInt

public int getInt(ASTScalarFlatExpr node)

getScalarFlatExpr

int getScalarFlatExpr(SimpleNode node,
                      int i)

getIntArray

int[] getIntArray(SimpleNode node)

getVariable

public IntVar getVariable(ASTScalarFlatExpr node)

getFloatVariable

FloatVar getFloatVariable(ASTScalarFlatExpr node)

getSetVariable

SetVar getSetVariable(SimpleNode node,
                      int index)

getFloat

double getFloat(ASTScalarFlatExpr node)

getFloatArray

double[] getFloatArray(SimpleNode node)

getVarArray

IntVar[] getVarArray(SimpleNode node)

getFloatVarArray

FloatVar[] getFloatVarArray(SimpleNode node)

getSetArray

IntDomain[] getSetArray(SimpleNode node)

getSetVarArray

SetVar[] getSetVarArray(SimpleNode node)

getSetLiteral

IntDomain getSetLiteral(SimpleNode node,
                        int index)

unique

IntVar[] unique(IntVar[] vs)

parseAnnotations

public void parseAnnotations(SimpleNode constraintWithAnnotations)

getAnnVar

Var getAnnVar(ASTAnnExpr node)

getAnnInt

int getAnnInt(ASTAnnExpr node)

poseDelayedConstraints

public void poseDelayedConstraints()

poseAlldistinctConstraints

void poseAlldistinctConstraints()

aliasConstraints

void aliasConstraints()

poseDC

void poseDC(DecomposedConstraint c)
     throws FailException

Throws:

FailException

pose

void pose(Constraint c)
   throws FailException

Throws:

FailException

addReified

public void addReified(IntVar x,
                       int v,
                       IntVar b)

poseReified

public void poseReified(Support s)