choco.cp.solver.constraints.integer.intlincomb.policy
Class CoeffPolicy

java.lang.Object
  extended by choco.cp.solver.constraints.integer.intlincomb.policy.CoeffPolicy
Direct Known Subclasses:
ForScalar, ForSum

public abstract class CoeffPolicy
extends Object

User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 11 mars 2010
Since : Choco 2.1.1


Method Summary
static CoeffPolicy build(IntDomainVar[] vars, int[] coeffs, int nbPosVars, int cste)
           
abstract  int computeLowerBound()
          Computes a lower bound estimate of a linear combination of variables.
abstract  int computeUpperBound()
          Computes an upper bound estimate of a linear combination of variables.
abstract  int getInfNV(int i, int mylb)
           
abstract  int getInfPV(int i, int myub)
           
abstract  int getSupNV(int i, int myub)
           
abstract  int getSupPV(int i, int mylb)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

build

public static CoeffPolicy build(IntDomainVar[] vars,
                                int[] coeffs,
                                int nbPosVars,
                                int cste)

getInfNV

public abstract int getInfNV(int i,
                             int mylb)

getSupNV

public abstract int getSupNV(int i,
                             int myub)

getInfPV

public abstract int getInfPV(int i,
                             int myub)

getSupPV

public abstract int getSupPV(int i,
                             int mylb)

computeUpperBound

public abstract int computeUpperBound()
Computes an upper bound estimate of a linear combination of variables.

Returns:
the new upper bound value

computeLowerBound

public abstract int computeLowerBound()
Computes a lower bound estimate of a linear combination of variables.

Returns:
the new lower bound value


Copyright © 2012. All Rights Reserved.