Package org.jacop.fz.constraints
Class Support
java.lang.Object
org.jacop.fz.constraints.Support
- All Implemented Interfaces:
ParserTreeConstants
-
Field Summary
FieldsModifier and TypeFieldDescriptionboolean
int
(package private) ArrayList
<Constraint> (package private) Tables
boolean
(package private) static final int
(package private) boolean
(package private) static final int
(package private) static final int
(package private) ImplicationConstraints
(package private) boolean
(package private) static final int
(package private) static final int
(package private) static final int
(package private) ReificationConstraints
(package private) SatTranslation
(package private) 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 -
Method Summary
Modifier and TypeMethodDescriptionvoid
addImplied
(IntVar x, int v, IntVar b) void
addReified
(IntVar x, int v, IntVar b) (package private) void
(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
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) getVariable
(ASTScalarFlatExpr node) void
parseAnnotations
(SimpleNode constraintWithAnnotations) (package private) void
pose
(Constraint c) (package private) void
(package private) void
void
void
void
(package private) IntVar[]
-
Field Details
-
store
Store store -
dictionary
Tables dictionary -
sat
SatTranslation sat -
options
-
boundsConsistency
public boolean boundsConsistency -
domainConsistency
public boolean domainConsistency -
constraintPriority
public int constraintPriority -
definedVar
-
eq
static final int eq- See Also:
-
ne
static final int ne- See Also:
-
lt
static final int lt- See Also:
-
gt
static final int gt- See Also:
-
le
static final int le- See Also:
-
ge
static final int ge- See Also:
-
intPresent
boolean intPresent -
floatPresent
boolean floatPresent -
parameterListForAlldistincts
-
delayedConstraints
ArrayList<Constraint> delayedConstraints -
reif
-
imply
ImplicationConstraints imply
-
-
Constructor Details
-
Support
-
-
Method Details
-
getInt
-
getScalarFlatExpr
-
getIntArray
-
getVariable
-
getFloatVariable
-
getSetVariable
-
getFloat
-
getFloatArray
-
getVarArray
-
getFloatVarArray
-
getSetArray
-
getSetVarArray
-
getSetLiteral
-
unique
-
parseAnnotations
-
getAnnVar
-
getAnnInt
-
poseDelayedConstraints
public void poseDelayedConstraints() -
poseAlldistinctConstraints
void poseAlldistinctConstraints() -
aliasConstraints
void aliasConstraints() -
poseDC
- Throws:
FailException
-
pose
- Throws:
FailException
-
addReified
-
poseReified
-
addImplied
-
poseImplied
-
fzXeqCReified
-
fzXeqCImplied
-
fzXneqCReified
-
fzXneqCImplied
-