choco.cp.solver.search.integer.branching.domwdeg
Class DomWDegUtils
java.lang.Object
choco.cp.solver.search.integer.branching.domwdeg.DomWDegUtils
public class DomWDegUtils
- extends Object
computation of the weighted degrees of variables and number of failures of constraints
- Since:
- 24 mars 2010 version 2.1.1
- Version:
- 2.1.1
- Author:
- Arnaud Malapert
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
addConstraintExtension
public static void addConstraintExtension(SConstraint<?> c)
addVariableExtension
public static void addVariableExtension(Var v)
getConstraintExtension
public static Extension getConstraintExtension(SConstraint<?> c)
getVarExtension
public static Extension getVarExtension(Var v)
getFineDegree
public static int getFineDegree(Var v,
SConstraint<?> c,
int cIdx)
initConstraintExtensions
public static void initConstraintExtensions(Solver s)
initVarExtensions
public static void initVarExtensions(Solver s)
hasAtLeastTwoNotInstVars
public static boolean hasAtLeastTwoNotInstVars(SConstraint<?> c)
hasTwoNotInstVars
protected static boolean hasTwoNotInstVars(SConstraint<?> c)
computeWeightedDegreeFromScratch
public static final int computeWeightedDegreeFromScratch(Var var)
addFailure
public static void addFailure(SConstraint<?> cause)
addConstraintToVarWeights
public static void addConstraintToVarWeights(SConstraint<?> c)
addIncFailure
public static void addIncFailure(SConstraint<?> cause)
getConstraintFailures
public static final String getConstraintFailures(Solver solver)
getVariableWDeg
public static final String getVariableWDeg(Solver solver)
checkVariableIncWDeg
public static final String checkVariableIncWDeg(Solver solver)
getVariableIncWDeg
public static final String getVariableIncWDeg(Solver solver)
Copyright © 2012. All Rights Reserved.