choco.cp.solver.constraints.integer.intlincomb
Class IntLinCombFactory
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
IntLinCombFactory
public IntLinCombFactory()
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.