|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExpressionSConstraint | |
---|---|
choco.cp.common.util.preprocessor | |
choco.cp.solver | |
choco.cp.solver.constraints.reified | |
choco.cp.solver.constraints.strong | |
choco.cp.solver.preprocessor |
Uses of ExpressionSConstraint in choco.cp.common.util.preprocessor |
---|
Methods in choco.cp.common.util.preprocessor with parameters of type ExpressionSConstraint | |
---|---|
static boolean |
ExpressionTools.encompassDiff(ExpressionSConstraint ic)
|
static SConstraint |
ExpressionTools.getIntentionalConstraint(ExpressionSConstraint e,
CPSolver s)
If the expression can be matched to a known intensional constraint, then return it as a solver constraint * |
static ExpressionTools.SimplePrecedence |
ExpressionTools.getPrecedenceConstraint(ExpressionSConstraint e)
|
static SConstraint |
ExpressionTools.getScalarConstraint(ExpressionSConstraint e,
CPSolver s)
Try to recognize that the expression is a scalar. |
static boolean |
ExpressionTools.hasHolesWithinOneDomain(ExpressionSConstraint e,
Configuration configuration)
Is there at least one variable within the scope of e that has more than ratioHole % of holes in the domain ? |
static boolean |
ExpressionTools.isVeryBinaryHeavy(ExpressionSConstraint e)
Check if adding an ac scheme with residue will be heavy for this expression |
static boolean |
ExpressionTools.toBeDecomposed(ExpressionSConstraint e)
Advise decomposition above a threshold of arity and cartesian product |
Uses of ExpressionSConstraint in choco.cp.solver |
---|
Methods in choco.cp.solver with parameters of type ExpressionSConstraint | |
---|---|
protected void |
CPSolver.decisionOnExpression(ExpressionSConstraint exp)
Decide what kind of constraints to post in case on an Expression: - Extract the list, build the table and post GAC - Post Gac on the implicit table - Post FC on the explicit table |
Uses of ExpressionSConstraint in choco.cp.solver.constraints.reified |
---|
Methods in choco.cp.solver.constraints.reified that return ExpressionSConstraint | |
---|---|
ExpressionSConstraint |
ExpressionSConstraint.getOpposite()
|
Uses of ExpressionSConstraint in choco.cp.solver.constraints.strong |
---|
Methods in choco.cp.solver.constraints.strong that return ExpressionSConstraint | |
---|---|
protected ExpressionSConstraint |
StrongConsistencyManager.createMetaConstraint(Constraint ic,
Solver cpsolver)
|
Uses of ExpressionSConstraint in choco.cp.solver.preprocessor |
---|
Fields in choco.cp.solver.preprocessor with type parameters of type ExpressionSConstraint | |
---|---|
protected gnu.trove.TLongObjectHashMap<ExpressionSConstraint> |
PPModelToCPSolver.knownExpressionCts
store if an expression constraint has already be been built for a model constraint. |
Methods in choco.cp.solver.preprocessor with parameters of type ExpressionSConstraint | |
---|---|
void |
PPModelToCPSolver.storeExpressionSConstraint(Constraint c,
ExpressionSConstraint ic)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |