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) 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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (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)
(package private) 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()
(package private) IntVar[]
unique(IntVar[] vs)
-
-
-
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
-
-
Constructor Detail
-
Support
public Support(Store store, Tables d, SatTranslation sat)
-
-
Method Detail
-
getInt
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)
-
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
-
-