Uses of Class
choco.cp.solver.constraints.reified.ExpressionSConstraint

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)
           
 



Copyright © 2012. All Rights Reserved.