choco.cp.solver.constraints.integer.intlincomb
Class IntLinCombFactory

java.lang.Object
  extended by choco.cp.solver.constraints.integer.intlincomb.IntLinCombFactory

public final class IntLinCombFactory
extends Object

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


Constructor Summary
IntLinCombFactory()
           
 
Method Summary
static SConstraint createBoolLinComb(IntVar[] vars, int[] lcoeffs, int c, int linOperator, CPSolver solver)
           
static boolean isBoolLinComb(IntDomainVar[] lvars)
          Check if the combination is made of a single integer variable and only boolean variables
static SConstraint makeIntLinComb(IntTerm t, int c, int linOperator, CPSolver solver)
          does not consider IntTerm.getConstant() anymore.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IntLinCombFactory

public IntLinCombFactory()
Method Detail

makeIntLinComb

public static SConstraint makeIntLinComb(IntTerm t,
                                         int c,
                                         int linOperator,
                                         CPSolver solver)
does not consider IntTerm.getConstant() anymore.


isBoolLinComb

public static boolean isBoolLinComb(IntDomainVar[] lvars)
Check if the combination is made of a single integer variable and only boolean variables


createBoolLinComb

public static SConstraint createBoolLinComb(IntVar[] vars,
                                            int[] lcoeffs,
                                            int c,
                                            int linOperator,
                                            CPSolver solver)


Copyright © 2012. All Rights Reserved.