Package org.jacop.fz.constraints

Class Support

java.lang.Object

org.jacop.fz.constraints.Support

All Implemented Interfaces:

ParserTreeConstants

public class Support
extends Object
implements ParserTreeConstants

Field Summary

Fields

Modifier and Type	Field	Description
boolean	boundsConsistency
int	constraintPriority
IntVar	definedVar
(package private) ArrayList<Constraint>	delayedConstraints
(package private) Tables	dictionary
boolean	domainConsistency
(package private) static final int	eq
(package private) boolean	floatPresent
(package private) static final int	ge
(package private) static final int	gt
(package private) ImplicationConstraints	imply
(package private) boolean	intPresent
(package private) static final int	le
(package private) static final int	lt
(package private) static final AtomicInteger	n1
(package private) static final AtomicInteger	n2
(package private) static final AtomicInteger	n3
(package private) static final AtomicInteger	n4
(package private) static final int	ne
Options	options
(package private) 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, JJTSETELEMENT, 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	addImplied(IntVar x, int v, IntVar b)
void	addReified(IntVar x, int v, IntVar b)
(package private) void	aliasConstraints()
(package private) Constraint	fzXeqCImplied(IntVar x, int c, IntVar b)
(package private) Constraint	fzXeqCReified(IntVar x, int c, IntVar b)
(package private) Constraint	fzXneqCImplied(IntVar x, int c, IntVar b)
(package private) Constraint	fzXneqCReified(IntVar x, int c, IntVar b)
(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) <T extends Constraint> void	poseDC(DecomposedConstraint<T> c)
void	poseDelayedConstraints()
void	poseImplied(Support s)
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 Details

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

ArrayList<IntVar[]> parameterListForAlldistincts

delayedConstraints

ArrayList<Constraint> delayedConstraints

reif

ReificationConstraints reif

imply

ImplicationConstraints imply

n1

static final AtomicInteger n1

n2

static final AtomicInteger n2

n3

static final AtomicInteger n3

n4

static final AtomicInteger n4

Constructor Details

Support

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

Method Details

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

<T extends Constraint> void poseDC(DecomposedConstraint<T> 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)

addImplied

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

poseImplied

public void poseImplied(Support s)

fzXeqCReified

Constraint fzXeqCReified(IntVar x,
 int c,
 IntVar b)

fzXeqCImplied

Constraint fzXeqCImplied(IntVar x,
 int c,
 IntVar b)

fzXneqCReified

Constraint fzXneqCReified(IntVar x,
 int c,
 IntVar b)

fzXneqCImplied

Constraint fzXneqCImplied(IntVar x,
 int c,
 IntVar b)