choco.cp.solver.search.integer.branching.domwdeg
Class DomWDegUtils

java.lang.Object
  extended by 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

Method Summary
static void addConstraintExtension(SConstraint<?> c)
           
static void addConstraintToVarWeights(SConstraint<?> c)
           
static void addFailure(SConstraint<?> cause)
           
static void addIncFailure(SConstraint<?> cause)
           
static void addVariableExtension(Var v)
           
static String checkVariableIncWDeg(Solver solver)
           
static int computeWeightedDegreeFromScratch(Var var)
           
static Extension getConstraintExtension(SConstraint<?> c)
           
static String getConstraintFailures(Solver solver)
           
static int getFineDegree(Var v, SConstraint<?> c, int cIdx)
           
static Extension getVarExtension(Var v)
           
static String getVariableIncWDeg(Solver solver)
           
static String getVariableWDeg(Solver solver)
           
static boolean hasAtLeastTwoNotInstVars(SConstraint<?> c)
           
protected static boolean hasTwoNotInstVars(SConstraint<?> c)
           
static void initConstraintExtensions(Solver s)
           
static void initVarExtensions(Solver s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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.